Proofgold Term Root Disambiguation

0 ∈ 6

as obj
-

as prop
9f78a..^In_0_6

theory
HotG

stx
d0fc7..

address
TMLu5..^In_0_6