Proofgold Term Root Disambiguation

In 0 3

as obj
-

as prop
82574..^In_0_3

theory
HF

stx
0d78c..

address
TMTAz..^In_0_3