Proofgold Term Root Disambiguation

not (TwoRamseyProp_atleastp 3 4 (prim4 3))

as obj
-

as prop
476b4..

theory
HotG

stx
a0927..

address
TMX2B..