Proofgold Term Root Disambiguation

In 4 9

as obj
-

as prop
8ee2c..^In_4_9

theory
HF

stx
0d78c..

address
TMRNV..^In_4_9