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