Proofgold Term Root Disambiguation

d8d8a.. ∈ setexp 2 2

as obj
-

as prop
07b96..

theory
HotG

stx
64012..

address
TMRu7..