Proofgold Term Root Disambiguation

TwoRamseyProp 3 7 32

as obj
-

as prop
6aebb..

theory
HotG

stx
e1235..

address
TMWZ3..