Proofgold Term Root Disambiguation

In 7 8

as obj
-

as prop
879be..^In_7_8

theory
HF

stx
0d78c..

address
TMVqv..^In_7_8