{"vertical_2cat": "Rel", "horizontal_2cat": "Set", "2cells_hr": "subrelation inclusions", "kind": "plain"}