{"internal_commutative_monoids": {"value": "BanRing", "label": "BanRing"}, "parent": {"value": "CompNormGrp", "label": "CompNormGrp"}}