Proofgold Term Root Disambiguation

In 5 9

as obj
-

as prop
e48d3..^In_5_9

theory
HF

stx
0d78c..

address
TMFnv..^In_5_9