Proofgold Term Root Disambiguation

497c5.. ∈ 2

as obj
-

as prop
eed34..

theory
HotG

stx
64012..

address
TMX4u..