Proofgold Term Root Disambiguation

0 ⊆ 2

as obj
-

as prop
e5506..^Subq_0_2

theory
HotG

stx
d0fc7..

address
TMT9K..^Subq_0_2