Proofgold Term Root Disambiguation

In 2 3

as obj
-

as prop
b5e95..^In_2_3

theory
HF

stx
0d78c..

address
TMLDY..^In_2_3