Proofgold Term Root Disambiguation

Subq 1 2

as obj
-

as prop
a21f3..^Subq_1_2

theory
HF

stx
0d78c..

address
TMc1d..^Subq_1_2