internal_semigroups,internal_semigroups_label,parent,parent_label
BanAlg,BanAlg,Ban_k,Ban_k
Quant,Quant,SupLat,SupLat
SemiGrp,SemiGrp,Set,Set