Proofgold Term Root Disambiguation

0 ∈ 8d6e5..

as obj
-

as prop
e7067..

theory
HotG

stx
64012..

address
TMRMx..