{"subcategory": "BoolAlg", "supercategory": "Lat", "kind": "full"}