Proofgold Term Root Disambiguation

as obj
-

as prop
bdf9a..^{MetaCat_struct_u_inj_initial}

theory
HotG

stx
172be..

address
TMGKN..^{MetaCat_struct_u_inj_initial}