Proofgold Term Root Disambiguation

as obj
-

as prop
ae1d6..^{not_TwoRamseyProp_3_5_13}

theory
HotG

stx
e229e..

address
TMTqV..^{not_TwoRamseyProp_3_5_13}