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