Proofgold Term Root Disambiguation

8d6e5.. ∈ 2

as obj
-

as prop
18dc3..

theory
HotG

stx
64012..

address
TMGKU..