subcategory,supercategory,kind
BoolAlg,Lat,full