Proofgold Term Root Disambiguation

as obj
-

as prop
31a6e..^{MetaCat_struct_u_idem}

theory
HotG

stx
8c2f6..

address
TMNdS..^{MetaCat_struct_u_idem}