Proofgold Term Root Disambiguation

as obj
-

as prop
68375..^{not_TwoRamseyProp_3_3_5}

theory
HotG

stx
b74a2..

address
TMZMM..^{not_TwoRamseyProp_3_3_5}