Proofgold Term Root Disambiguation

TwoRamseyProp 5 5 83

as obj
-

as prop
60cf2..

theory
HotG

stx
3da02..

address
TMNXn..