Proofgold Term Root Disambiguation

6 ∈ 9

as obj
-

as prop
0c8dd..^In_6_9

theory
HotG

stx
d0fc7..

address
TMTGM..^In_6_9