Proofgold Term Root Disambiguation

as obj
-

as prop
9df0e..^{not_TwoRamseyProp_3_4_8}

theory
HotG

stx
a0927..

address
TMRN1..^{not_TwoRamseyProp_3_4_8}