Proofgold Term Root Disambiguation

In 4 6

as obj
-

as prop
99a7f..^In_4_6

theory
HF

stx
0d78c..

address
TMaKu..^In_4_6