category,category_label,op,op_label
CompBoolAlg,CompBoolAlg,FinSet,FinSet