Proofgold Term Root Disambiguation

In 3 4

as obj
-

as prop
d9ca3..^In_3_4

theory
HF

stx
0d78c..

address
TMHco..^In_3_4