Proofgold Term Root Disambiguation

2 ∈ 9

as obj
-

as prop
330a4..^In_2_9

theory
HotG

stx
d0fc7..

address
TMSxq..^In_2_9