Proofgold Term Root Disambiguation

In 2 4

as obj
-

as prop
884f0..^In_2_4

theory
HF

stx
0d78c..

address
TMJmd..^In_2_4