Proofgold Term Root Disambiguation

not (TwoRamseyProp_atleastp 3 6 17)

as obj
-

as prop
0c0d5..

theory
HotG

stx
ab9c8..

address
TMPo8..