Proofgold Term Root Disambiguation

d4639.. 8dd2c..

as obj
c6963..

as prop
-

theory
HotG

stx
3797b..

address
TMGyg..