Proofgold Term Root Disambiguation

not (TwoRamseyProp_atleastp 4 4 17)

as obj
-

as prop
68cc7..

theory
HotG

stx
e006b..

address
TMc9N..