Proofgold Term Root Disambiguation

1 ∈ 3

as obj
-

as prop
8f3ce..^In_1_3

theory
HotG

stx
d0fc7..

address
TMGfU..^In_1_3