Proofgold Term Root Disambiguation

8c189.. 439cb..

as obj
-

as prop
c38f0..

theory
HotG

stx
a97e6..

address
TMMuX..