Proofgold Term Root Disambiguation

1 = Sing 0

as obj
-

as prop
5c344..^eq_1_Sing0

theory
HF

stx
0d78c..

address
TMThA..^eq_1_Sing0