Proofgold Term Root Disambiguation

not (TwoRamseyProp_atleastp u3 u7 u22)

as obj
-

as prop
3738e..

theory
HotG

stx
33f25..

address
TMMSJ..