Proofgold Term Root Disambiguation

In 3 5

as obj
-

as prop
c3428..^In_3_5

theory
HF

stx
0d78c..

address
TMUZv..^In_3_5