Proofgold Term Root Disambiguation

TwoRamseyProp 3 4 11

as obj
-

as prop
c92a6..

theory
HotG

stx
6df91..

address
TMXEz..