Proofgold Term Root Disambiguation

Subq 0 1

as obj
-

as prop
baaef..^Subq_0_1

theory
HF

stx
0d78c..

address
TMZ89..^Subq_0_1