Proofgold Term Root Disambiguation

Subq (Sing 0) 1

as obj
-

as prop
cdfbd..^Subq_Sing0_1

theory
HF

stx
0d78c..

address
TMTqi..^Subq_Sing0_1