Proofgold Term Root Disambiguation

In 4 5

as obj
-

as prop
55f57..^In_4_5

theory
HF

stx
0d78c..

address
TMQ8c..^In_4_5