Proofgold Term Root Disambiguation

In 6 7

as obj
-

as prop
14a1c..^In_6_7

theory
HF

stx
0d78c..

address
TMLTf..^In_6_7