Proofgold Term Root Disambiguation

In 2 9

as obj
-

as prop
2df93..^In_2_9

theory
HF

stx
0d78c..

address
TMMhu..^In_2_9