internal_monoids,internal_monoids_label,parent,parent_label Alg(Ab),Alg(Ab),Mod(Ab),Mod(Ab)