Proofgold Term Root Disambiguation

In 8 9

as obj
-

as prop
dab47..^In_8_9

theory
HF

stx
0d78c..

address
TMFeB..^In_8_9