Proofgold Term Root Disambiguation

c7ce4.. 1

as obj
-

as prop
187f6..

theory
HotG

stx
1be55..

address
TMde7..