Proofgold Term Root Disambiguation

In 0 9

as obj
-

as prop
fda50..^In_0_9

theory
HF

stx
0d78c..

address
TMUAC..^In_0_9