{"internal_semigroups": {"value": "BanAlg", "label": "BanAlg"}, "parent": {"value": "Ban_k", "label": "Ban_k"}}
{"internal_semigroups": {"value": "SemiGrp", "label": "SemiGrp"}, "parent": {"value": "Set", "label": "Set"}}
{"internal_semigroups": {"value": "Quant", "label": "Quant"}, "parent": {"value": "SupLat", "label": "SupLat"}}