Proofgold Term Root Disambiguation

8c189.. 84b4d..

as obj
-

as prop
a616f..

theory
HotG

stx
a97e6..

address
TMTgt..