Proofgold Term Root Disambiguation

not (TwoRamseyProp_atleastp 4 5 24)

as obj
-

as prop
13908..

theory
HotG

stx
21c51..

address
TMYy9..