;;;______________________________________________________ ;;; Types (def-type ELEMENT A1 A2 A3 A4 A5 A6 A7 A8 A9 A10 A11 B1 B2 B3 B4 B5 B6 B7 B8 B9 B10 B11 B12 B13 B14 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 E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 E15 E16 F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 G1 G2 G3 G4 G5 G6 G7 G8 G9 G10 G11 G12 G13 J1 J2 J3 J4 J5 J6 J7 J8 J9 J10 J11 J12 J13 J14 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 L11 L12 L13 L14 L15 M1 M2 M3 M4 M5 M6 M7 M8 M9 M10 M11 M12 N1 N2 N3 N4 N5 N6 N7 N8 N9 N10 N11 N12 O1 O2 O3 O4 O5 O6 O7 O8 O9 O10 O11 O12 O13 P1 P2 P3 P4 P5 P6 P7 P8 P9 P10 P11 P12 Q1 Q2 Q3 Q4 Q5 Q6 Q7 Q8 Q9 Q10 Q11 Q12 Q13 Q14 Q15 T1 T2 T3 T4 T5 T6 T7 T8 T9 T10 T11 T12 T13 T14 T15 V1 V2 V3 V4 V5 V6 V7 V8 V9 V10 V11 V12 V13 X1 X2 X3 X4 X5 X6 X7 X8 X9 X10 X11 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 AD1 AD2 AD3 AD4 AD5 AD6 AD7 AD8 AD9 AD10 ) ;;;______________________________________________________ ;;; Predicates - Extensionally Defined Relations (def-pred LOGIC_TYPE-SENDER :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A2) (B3) (C2) (C3) (D2) (D3) (E2) (F2) (G2) (J2) (L2) (L3) (L4) (M2) (N2) (O2) (P2) (Q2) (T2) (V2) (X2) (Z2) (AB2) (AD2) ) :neg :COMPUTED :induction T :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-RECEIVER :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A3) (B4) (C5) (D4) (D5) (D6) (E3) (E4) (E5) (F3) (F4) (G3) (G4) (J4) (L5) (M4) (N4) (O4) (P4) (P5) (Q4) (T4) (V3) (X4) (Z3) (AB4) (AD3) ) :neg :COMPUTED :induction T :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-LOGO :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A4) (B5) (C6) (D7) (E6) (F5) (G5) (J5) (L6) (M5) (N5) (O5) (P6) (Q5) (T5) (V4) (X5) (Z5) (AB5) (AD4) ) :neg :COMPUTED :induction T :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-REF :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A5) (A6) (B6) (B7) (C7) (D9) (E7) (E10) (F7) (F8) (G8) (J6) (L7) (L9) (M6) (N6) (N7) (O6) (O7) (P7) (Q6) (Q7) (Q9) (T7) (T8) (T9) (V6) (V7) (X7) (Z7) (AB7) (AD5) ) :neg :COMPUTED :induction T :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-DATE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A7) (B8) (C8) (D8) (E8) (E9) (F6) (G6) (J7) (L8) (M7) (N8) (O8) (P8) (Q8) (T6) (T10) (V5) (V8) (X6) (Z6) (AB6) (AB8) (AD6) ) :neg :COMPUTED :induction T :constraint NIL :commutative NIL ) (def-pred WIDTH-VERY-SMALL :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (B13) (C4) (E16) (J3) (J10) (M3) (N3) (O3) (P3) (Q3) (T3) (X3) (Z4) (Z11) (AB3) (AB14) ) :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) (L7) (N7) (O7) (Q6) (Q7) (Q13) (T8) (T9) (T10) (T15) (V7) (V8) (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) (J7) (J8) (J12) (L9) (M7) (N6) (O6) (O8) (O10) (P5) (P8) (P9) (Q9) (Q10) (T6) (T7) (T11) (V5) (V6) (V9) (V12) (X6) (Z6) (AB6) (AB10) (AB11) (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) (J2) (J5) (L2) (L3) (L4) (L5) (L6) (L8) (L10) (L12) (L14) (M2) (M5) (M8) (N2) (N5) (N8) (O2) (O4) (O5) (O9) (P2) (P6) (Q5) (Q8) (Q12) (T2) (T5) (V2) (V4) (X2) (X4) (X5) (Z2) (Z5) (AB2) (AB5) (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) (J4) (J6) (J9) (J13) (J14) (L11) (L15) (M4) (M6) (M11) (M12) (N4) (N9) (N12) (O11) (O13) (P4) (P7) (P10) (P12) (Q4) (Q11) (Q15) (T4) (T14) (V3) (V13) (X7) (X8) (X11) (Z3) (Z7) (Z10) (AB4) (AB7) (AB9) (AB13) (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) (L13) (M9) (N10) (T12) (V10) (X9) (AB12) (AD8) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred WIDTH-VERY-LARGE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (J11) (M10) (N11) (O12) (P11) (Q14) (T13) (V11) (X10) (Z8) (Z9) (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) (J3) (J8) (J9) (J10) (J12) (L10) (L11) (M3) (M8) (M9) (N3) (N9) (N10) (O3) (O9) (O10) (O11) (P3) (P9) (P10) (Q3) (Q10) (Q11) (Q12) (Q13) (T3) (T11) (T12) (V9) (V10) (V12) (X3) (X8) (X9) (Z4) (Z8) (Z11) (AB3) (AB9) (AB10) (AB11) (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) (J6) (J7) (J14) (L3) (L7) (L8) (L9) (L12) (L14) (M6) (M7) (M12) (N6) (N7) (N8) (O6) (O7) (O8) (P5) (P7) (P8) (Q6) (Q7) (Q8) (Q9) (T6) (T7) (T8) (T9) (T10) (T15) (V5) (V6) (V7) (V8) (X6) (X7) (Z6) (Z7) (AB6) (AB7) (AB8) (AB14) (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) (J5) (L6) (M5) (N5) (O5) (P6) (Q5) (T5) (V4) (X5) (Z5) (AB5) (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) (J4) (J13) (M4) (N4) (O4) (P4) (Q4) (T4) (V3) (X4) (Z3) (AB4) ) :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) (L2) (L4) (L5) (L15) (M11) (N12) (O13) (P12) (Q15) (T14) (V13) (X11) (Z10) (AB13) (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) (M10) (N11) (O12) (P11) (Q14) ) :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) (J2) (M2) (N2) (O2) (P2) (Q2) (T2) (V2) (X2) (Z2) (AB2) (AD2) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred HEIGHT-LARGE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A10) (B12) (C12) (J11) (L13) (T13) (V11) (X10) (Z9) (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) (J2) (J3) (J4) (J6) (J7) (J8) (J9) (J10) (J11) (J12) (J14) (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) (T2) (T3) (T4) (T6) (T7) (T8) (T9) (T10) (T11) (T13) (T15) (V2) (V3) (V5) (V6) (V7) (V8) (V10) (V11) (V12) (X2) (X3) (X4) (X6) (X7) (X8) (X10) (Z2) (Z3) (Z4) (Z6) (Z7) (Z8) (Z9) (Z11) (AB2) (AB3) (AB4) (AB6) (AB7) (AB8) (AB9) (AB10) (AB11) (AB12) (AB14) (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) (L11) (M9) (N10) (O9) (O11) (P10) (Q11) (T12) (V9) (X9) ) :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) (J5) (L6) (M5) (N5) (O5) (P6) (Q5) (T5) (V4) (X5) (Z5) (AB5) (AD4) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred TYPE-GRAPHIC :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (E15) (F12) (G12) (V13) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred TYPE-MIXTURE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (A10) (B12) (C15) (D12) (J13) (L15) (M11) (N12) (O13) (P12) (Q15) (T14) (X11) (Z10) (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) (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) (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) (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) (V1 V2) (V1 V3) (V1 V4) (V1 V5) (V1 V6) (V1 V7) (V1 V8) (V1 V9) (V1 V10) (V1 V11) (V1 V12) (V1 V13) (X1 X2) (X1 X3) (X1 X4) (X1 X5) (X1 X6) (X1 X7) (X1 X8) (X1 X9) (X1 X10) (X1 X11) (Z1 Z2) (Z1 Z3) (Z1 Z4) (Z1 Z5) (Z1 Z6) (Z1 Z7) (Z1 Z8) (Z1 Z9) (Z1 Z10) (Z1 Z11) (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) (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) (J2) (J3) (J5) (L2) (L3) (L4) (L6) (L9) (M2) (M3) (M5) (N2) (N3) (N5) (N6) (O2) (O3) (O5) (O6) (P2) (P3) (P6) (Q2) (Q3) (Q5) (Q6) (Q9) (T2) (T3) (T5) (T7) (T8) (V2) (V4) (V6) (X2) (X3) (X5) (Z2) (Z4) (Z5) (AB2) (AB3) (AB5) (AB9) (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) (J4) (J6) (L5) (L7) (M6) (N4) (N7) (O4) (O7) (P4) (P7) (Q4) (Q7) (T9) (V3) (V7) (X4) (X7) (Z3) (Z7) (AB4) (AB7) (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) (J7) (L8) (L10) (M4) (M7) (N8) (O8) (P5) (P8) (Q8) (T4) (T6) (T10) (V5) (V8) (X6) (Z6) (AB6) (AB8) (AB10) (AB11) (AD6) (AD7) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred POSITION-LEFT :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (J8) (J12) (L11) (M8) (N9) (O9) (P9) (Q10) (Q11) (T11) (V9) (X8) ) :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) (J11) (L12) (L13) (M10) (M11) (M12) (N10) (N11) (O10) (O12) (P11) (Q12) (Q14) (T12) (T13) (V10) (V11) (X10) (Z8) (Z9) (AB12) (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) (M9) (N12) (O11) (O13) (P10) (P12) (Q13) (Q15) (X9) ) :neg NIL :induction T :constraint NIL :commutative NIL ) (def-pred POSITION-BOTTOM-LEFT :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (B13) (C14) (V12) (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) (X11) ) :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) (L15) (T15) (V13) (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) (J5 J8) (J7 J9) (J11 J12) (J13 J14) (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) (T5 T11) (T6 T12) (T9 T12) (T10 T12) (T13 T14) (V4 V9) (V5 V10) (V6 V10) (V7 V10) (V8 V10) (V11 V12) (X5 X8) (X6 X9) (X10 X11) (Z5 Z8) (Z6 Z8) (Z7 Z8) (Z9 Z10) (AB5 AB9) (AB8 AB11) (AB9 AB12) (AB11 AB12) (AB12 AB13) (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) (J2 J3) (J5 J6) (J9 J10) (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) (T2 T3) (T5 T8) (T5 T7) (T14 T15) (V9 V10) (V4 V6) (V6 V7) (V8 V5) (X8 X9) (X2 X3) (X5 X7) (Z2 Z4) (Z5 Z7) (AB5 AB7) (AB2 AB3) (AB13 AB14) (AB11 AB10) (AB8 AB6) (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) (J3 J6) (J5 J8) (J11 J12) (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) (T3 T8) (T5 T11) (V4 V9) (V11 V12) (X3 X7) (X4 X11) (X5 X8) (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) (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) (X10 X11) (Z8 Z9) (AB4 AB8) (AB6 AB14) (AB11 AB12) (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) (J13 J14) (M11 M12) (N7 N11) (P4 P11) (Q12 Q15) (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) (L2 L4) (L4 L6) (M2 M5) (N2 N5) (O2 O5) (P2 P6) (Q2 Q5) (T2 T5) (V2 V4) (X2 X5) (Z2 Z5) (AB2 AB5) (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) (L9 L7) (N3 N4) (Q9 Q7) (T3 T4) (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) (J5 J6) (L6 L9) (L9 L8) (M5 M6) (N5 N6) (O5 O6) (P6 P7) (Q5 Q6) (Q9 Q8) (T5 T8) (V2 V3) (V4 V6) (X2 X4) (X5 X7) (Z5 Z7) (AB5 AB7) (AB13 AB14) (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) (J8 J9) (J6 J7) (J9 J10) (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) (T11 T12) (T8 T9) (T7 T6) (T9 T10) (V9 V10) (V6 V7) (V7 V8) (X8 X9) (X7 X6) (Z7 Z6) (AB9 AB11) (AB7 AB8) (AB11 AB10) (AB8 AB6) (AD5 AD6) (AD8 AD7) ) :neg NIL :induction T :constraint NIL :commutative NIL )