Proofgold Term Root Disambiguation

as obj
-

as prop
485cd..^{not_TwoRamseyProp_4_4_Power_4}

theory
HotG

stx
e68a5..

address
TMWsG..^{not_TwoRamseyProp_4_4_Power_4}