Proofgold Term Root Disambiguation

In 0 8

as obj
-

as prop
57d5b..^In_0_8

theory
HF

stx
0d78c..

address
TMRCg..^In_0_8