{"groupoid": {"value": "SymmRel", "label": "SymmRel"}, "category": {"value": "Rel", "label": "Rel"}}