Proofgold Term Root Disambiguation

In 1 3

as obj
-

as prop
f0f3e..^In_1_3

theory
HF

stx
0d78c..

address
TMP3S..^In_1_3