Proofgold Term Root Disambiguation

e9c39.. 2

as obj
ad280..

as prop
-

theory
HotG

stx
2a9bf..

address
TMcnf..