vertical_2cat,vertical_2cat_label,horizontal_2cat,horizontal_2cat_label,2cells_hr
Rel,Rel,Set,Set,subrelation inclusions