Proofgold Term Root Disambiguation

d634d.. 8d0f8.. = 1

as obj
-

as prop
b2ead..

theory
HotG

stx
50e9d..

address
TMUhi..