Proofgold Term Root Disambiguation

In 4 8

as obj
-

as prop
e08a8..^In_4_8

theory
HF

stx
0d78c..

address
TMNhV..^In_4_8