Proofgold Term Root Disambiguation

In 5 6

as obj
-

as prop
ad142..^In_5_6

theory
HF

stx
0d78c..

address
TMNBU..^In_5_6