Proofgold Term Root Disambiguation

In 0 2

as obj
-

as prop
0863e..^In_0_2

theory
HF

stx
0d78c..

address
TMbkp..^In_0_2