((is_empty(f1_Y1_X1.NAOK) or is_empty(f1_Y1_X2.NAOK) or is_empty(f1_Y1_X3.NAOK)) or (f1_Y1_X3.NAOK >= f1_Y1_X2.NAOK >= f1_Y1_X1.NAOK)) and
((is_empty(f1_Y2_X1.NAOK) or is_empty(f1_Y2_X2.NAOK) or is_empty(f1_Y2_X3.NAOK)) or (f1_Y2_X3.NAOK >= f1_Y2_X2.NAOK >= f1_Y2_X1.NAOK)) and
((is_empty(f1_Y3_X1.NAOK) or is_empty(f1_Y3_X2.NAOK) or is_empty(f1_Y3_X3.NAOK)) or (f1_Y3_X3.NAOK >= f1_Y3_X2.NAOK >= f1_Y3_X1.NAOK)) and
((is_empty(f1_Y4_X1.NAOK) or is_empty(f1_Y4_X2.NAOK) or is_empty(f1_Y4_X3.NAOK)) or (f1_Y4_X3.NAOK >= f1_Y4_X2.NAOK >= f1_Y4_X1.NAOK)) and
((is_empty(f1_Y5_X1.NAOK) or is_empty(f1_Y5_X2.NAOK) or is_empty(f1_Y5_X3.NAOK)) or (f1_Y5_X3.NAOK >= f1_Y5_X2.NAOK >= f1_Y5_X1.NAOK)) and
((is_empty(f1_Y6_X1.NAOK) or is_empty(f1_Y6_X2.NAOK) or is_empty(f1_Y6_X3.NAOK)) or (f1_Y6_X3.NAOK >= f1_Y6_X2.NAOK >= f1_Y6_X1.NAOK)) and
((is_empty(f1_Y7_X1.NAOK) or is_empty(f1_Y7_X2.NAOK) or is_empty(f1_Y7_X3.NAOK)) or (f1_Y7_X3.NAOK >= f1_Y7_X2.NAOK >= f1_Y7_X1.NAOK)) and
((is_empty(f1_Y8_X1.NAOK) or is_empty(f1_Y8_X2.NAOK) or is_empty(f1_Y8_X3.NAOK)) or (f1_Y8_X3.NAOK >= f1_Y8_X2.NAOK >= f1_Y8_X1.NAOK))