Proofgold Term Root Disambiguation

TwoRamseyProp 5 6 150

as obj
-

as prop
678e0..

theory
HotG

stx
90e2d..

address
TMKDB..