Proofgold Term Root Disambiguation

TwoRamseyProp_atleastp u3 u6 u18

as obj
-

as prop
d777e..

theory
HotG

stx
493fb..

address
TMXbr..