Proofgold Term Root Disambiguation

as obj
-

as prop
cfce4..^{MetaCat_struct_b_b_e_e_ring}

theory
HotG

stx
2f4e7..

address
TMNbH..^{MetaCat_struct_b_b_e_e_ring}