vertical_2cat,horizontal_2cat,2cells_hr,kind
Rel,Set,subrelation inclusions,plain