Proofgold Term Root Disambiguation

Subq 0 2

as obj
-

as prop
22aa5..^Subq_0_2

theory
HF

stx
0d78c..

address
TMTjv..^Subq_0_2