Proofgold Term Root Disambiguation

In 3 6

as obj
-

as prop
d5bd4..^In_3_6

theory
HF

stx
0d78c..

address
TMTeC..^In_3_6