{"subcategory": {"value": "BoolAlg", "label": "BoolAlg"}, "parent": {"value": "HeytAlg", "label": "HeytAlg"}}