Proofgold Term Root Disambiguation

1 ⊆ Sing 0

as obj
-

as prop
abab2..^Subq_1_Sing0

theory
HotG

stx
114a5..

address
TMd1a..^Subq_1_Sing0