Proofgold Term Root Disambiguation

In 2 7

as obj
-

as prop
e6c7c..^In_2_7

theory
HF

stx
0d78c..

address
TMW26..^In_2_7