Proofgold Term Root Disambiguation

In 5 7

as obj
-

as prop
59629..^In_5_7

theory
HF

stx
0d78c..

address
TMZQC..^In_5_7