Proofgold Term Root Disambiguation

0 ∈ 3

as obj
-

as prop
313d9..^In_0_3

theory
HotG

stx
d0fc7..

address
TMYMG..^In_0_3