Proofgold Term Root Disambiguation

2 ∈ 4

as obj
-

as prop
2cbb9..^In_2_4

theory
HotG

stx
d0fc7..

address
TMSmC..^In_2_4