{"internal_commutative_monoids": {"value": "NormRing", "label": "NormRing"}, "parent": {"value": "NormGrp", "label": "NormGrp"}}