Proofgold Term Root Disambiguation

0 ∈ 5

as obj
-

as prop
965bc..^In_0_5

theory
HotG

stx
d0fc7..

address
TMWXa..^In_0_5