Proofgold Term Root Disambiguation

as obj
-

as prop
cae12..^{MetaCat_struct_u_idem_terminal}

theory
HotG

stx
c348f..

address
TMZnQ..^{MetaCat_struct_u_idem_terminal}