Proofgold Term Root Disambiguation

not (TwoRamseyProp_atleastp 3 6 (prim4 4))

as obj
-

as prop
50032..

theory
HotG

stx
d4e7b..

address
TMQ62..