Proofgold Term Root Disambiguation

In 2 8

as obj
-

as prop
b8348..^In_2_8

theory
HF

stx
0d78c..

address
TMLop..^In_2_8