Proofgold Term Root Disambiguation

In 0 7

as obj
-

as prop
6516d..^In_0_7

theory
HF

stx
0d78c..

address
TMd31..^In_0_7