;;;______________________________________________________ ;;; Types (def-type ELEMENT C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 C12 C13 C14 C15 C16 D1 D2 D3 D4 D5 D6 D7 D8 D9 D10 D11 D12 H1 H2 H3 H4 H5 H6 H7 H8 H9 H10 H11 H12 H13 H14 H15 H16 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 L11 L12 L13 L14 L15 S1 S2 S3 S4 S5 S6 S7 S8 S9 S10 S11 S12 S13 S14 S15 S16 S17 S18 S19 U1 U2 U3 U4 U5 U6 U7 U8 U9 U10 U11 U12 Y1 Y2 Y3 Y4 Y5 Y6 Y7 Y8 Y9 Y10 Y11 Y12 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 AB1 AB2 AB3 AB4 AB5 AB6 AB7 AB8 AB9 AB10 AB11 AB12 AB13 AB14 AC1 AC2 AC3 AC4 AC5 AC6 AC7 AC8 AC9 AC10 AC11 AC12 AC13 ) ;;;______________________________________________________ ;;; Predicates - Extensionally Defined Relations (def-pred LOGIC_TYPE-SENDER :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (C2) (C3) (D2) (D3) (H2) (H3) (L2) (L3) (L4) (S2) (U2) (Y2) (Z2) (AB2) (AC2) ) :neg :COMPUTED :induction NIL :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-RECEIVER :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (C5) (D4) (D5) (D6) (H4) (L5) (S4) (S5) (U4) (Y4) (Z3) (AB4) (AC3) ) :neg :COMPUTED :induction NIL :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-LOGO :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (C6) (D7) (H5) (L6) (S6) (U5) (Y5) (Z5) (AB5) (AC4) ) :neg :COMPUTED :induction NIL :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-REF :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (C7) (D9) (H6) (H7) (L7) (L9) (S10) (S9) (U6) (Y6) (Z7) (AB7) (AC6) ) :neg :COMPUTED :induction NIL :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-DATE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (C8) (D8) (H8) (H9) (L8) (S8) (S7) (U7) (Y7) (Z6) (AB6) (AB8) (AC5) ) :neg :COMPUTED :induction NIL :constraint NIL :commutative NIL ) (def-pred WIDTH-VERY-SMALL :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (B13) (C4) (E16) (H8) (H15) (I3) (I12) (I13) (J3) (J10) (K3) (M3) (N3) (O3) (P3) (Q3) (R3) (S3) (T3) (W4) (X3) (Y3) (Z4) (Z11) (AB3) (AB14) (AC13) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred WIDTH-SMALL :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A5) (A6) (B6) (B7) (D6) (D9) (E4) (E5) (E7) (E8) (E10) (E11) (F7) (F8) (G8) (G13) (H7) (L7) (N7) (O7) (Q6) (Q7) (Q13) (S8) (S9) (S10) (T8) (T9) (T10) (T15) (V7) (V8) (W9) (W10) (AB8) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred WIDTH-MEDIUM-SMALL :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A7) (A11) (B14) (C8) (C9) (C10) (C14) (C16) (D5) (E9) (F4) (F9) (F10) (F13) (G6) (G9) (H9) (H12) (H16) (I6) (J7) (J8) (J12) (K7) (K11) (L9) (M7) (N6) (O6) (O8) (O10) (P5) (P8) (P9) (Q9) (Q10) (S7) (S11) (S12) (S13) (S14) (S15) (S16) (S19) (T6) (T7) (T11) (U7) (U8) (U11) (V5) (V6) (V9) (V12) (W5) (W7) (W8) (X6) (Y7) (Y11) (Z6) (AB6) (AB10) (AB11) (AC5) (AC7) (AC8) (AD6) (AD10) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred WIDTH-MEDIUM :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A2) (A4) (B3) (B5) (B8) (C2) (C3) (C6) (D2) (D3) (D7) (D8) (D10) (E2) (E3) (E6) (E12) (F2) (F3) (F5) (F6) (G2) (G3) (G4) (G5) (G12) (H3) (H5) (H10) (H11) (I2) (I5) (I8) (J2) (J5) (K2) (K5) (L2) (L3) (L4) (L5) (L6) (L8) (L10) (L12) (L14) (M2) (M5) (M8) (N2) (N5) (N8) (O2) (O4) (O5) (O9) (P2) (P6) (Q5) (Q8) (Q12) (R2) (R5) (R7) (S2) (S4) (S5) (S6) (T2) (T5) (U2) (U5) (V2) (V4) (W2) (W6) (X2) (X4) (X5) (Y2) (Y5) (Z2) (Z5) (AA2) (AA4) (AA5) (AA7) (AB2) (AB5) (AC2) (AC4) (AC10) (AD2) (AD3) (AD4) (AD7) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred WIDTH-MEDIUM-LARGE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A3) (A8) (B2) (B4) (B9) (B10) (C5) (C7) (C11) (C13) (C15) (D4) (D12) (E14) (F12) (G7) (G11) (H2) (H4) (H14) (I4) (I7) (I11) (J4) (J6) (J9) (J13) (J14) (K4) (K6) (K8) (K12) (L11) (L15) (M4) (M6) (M11) (M12) (N4) (N9) (N12) (O11) (O13) (P4) (P7) (P10) (P12) (Q4) (Q11) (Q15) (R4) (R6) (R9) (R11) (S18) (T4) (T14) (U4) (U6) (U12) (V3) (V13) (W3) (W12) (X7) (X8) (X11) (W14) (Y4) (Y6) (Y9) (Y12) (Z3) (Z7) (Z10) (AA3) (AA6) (AA8) (AA10) (AB4) (AB7) (AB9) (AB13) (AC3) (AC6) (AC9) (AC12) (AD5) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred WIDTH-LARGE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A9) (A10) (B11) (B12) (C12) (D11) (E13) (F11) (G10) (H13) (K9) (L13) (M9) (N10) (R8) (S17) (T12) (U9) (V10) (W11) (X9) (Y8) (AA9) (AB12) (AD8) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred WIDTH-VERY-LARGE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (I9) (I10) (J11) (K10) (M10) (N11) (O12) (P11) (Q14) (R10) (T13) (U10) (V11) (W13) (X10) (Y10) (Z8) (Z9) (AC11) (AD9) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred HEIGHT-SMALLEST :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A8) (A11) (B2) (B9) (B10) (B13) (B14) (C4) (C9) (C10) (C11) (C16) (D10) (E8) (E10) (E11) (E12) (F8) (F9) (F10) (F13) (G8) (G9) (G13) (H8) (H10) (H11) (H12) (H16) (I3) (I6) (I9) (I12) (J3) (J8) (J9) (J10) (J12) (K3) (K8) (K9) (L10) (L11) (M3) (M8) (M9) (N3) (N9) (N10) (O3) (O9) (O10) (O11) (P3) (P9) (P10) (Q3) (Q10) (Q11) (Q12) (Q13) (R3) (R8) (R9) (S3) (S11) (S12) (S13) (S14) (S15) (S16) (S19) (T3) (T11) (T12) (U3) (U8) (U9) (U11) (V9) (V10) (V12) (W4) (W11) (W12) (X3) (X8) (X9) (Y3) (Y8) (Y9) (Y11) (Z4) (Z8) (Z11) (AA7) (AA8) (AB3) (AB9) (AB10) (AB11) (AC7) (AC8) (AC9) (AC10) (AD7) (AD8) (AD10) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred HEIGHT-VERY-VERY-SMALL :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A5) (A6) (A7) (B6) (B7) (B8) (C7) (C8) (C13) (C14) (D5) (D6) (D8) (D9) (E4) (E5) (E7) (E9) (E14) (E16) (F4) (F6) (F7) (G4) (G6) (G11) (H6) (H7) (H9) (H15) (I7) (I8) (I13) (J6) (J7) (J14) (K6) (K7) (K11) (L3) (L7) (L8) (L9) (L12) (L14) (M6) (M7) (M12) (N6) (N7) (N8) (O6) (O7) (O8) (P5) (P7) (P8) (Q6) (Q7) (Q8) (Q9) (R6) (R7) (S5) (S7) (S8) (S9) (S10) (T6) (T7) (T8) (T9) (T10) (T15) (U6) (U7) (V5) (V6) (V7) (V8) (W5) (W7) (W8) (W9) (W10) (X6) (X7) (Y6) (Y7) (Z6) (Z7) (AA5) (AA6) (AB6) (AB7) (AB8) (AB14) (AC5) (AC6) (AC13) (AD5) (AD6) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred HEIGHT-VERY-SMALL :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A4) (B5) (C6) (D4) (D7) (E6) (F5) (G3) (G5) (G7) (H5) (I5) (J5) (K5) (L6) (M5) (N5) (O5) (P6) (Q5) (R5) (S4) (S6) (T5) (U5) (V4) (W6) (X5) (Y5) (Z5) (AA4) (AB5) (AC4) (AD4) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred HEIGHT-SMALL :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A3) (B4) (E3) (F3) (F12) (G12) (H4) (H14) (I4) (J4) (J13) (M4) (N4) (O4) (P4) (Q4) (R4) (S18) (T4) (U4) (V3) (W3) (X4) (Y4) (Z3) (AA3) (AA10) (AB4) (AC3) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred HEIGHT-MEDIUM-SMALL :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (C2) (C3) (C5) (D2) (D3) (D12) (E15) (H2) (H3) (H13) (I11) (K12) (L2) (L4) (L5) (L15) (M11) (N12) (O13) (P12) (Q15) (R11) (T14) (U12) (V13) (W14) (X11) (Y12) (Z10) (AB13) (AC12) (AD3) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred HEIGHT-MEDIUM :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A9) (B11) (D11) (E13) (F11) (G10) (I10) (M10) (N11) (O12) (P11) (Q14) (R10) (S17) (AC11) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred HEIGHT-MEDIUM-LARGE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A2) (B3) (E2) (F2) (G2) (I2) (J2) (K2) (M2) (N2) (O2) (P2) (Q2) (R2) (S2) (T2) (U2) (V2) (W2) (X2) (Y2) (Z2) (AA2) (AB2) (AC2) (AD2) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred HEIGHT-LARGE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A10) (B12) (C12) (J11) (K10) (L13) (T13) (U10) (V11) (W13) (X10) (Y10) (Z9) (AA9) (AB12) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred HEIGHT-VERY-LARGE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (AD9) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred TYPE-TEXT :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A2) (A3) (A5) (A6) (A7) (A9) (A11) (B2) (B3) (B4) (B6) (B7) (B8) (B9) (B10) (B11) (B13) (B14) (C2) (C3) (C4) (C5) (C7) (C8) (C9) (C10) (C11) (C12) (C13) (C14) (C16) (D2) (D3) (D4) (D5) (D6) (D8) (D9) (D10) (D11) (E2) (E3) (E4) (E5) (E7) (E8) (E9) (E10) (E11) (E12) (E13) (E14) (E16) (F2) (F3) (F4) (F6) (F7) (F8) (F9) (F10) (F11) (F13) (G2) (G3) (G4) (G6) (G7) (G8) (G9) (G10) (G11) (G13) (H2) (H3) (H4) (H6) (H7) (H8) (H9) (H10) (H11) (H12) (H13) (H15) (H16) (I2) (I3) (I4) (I7) (I8) (I10) (I12) (I13) (J2) (J3) (J4) (J6) (J7) (J8) (J9) (J10) (J11) (J12) (J14) (K2) (K3) (K4) (K6) (K7) (K10) (K11) (L2) (L3) (L4) (L5) (L7) (L8) (L9) (L10) (L12) (L13) (L14) (M2) (M3) (M4) (M6) (M7) (M8) (M10) (M12) (N2) (N3) (N4) (N6) (N7) (N8) (N9) (N11) (O2) (O3) (O4) (O6) (O7) (O8) (O10) (O12) (P2) (P3) (P4) (P5) (P7) (P8) (P9) (P11) (Q2) (Q3) (Q4) (Q6) (Q7) (Q8) (Q9) (Q10) (Q12) (Q13) (Q14) (R2) (R3) (R4) (R6) (R7) (R8) (R10) (S2) (S3) (S4) (S5) (S7) (S8) (S9) (S10) (S11) (S12) (S15) (S16) (S17) (S19) (T2) (T3) (T4) (T6) (T7) (T8) (T9) (T10) (T11) (T13) (T15) (U2) (U3) (U4) (U6) (U7) (U8) (U9) (U10) (U11) (V2) (V3) (V5) (V6) (V7) (V8) (V10) (V11) (V12) (W2) (W3) (W4) (W5) (W7) (W8) (W9) (W10) (W11) (W13) (X2) (X3) (X4) (X6) (X7) (X8) (X10) (Y2) (Y3) (Y4) (Y6) (Y7) (Y9) (Y10) (Y11) (Z2) (Z3) (Z4) (Z6) (Z7) (Z8) (Z9) (Z11) (AA2) (AA3) (AA5) (AA6) (AA7) (AA8) (AA9) (AB2) (AB3) (AB4) (AB6) (AB7) (AB8) (AB9) (AB10) (AB11) (AB12) (AB14) (AC2) (AC3) (AC5) (AC6) (AC7) (AC9) (AC10) (AC11) (AC13) (AD2) (AD3) (AD5) (AD6) (AD7) (AD8) (AD10) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred TYPE-HOR-LINE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A8) (I6) (I9) (K8) (K9) (L11) (M9) (N10) (O9) (O11) (P10) (Q11) (R9) (S13) (S14) (T12) (V9) (W12) (X9) (Y8) (AC8) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred TYPE-PICTURE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A4) (B5) (C6) (D7) (E6) (F5) (G5) (H5) (I5) (J5) (K5) (L6) (M5) (N5) (O5) (P6) (Q5) (R5) (S6) (T5) (U5) (V4) (W6) (X5) (Y5) (Z5) (AA4) (AB5) (AC4) (AD4) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred TYPE-GRAPHIC :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (E15) (F12) (G12) (V13) (AC12) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred TYPE-MIXTURE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A10) (B12) (C15) (D12) (H14) (I11) (J13) (K12) (L15) (M11) (N12) (O13) (P12) (Q15) (R11) (S18) (T14) (U12) (W14) (X11) (Y12) (Z10) (AA10) (AB13) (AD9) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred PARTOF :vars (?BLOCK ?BLOCK) :type (ELEMENT ELEMENT) :mode NIL :pos ( (A1 A2) (A1 A3) (A1 A4) (A1 A5) (A1 A6) (A1 A7) (A1 A8) (A1 A9) (A1 A10) (A1 A11) (B1 B2) (B1 B3) (B1 B4) (B1 B5) (B1 B6) (B1 B7) (B1 B8) (B1 B9) (B1 B10) (B1 B11) (B1 B12) (B1 B13) (B1 B14) (C1 C2) (C1 C3) (C1 C4) (C1 C5) (C1 C6) (C1 C7) (C1 C8) (C1 C9) (C1 C10) (C1 C11) (C1 C12) (C1 C13) (C1 C14) (C1 C15) (C1 C16) (D1 D2) (D1 D3) (D1 D4) (D1 D5) (D1 D6) (D1 D7) (D1 D8) (D1 D9) (D1 D10) (D1 D11) (D1 D12) (E1 E2) (E1 E3) (E1 E4) (E1 E5) (E1 E6) (E1 E7) (E1 E8) (E1 E9) (E1 E10) (E1 E11) (E1 E12) (E1 E13) (E1 E14) (E1 E15) (E1 E16) (F1 F2) (F1 F3) (F1 F4) (F1 F5) (F1 F6) (F1 F7) (F1 F8) (F1 F9) (F1 F10) (F1 F11) (F1 F12) (F1 F13) (G1 G2) (G1 G3) (G1 G4) (G1 G5) (G1 G6) (G1 G7) (G1 G8) (G1 G9) (G1 G10) (G1 G11) (G1 G12) (G1 G13) (H1 H2) (H1 H3) (H1 H4) (H1 H5) (H1 H6) (H1 H7) (H1 H8) (H1 H9) (H1 H10) (H1 H11) (H1 H12) (H1 H13) (H1 H14) (H1 H15) (H1 H16) (I1 I2) (I1 I3) (I1 I4) (I1 I5) (I1 I6) (I1 I7) (I1 I8) (I1 I9) (I1 I10) (I1 I11) (I1 I12) (I1 I13) (J1 J2) (J1 J3) (J1 J4) (J1 J5) (J1 J6) (J1 J7) (J1 J8) (J1 J9) (J1 J10) (J1 J11) (J1 J12) (J1 J13) (J1 J14) (K1 K2) (K1 K3) (K1 K4) (K1 K5) (K1 K6) (K1 K7) (K1 K8) (K1 K9) (K1 K10) (K1 K11) (K1 K12) (L1 L2) (L1 L3) (L1 L4) (L1 L5) (L1 L6) (L1 L7) (L1 L8) (L1 L9) (L1 L10) (L1 L11) (L1 L12) (L1 L13) (L1 L14) (L1 L15) (M1 M2) (M1 M3) (M1 M4) (M1 M5) (M1 M6) (M1 M7) (M1 M8) (M1 M9) (M1 M10) (M1 M11) (M1 M12) (N1 N2) (N1 N3) (N1 N4) (N1 N5) (N1 N6) (N1 N7) (N1 N8) (N1 N9) (N1 N10) (N1 N11) (N1 N12) (O1 O2) (O1 O3) (O1 O4) (O1 O5) (O1 O6) (O1 O7) (O1 O8) (O1 O9) (O1 O10) (O1 O11) (O1 O12) (O1 O13) (P1 P2) (P1 P3) (P1 P4) (P1 P5) (P1 P6) (P1 P7) (P1 P8) (P1 P9) (P1 P10) (P1 P11) (P1 P12) (Q1 Q2) (Q1 Q3) (Q1 Q4) (Q1 Q5) (Q1 Q6) (Q1 Q7) (Q1 Q8) (Q1 Q9) (Q1 Q10) (Q1 Q11) (Q1 Q12) (Q1 Q13) (Q1 Q14) (Q1 Q15) (R1 R2) (R1 R3) (R1 R4) (R1 R5) (R1 R6) (R1 R7) (R1 R8) (R1 R9) (R1 R10) (R1 R11) (S1 S2) (S1 S3) (S1 S4) (S1 S5) (S1 S6) (S1 S7) (S1 S8) (S1 S9) (S1 S10) (S1 S11) (S1 S12) (S1 S13) (S1 S14) (S1 S15) (S1 S16) (S1 S17) (S1 S18) (S1 S19) (T1 T2) (T1 T3) (T1 T4) (T1 T5) (T1 T6) (T1 T7) (T1 T8) (T1 T9) (T1 T10) (T1 T11) (T1 T12) (T1 T13) (T1 T14) (T1 T15) (U1 U2) (U1 U3) (U1 U4) (U1 U5) (U1 U6) (U1 U7) (U1 U8) (U1 U9) (U1 U10) (U1 U11) (U1 U12) (V1 V2) (V1 V3) (V1 V4) (V1 V5) (V1 V6) (V1 V7) (V1 V8) (V1 V9) (V1 V10) (V1 V11) (V1 V12) (V1 V13) (W1 W2) (W1 W3) (W1 W4) (W1 W5) (W1 W6) (W1 W7) (W1 W8) (W1 W9) (W1 W10) (W1 W11) (W1 W12) (W1 W13) (W1 W14) (X1 X2) (X1 X3) (X1 X4) (X1 X5) (X1 X6) (X1 X7) (X1 X8) (X1 X9) (X1 X10) (X1 X11) (Y1 Y2) (Y1 Y3) (Y1 Y4) (Y1 Y5) (Y1 Y6) (Y1 Y7) (Y1 Y8) (Y1 Y9) (Y1 Y10) (Y1 Y11) (Y1 Y12) (Z1 Z2) (Z1 Z3) (Z1 Z4) (Z1 Z5) (Z1 Z6) (Z1 Z7) (Z1 Z8) (Z1 Z9) (Z1 Z10) (Z1 Z11) (AA1 AA2) (AA1 AA3) (AA1 AA4) (AA1 AA5) (AA1 AA6) (AA1 AA7) (AA1 AA8) (AA1 AA9) (AA1 AA10) (AB1 AB2) (AB1 AB3) (AB1 AB4) (AB1 AB5) (AB1 AB6) (AB1 AB7) (AB1 AB8) (AB1 AB9) (AB1 AB10) (AB1 AB11) (AB1 AB12) (AB1 AB13) (AB1 AB14) (AC1 AC2) (AC1 AC3) (AC1 AC4) (AC1 AC5) (AC1 AC6) (AC1 AC7) (AC1 AC8) (AC1 AC9) (AC1 AC10) (AC1 AC11) (AC1 AC12) (AC1 AC13) (AD1 AD2) (AD1 AD3) (AD1 AD4) (AD1 AD5) (AD1 AD6) (AD1 AD7) (AD1 AD8) (AD1 AD9) (AD1 AD10) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred POSITION-TOP-LEFT :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A2) (A4) (A5) (B3) (B5) (B6) (C2) (C3) (C4) (C6) (C9) (C10) (D2) (D3) (D7) (D9) (E2) (E6) (E10) (F2) (F5) (F7) (G2) (G5) (G8) (G9) (H2) (H3) (H5) (H6) (H12) (I2) (I3) (I5) (J2) (J3) (J5) (K2) (K3) (K5) (L2) (L3) (L4) (L6) (L9) (M2) (M3) (M5) (N2) (N3) (N5) (N6) (O2) (O3) (O5) (O6) (P2) (P3) (P6) (Q2) (Q3) (Q5) (Q6) (Q9) (R2) (R3) (R5) (S2) (S3) (S6) (S10) (S15) (S16) (T2) (T3) (T5) (T7) (T8) (U2) (U3) (U5) (V2) (V4) (V6) (W2) (W4) (W6) (W8) (X2) (X3) (X5) (Y2) (Y3) (Y5) (Z2) (Z4) (Z5) (AA2) (AA4) (AA7) (AB2) (AB3) (AB5) (AB9) (AC2) (AC4) (AC9) (AD2) (AD4) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred POSITION-TOP :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A3) (A6) (B4) (B7) (C7) (D4) (E3) (E7) (F3) (F8) (G3) (G7) (H4) (H7) (H11) (I4) (I6) (I7) (J4) (J6) (K4) (K6) (L5) (L7) (M6) (N4) (N7) (O4) (O7) (P4) (P7) (Q4) (Q7) (R4) (R6) (S4) (S9) (S13) (S14) (T9) (U4) (U6) (V3) (V7) (W9) (X4) (X7) (Y4) (Y6) (Z3) (Z7) (AA3) (AA6) (AB4) (AB7) (AC3) (AC6) (AC10) (AD3) (AD5) (AD8) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred POSITION-TOP-RIGHT :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A2) (A7) (B2) (B8) (C5) (C8) (C11) (D5) (D6) (D8) (E4) (E5) (E8) (E9) (E11) (E12) (F4) (F6) (F9) (F10) (G4) (G6) (H8) (H9) (H10) (I8) (J7) (K7) (L8) (L10) (M4) (M7) (N8) (O8) (P5) (P8) (Q8) (R7) (S5) (S7) (S8) (S11) (S12) (T4) (T6) (T10) (U7) (V5) (V8) (W3) (W5) (W7) (W10) (X6) (Y7) (Z6) (AA5) (AA8) (AB6) (AB8) (AB10) (AB11) (AC5) (AC7) (AC8) (AD6) (AD7) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred POSITION-LEFT :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (J8) (J12) (K9) (L11) (M8) (N9) (O9) (P9) (Q10) (Q11) (R8) (T11) (U8) (V9) (W11) (X8) (Y8) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred POSITION-CENTER :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A8) (A9) (B9) (B11) (C12) (D11) (D12) (E13) (E16) (F11) (G10) (H13) (H14) (H15) (I9) (I10) (I11) (J11) (K10) (L12) (L13) (M10) (M11) (M12) (N10) (N11) (O10) (O12) (P11) (Q12) (Q14) (R10) (R11) (S17) (T12) (T13) (U9) (U10) (V10) (V11) (W13) (X10) (Y10) (Z8) (Z9) (AA9) (AB12) (AC11) (AD9) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred POSITION-RIGHT :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (B10) (D10) (E14) (F12) (G11) (G12) (J9) (J10) (K8) (M9) (N12) (O11) (O13) (P10) (P12) (Q13) (Q15) (R9) (S18) (W12) (X9) (Y9) (AC12) (AC13) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred POSITION-BOTTOM-LEFT :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (B13) (C14) (K11) (U11) (V12) (Y11) (Z11) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred POSITION-BOTTOM :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A10) (B12) (C13) (C15) (J13) (J14) (L14) (T14) (W14) (X11) (AA10) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred POSITION-BOTTOM-RIGHT :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A11) (B14) (C16) (E15) (F13) (G13) (H16) (I12) (I13) (K12) (L15) (S19) (T15) (U12) (V13) (Y12) (Z10) (AB13) (AB14) (AD10) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred ON-TOP :vars (?BLOCK ?BLOCK) :type (ELEMENT ELEMENT) :mode NIL :pos ( (A5 A9) (A6 A8) (A6 A9) (A7 A9) (A8 A9) (A9 A10) (B6 B9) (B6 B11) (B7 B9) (B7 B11) (B8 B10) (B8 B11) (B9 B11) (B10 B11) (B11 B12) (C2 C3) (C5 C8) (C6 C9) (C7 C10) (C7 C12) (C8 C11) (C8 C12) (C10 C12) (C11 C12) (C12 C13) (C13 C14) (D2 D3) (D5 D8) (D6 D8) (D8 D10) (D11 D12) (E4 E8) (E5 E9) (E9 E12) (E13 E14) (E14 E15) (F4 F6) (F6 F10) (F11 F12) (G4 G7) (G5 G9) (G10 G11) (G11 G12) (H2 H3) (H5 H12) (H7 H11) (H8 H10) (H9 H10) (I5 I9) (I6 I7) (I6 I9) (I7 I9) (I8 I9) (I10 I11) (J5 J8) (J7 J9) (J11 J12) (J13 J14) (K5 K9) (K6 K9) (K7 K8) (K10 K11) (L2 L4) (L6 L11) (L8 L10) (L9 L11) (L12 L13) (L13 L14) (L13 L15) (M5 M8) (M7 M9) (M10 M11) (M11 M12) (N5 N9) (N6 N10) (N7 N10) (N8 N10) (N11 N12) (O5 O9) (O6 O10) (O8 O11) (O12 O13) (P6 P9) (P8 P10) (Q5 Q10) (Q6 Q11) (Q9 Q11) (Q14 Q15) (R5 R8) (R6 R8) (R7 R9) (S5 S8) (S6 S15) (S6 S16) (S8 S12) (S17 S18) (T5 T11) (T6 T12) (T9 T12) (T10 T12) (T13 T14) (U5 U8) (U6 U9) (U7 U9) (U10 U11) (V4 V9) (V5 V10) (V6 V10) (V7 V10) (V8 V10) (V11 V12) (W6 W11) (W7 W12) (W8 W11) (W10 W12) (W11 W13) (W12 W13) (X5 X8) (X6 X9) (X10 X11) (Y5 Y8) (Y6 Y8) (Y7 Y9) (Y10 Y11) (Z5 Z8) (Z6 Z8) (Z7 Z8) (Z9 Z10) (AA4 AA7) (AA5 AA8) (AA9 AA10) (AB5 AB9) (AB8 AB11) (AB9 AB12) (AB11 AB12) (AB12 AB13) (AC4 AC9) (AC5 AC8) (AC11 AC12) (AD5 AD8) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred TO-RIGHT :vars (?BLOCK ?BLOCK) :type (ELEMENT ELEMENT) :mode NIL :pos ( (A4 A5) (B5 B6) (B9 B10) (C6 C7) (C3 C4) (C9 C10) (D7 D9) (D5 D6) (E6 E10) (E3 E4) (E3 E5) (E16 E15) (E11 E12) (E8 E9) (E4 E5) (F5 F7) (F3 F4) (F10 F9) (G5 G8) (H5 H6) (H6 H7) (H15 H14) (H8 H9) (I2 I3) (I5 I7) (I5 I6) (I7 I8) (J2 J3) (J5 J6) (J9 J10) (K2 K3) (K5 K6) (L2 L3) (L4 L5) (L6 L9) (L9 L7) (M2 M3) (M5 M6) (N2 N3) (N9 N10) (N5 N6) (N6 N7) (O2 O3) (O5 O6) (O9 O10) (O6 O7) (P2 P3) (P6 P7) (P4 P5) (Q2 Q3) (Q10 Q11) (Q5 Q6) (Q12 Q13) (R8 R9) (R2 R3) (R5 R6) (S2 S3) (S6 S10) (S15 S14) (S14 S13) (S13 S12) (S12 S11) (S8 S7) (T2 T3) (T5 T8) (T5 T7) (T14 T15) (U2 U3) (U5 U6) (V9 V10) (V4 V6) (V6 V7) (V8 V5) (W11 W12) (W2 W4) (W6 W8) (W8 W9) (W3 W5) (X8 X9) (X2 X3) (X5 X7) (Y2 Y3) (Y5 Y6) (Y8 Y9) (Z2 Z4) (Z5 Z7) (AA4 AA6) (AB5 AB7) (AB2 AB3) (AB13 AB14) (AB11 AB10) (AB8 AB6) (AC4 AC6) (AC12 AC13) (AC10 AC8) (AC8 AC7) (AD4 AD5) (AD8 AD7) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred ALIGNED-ONLY-LEFT-COL :vars (?BLOCK ?BLOCK) :type (ELEMENT ELEMENT) :mode NIL :pos ( (A3 A6) (B3 B5) (B4 B7) (B6 B9) (C2 C3) (C3 C6) (C4 C7) (C12 C13) (C13 C14) (D2 D3) (D3 D7) (E2 E6) (E4 E12) (E5 E9) (F4 F6) (G2 G5) (H2 H3) (H3 H5) (H5 H12) (H7 H14) (I5 I9) (J3 J6) (J5 J8) (J11 J12) (K3 K6) (K4 K12) (K5 K9) (K10 K11) (L5 L9) (L12 L13) (L13 L14) (M3 M6) (M9 M12) (N3 N6) (N4 N12) (N5 N9) (O3 O6) (O4 O7) (O5 O9) (P3 P7) (P6 P9) (P10 P12) (Q3 Q6) (Q4 Q15) (Q5 Q10) (R3 R6) (R5 R8) (S2 S6) (S3 S10) (S6 S16) (S14 S17) (T3 T8) (T5 T11) (U3 U6) (U5 U8) (U10 U11) (V4 V9) (V11 V12) (W4 W8) (W6 W11) (X3 X7) (X4 X11) (X5 X8) (Y3 Y6) (Y4 Y12) (Y10 Y11) (Z4 Z7) (Z8 Z11) (AB3 AB7) (AB5 AB9) (AD5 AD8) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred ALIGNED-ONLY-RIGHT-COL :vars (?BLOCK ?BLOCK) :type (ELEMENT ELEMENT) :mode NIL :pos ( (A7 A10) (B10 B14) (C5 C15) (C12 C15) (D2 D7) (D6 D8) (D11 D12) (E3 E11) (E4 E8) (E5 E13) (E8 E15) (E13 E14) (F4 F11) (F9 F13) (F10 F11) (F11 F12) (G4 G10) (G10 G11) (H13 H14) (I2 I5) (I8 I10) (I10 I12) (J7 J11) (J9 J13) (J11 J13) (L3 L11) (M4 M7) (N8 N12) (O8 O13) (P8 P12) (Q8 Q15) (R10 R11) (S3 S15) (S5 S12) (S12 S17) (T6 T13) (T13 T15) (V5 V10) (V10 V11) (W3 W7) (W7 W14) (X10 X11) (Y7 Y10) (Y10 Y12) (Z8 Z9) (AA4 AA7) (AA5 AA8) (AB4 AB8) (AB6 AB14) (AB11 AB12) (AC5 AC8) (AC8 AC13) (AD6 AD9) (AD7 AD10) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred ALIGNED-ONLY-MIDDLE-COL :vars (?BLOCK ?BLOCK) :type (ELEMENT ELEMENT) :mode NIL :pos ( (C10 C14) (E9 E12) (E11 E14) (E14 E15) (G3 G7) (G11 G12) (I9 I10) (J13 J14) (K7 K8) (M11 M12) (N7 N11) (P4 P11) (Q12 Q15) (R7 R9) (S13 S17) (T4 T10) (T9 T13) (V3 V10) (V7 V11) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred ALIGNED-BOTH-COLUMNS :vars (?BLOCK ?BLOCK) :type (ELEMENT ELEMENT) :mode NIL :pos ( (A2 A4) (A9 A10) (B11 B12) (F2 F5) (J2 J5) (K2 K5) (L2 L4) (L4 L6) (M2 M5) (N2 N5) (O2 O5) (P2 P6) (Q2 Q5) (R2 R5) (S11 S19) (T2 T5) (U2 U5) (V2 V4) (W2 W6) (X2 X5) (Y2 Y5) (Z2 Z5) (AA2 AA4) (AB2 AB5) (AC2 AC4) (AD2 AD4) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred ALIGNED-ONLY-UPPER-ROW :vars (?BLOCK ?BLOCK) :type (ELEMENT ELEMENT) :mode NIL :pos ( (C14 C15) (G8 G7) (H15 H14) (L9 L7) (N3 N4) (Q9 Q7) (T3 T4) (W8 W7) (Z4 Z3) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred ALIGNED-ONLY-LOWER-ROW :vars (?BLOCK ?BLOCK) :type (ELEMENT ELEMENT) :mode NIL :pos ( (A4 A5) (B5 B6) (C6 C7) (D7 D9) (E6 E10) (E3 E4) (F5 F7) (F8 F6) (F3 F4) (G5 G8) (G9 G7) (G8 G6) (H5 H6) (I5 I8) (J5 J6) (K5 K6) (L6 L9) (L9 L8) (M5 M6) (N5 N6) (O5 O6) (P6 P7) (Q5 Q6) (Q9 Q8) (R5 R6) (S6 S10) (T5 T8) (U5 U6) (V2 V3) (V4 V6) (W6 W8) (W8 W9) (W3 W5) (X2 X4) (X5 X7) (Y5 Y6) (Z5 Z7) (AA4 AA6) (AB5 AB7) (AB13 AB14) (AC4 AC6) (AC12 AC13) (AD4 AD5) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred ALIGNED-ONLY-MIDDLE-ROW :vars (?BLOCK ?BLOCK) :type (ELEMENT ELEMENT) :mode NIL :pos ( (C3 C4) (L2 L3) (P4 P5) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred ALIGNED-BOTH-ROWS :vars (?BLOCK ?BLOCK) :type (ELEMENT ELEMENT) :mode NIL :pos ( (A5 A6) (A6 A7) (B9 B10) (B6 B7) (B7 B8) (C9 C10) (C10 C11) (C7 C8) (D9 D8) (D5 D6) (E10 E7) (E7 E8) (E11 E12) (E8 E9) (E4 E5) (F7 F8) (F10 F9) (H12 H11) (H6 H7) (H11 H10) (H7 H8) (H8 H9) (I7 I8) (J8 J9) (J6 J7) (J9 J10) (K9 K8) (K6 K7) (L11 L10) (L7 L8) (M8 M9) (M6 M7) (N9 N10) (N6 N7) (N7 N8) (O9 O10) (O6 O7) (O10 O11) (O7 O8) (P9 P10) (P7 P8) (Q10 Q11) (Q11 Q12) (Q6 Q7) (Q7 Q8) (Q12 Q13) (R8 R9) (R6 R7) (S16 S15) (S15 S14) (S10 S9) (S14 S13) (S9 S8) (S13 S12) (S12 S11) (S8 S7) (T11 T12) (T8 T9) (T7 T6) (T9 T10) (U8 U9) (U6 U7) (V9 V10) (V6 V7) (V7 V8) (W11 W12) (W9 W10) (X8 X9) (X7 X6) (Y8 Y9) (Y6 Y7) (Z7 Z6) (AA7 AA8) (AA6 AA5) (AB9 AB11) (AB7 AB8) (AB11 AB10) (AB8 AB6) (AC9 AC10) (AC6 AC5) (AC10 AC8) (AC8 AC7) (AD5 AD6) (AD8 AD7) ) :neg NIL :induction T :constraint NIL :commutative NIL )