Proofgold Term Root Disambiguation

TwoRamseyProp 4 5 41

as obj
-

as prop
616fa..

theory
HotG

stx
32d40..

address
TMZCt..