Proofgold Term Root Disambiguation

Subq 2 2

as obj
-

as prop
a9130..^Subq_2_2

theory
HF

stx
0d78c..

address
TMT9r..^Subq_2_2