Proofgold Term Root Disambiguation

TwoRamseyProp 3 6 24

as obj
-

as prop
78c3f..

theory
HotG

stx
6df91..

address
TMQvv..