Proofgold Term Root Disambiguation

In 0 5

as obj
-

as prop
5ec9a..^In_0_5

theory
HF

stx
0d78c..

address
TMSyq..^In_0_5