Proofgold Term Root Disambiguation

1 = Sing 0

as obj
-

as prop
264f3..^eq_1_Sing0

theory
HotG

stx
114a5..

address
TMM87..^eq_1_Sing0