Proofgold Term Root Disambiguation

Subq 1 (Sing 0)

as obj
-

as prop
830d8..^Subq_1_Sing0

theory
HF

stx
0d78c..

address
TMPht..^Subq_1_Sing0