Proofgold Term Root Disambiguation

In 0 6

as obj
-

as prop
0f549..^In_0_6

theory
HF

stx
0d78c..

address
TMWnm..^In_0_6