subcategory,parent
BoolAlg,DistLat
Frm,DistLat