Proofgold Term Root Disambiguation

8c189.. 11c0b..

as obj
-

as prop
84934..

theory
HotG

stx
a97e6..

address
TMVPZ..