Proofgold Term Root Disambiguation

not (TwoRamseyProp_atleastp 3 5 13)

as obj
-

as prop
69625..

theory
HotG

stx
e229e..

address
TMUrP..