Proofgold Term Root Disambiguation

In 2 5

as obj
-

as prop
7f632..^In_2_5

theory
HF

stx
0d78c..

address
TMc99..^In_2_5