{"subcategory": {"value": "BoolAlg", "label": "BoolAlg"}, "supercategory": {"value": "Lat", "label": "Lat"}}