Proofgold Term Root Disambiguation

In 1 4

as obj
-

as prop
efe66..^In_1_4

theory
HF

stx
0d78c..

address
TMMio..^In_1_4