Proofgold Term Root Disambiguation

17 ∈ 32

as obj
-

as prop
8ad73..

theory
HotG

stx
68efb..

address
TMdxT..