internal_monoids,internal_monoids_label,parent,parent_label
MonCat,MonCat,Cat,Cat