Proofgold Term Root Disambiguation

In 1 7

as obj
-

as prop
ed9ed..^In_1_7

theory
HF

stx
0d78c..

address
TMPmh..^In_1_7