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