Proofgold Term Root Disambiguation

Subq 1 1

as obj
-

as prop
a95bd..^Subq_1_1

theory
HF

stx
0d78c..

address
TMQgd..^Subq_1_1