;;;______________________________________________________ ;;; Types (def-type ELEMENT H1 H2 H3 H4 H5 H6 H7 H8 H9 H10 H11 H12 H13 H14 H15 H16 K1 K2 K3 K4 K5 K6 K7 K8 K9 K10 K11 K12 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 L11 L12 L13 L14 L15 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 R1 R2 R3 R4 R5 R6 R7 R8 R9 R10 R11 U1 U2 U3 U4 U5 U6 U7 U8 U9 U10 U11 U12 V1 V2 V3 V4 V5 V6 V7 V8 V9 V10 V11 V12 V13 W1 W2 W3 W4 W5 W6 W7 W8 W9 W10 W11 W12 W13 W14 ) ;;;______________________________________________________ ;;; Predicates - Extensionally Defined Relations (def-pred LOGIC_TYPE-SENDER :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (H2) (H3) (K2) (L2) (L3) (L4) (N2) (O2) (P2) (R2) (U2) (V2) (W2) ) :neg :COMPUTED :induction NIL :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-RECEIVER :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (H4) (K4) (L5) (N4) (O4) (P4) (P5) (R4) (U4) (V3) (W3) (W5) ) :neg :COMPUTED :induction NIL :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-LOGO :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (H5) (K5) (L6) (N5) (O5) (P6) (R5) (U5) (V4) (W6) ) :neg :COMPUTED :induction NIL :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-REF :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (H6) (H7) (K6) (L7) (L9) (N6) (N7) (O6) (O7) (P7) (R6) (U6) (V6) (V7) (W8) (W9) ) :neg :COMPUTED :induction NIL :constraint NIL :commutative NIL ) (def-pred LOGIC_TYPE-DATE :vars (?BLOCK) :type (ELEMENT) :mode NIL :pos ( (H8) (H9) (K7) (L8) (N8) (O8) (P8) (R7) (U7) (V5) (V8) (W10) (W7) ) :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) (EY-Y-YA2) (A17) (L87) (L873) (AA63) (AA63 W W 9) (N10) (C5) (C5) A9 A9 -ONLE U1 U(-C10) F,UQ11)Q11)Q) (X1 9) )9) )91) (R 92) (AB212 V21 A5-SMAL-SMAL-8) (AB108) (AB108JJJIC77J5) (Z56I1) (G121) (G1215) (D1mode NIL mode NIL m1 K91 K912) (C13 1mode NIL mode NIL m6) (AB46) (AB46I6I6I) (AA1 1 D11 D11tive Ntive Nt1 AA8 K8 K8 (CO4) (OO4) (OOL :va1 AB51 AB51(ELEMENdu1A3)EMENT) 6) (T7)6) (K1LEMENT)LEMENT)LTy9L T3 T) (def-p) (def-p)4) (AD4 1)A3)C10)) (A1 D8r (T (T L L L12) (Q1E0L2) (G11 D8 D8 G66 O3 O3 3) (J5 ) (AA3W6W6Wtraint ) (X) (X)G5,)) (F5naA3) ef-prs (?) (S6)5) (AA85) (AA85&&&1) (AMED4) (Y6) 4) (Y6) 4 (L1 2A)49) (D1T :varsT :varsTK) :K) :K1 O65) (MACEIG2) (J3) :neg NIL ) :neg NIL )2) (V2N5) (O15) (O154) (J6)F12F12FL :comNF2) (E1 L10H165) (O19) (H1 UM2) (S2 NIL :pos NIL :pos O910) (Dypypy3) (AA6 :vars (?BLO (ELEX1 X1def-pre2) (DM-Sind10) (D8) (H98) (H98ommutommutoA2) (A1A2) (A1A10) (H10) (H1(H3(H3(1 I8O4) (O) (V4E141 K11 K11 (X1 71A2) (A1) (T1 ) (T1 )D1 N7) utative7) (AC31 J11 J11 (AC76) (N1K7)K7)KK :m01 A4) (U1 U) (S1 S1 D9M7M7M8) (K113) (AB13) (AB1A T T AB121 A9) (O99) (O99 (D1 ) (Q8)ars ars apos 3) (H5) (O1 :vars s () (X9 :constOTT K8yp1 AD9O4) (O :vars (?BLO :vars (?BLO N11)4) (U6D991ELEMENN10 (D10-RI-RI-5) (A19) (ZW13) E26) (KF11F11F ) )F) (X9 4) (A1:va5) )10) (D10) (D113) (AD2) (L1 ) (X1) (G17) (AC8)7) (AC8)7P9)1 A44) (W14) (W14D1 DD1 DD9) (P91 K71 K71 T22)7) (U7) (U7os ( (A2os ( (A2o) (E74) (L) (M6) (M6)O7) (V3) 1 A413) (AB2) (V3)6) (O16) (O16K11)0) (AD0) (AD0LOCK) LOCK) L7 C1S17L2) (O115 5) (L65) (L65T :varsTT :varsTT T : T : 6) (T7)6) 4 W4 W412) (X912) (X912) (D11 1nt nt nK) :typ8) (H98) (H98 :neg NILA8W51) (GX5X5X O1O13) (V1 2) (Y3ductionductiond7) (AB87) (E6)) :neg NIL :commyp0) (A0) (A03) (AC5801 A) (L3)) (L3))7) (AC316) (T16) (T1E) (U4) (U4)9) (C10 :vars (?BLOCK) 3) (AC6L :va1L :va1L L20) (X0) (X0 B11)J0S16)0 1 D91 D91) (M2 NIL :cL Q15Q15QininiN-BMEi) (O9) (O9)O4) (OO4) (OO(A9 MOL :va1LA(3) (X5 L1 A1 A1 ( (C 1TYPE-TYPE-T) :neg NIL ) :neg NIL )1) (R )) (T1A2) (A1 (V1 21) (R 19) (D1 :type mode NILAB6AB6A2) (Y2uction XT (D10 (D10 (D1 A1 A1A9A9A1) (GX1) (GX13) (X 19) ) 033) (Z43) (Z43 ( (AO3) ) 2) 9) (J109) (J109 ductiondA N9 :co) (Q6(T3) (Q3) (Q3) (P) (P)2) (G11 NIL :commARGU11U11UB10) 7) (TS19 T :14) (T119) (A1 :vars (?BLO :vars (?BLO F6F6F11) (P4) (Y65) (A10) (AD0H-V) (AB) (AB)C9) (P)7) (S8)6) (ABtraint -R4) (BM314) (F8 R W5 (AC7uctio5) (V41 O1) (AB1 A P1 P1 7) (I1) 7) (S8)7) (S8)7 ( (B8 U7) 231 A75) (S1615) (S16154) (B6 5-LI-LI-RGE 7) (Z87) (Z871 C91 C91ducducdTOTOT9) (N12TOV8)2) (C151 O10) (E10) (E10L :comN04) (E1 E46 W5) (G75) (G75 V1 5) (J4) (J4)NIL :induc4) (W1 8) (AA10) (E11 O1LEF) (R7)16)9) (JnstrF8ERYS16S16S2) (S2 2) (S2 2 :vars (?BLO 12 (X1 7 T T V12) O90) (E111) (D50) (E1A9B14) (B14) (B) (S4O4) (OO4) (OO2) (Y3d0) (K810) (Jyp8yp8y8) (L98) (L982) (W6486) (J6) (J6mmutativemmutativem ) 6m2 2 2) (C6dddC5C5C6) (AB65C7 U7 U7F2) 1) (AC8 M10M10Ms (?BLOs (?BLOsD6) )LsE11 DLIGtED-BLRYnstrFnstrFnA5A5A (A (A 3) (Z7 3, 10) (O1883T7Y41 E11 E115) (Dtion tion tOCK) E1 E1 8) (H99 (Z 812 R12 R1) (AC6213) (J87)K) :tint3 :neg8 8 81 V1 V14) (I714 :neg NILAE 7 ) (T16) (AA56) (AA565) (B3T1 T5) (E90) (E10) (E103) (J50V6)43V N N (K46 2) (AC112) (G112) (G1125) (R4428) (Q68) (Q68 (D10 (D10 P8)LOGILOGIL11) (AC)LUM-UM-U3) (Z79U H31) (GX7) (O41) (R 191) (R 1911type (type (tMEDIU72MEDIU72M:va7) (T17) (T171 G6)71N12N12NION-ION-I1 U1HEIGH3 V3 HintJJJC5) C5) C2) (C1 EDIL11N55 KED ED E NIL :commA5E(?B P8) ) M7T2T2TM10Mpos pos pive N13) (B1 4) (C1 ) (I3) (I3)1 A4 F4 F4 ) (J1 9) (E19) (E1910) (D110) (D114) (C1 C14) (C1 C1446) (NO)(?BLOCK7) (T86) (B4U7) 23U7) 23U5) (S1615) (S16159) (DACE11 E1 I8IL :commuD2)1 D91 D912) (L132) (L1321 O) (S1 S6) (N1K G7 G7 3) (J873NLE-P5) 31 S17) (W1 ) (W1 ) (AC7 (AC7 ) (S4O (?B (B1 ( (5) (S65) (S651 O1075K7)K10) (Y10) (Y10) (AD0) (X9 )) (X9 ))K7)K1K7)K1K8) (E1vars vars v7) (N8)7) (J47) (J470) (AD0DI11) (B81 D1 NIL :commA5 NIL :commA5 7 C1X 11) (P5) (O15) (O156) (ZLEF) M) ) 1 U1HP10) (Y1ns ns n5) (V4)L13)L13)L3) (Z7 3,L8) ) M8) ) M86) (O6 (AC5 (AC5 MEDIUM8 :typ :typ V5)1 :mode :mode 8) (W9)ref-13) (Q13) (Q13) (F1 116) (T5N12) 5 1 K125) (U5 :neg NILA 8) (AB108) (AB108 (B11____8) (M9de 2) (AC4H165Q3N2) re NIL (W (W ) (AB1 (W (W B143) (R83) (R838)OCOCO :type :type reLIG7 0) (A0 (r0) (AD0) (AD0) (W6 O6) (AA56) (AA56 (X1 769) (B1 9) (B1 94) (AD891 Z41 Z41F2) 1 8) (AA5 :type 12) (X12) (X11 V1 S17) (B2,14) (A1:4) (A1:4N12)N12)NL10D3) (D3) (D) (H1v...-prons3) (A83) (A832) 92) (T21 A7) (P8) (P8)O1 O1 OP8)L-RI-6) (N1K9) (I10) (O9 ( ( 1) (B12) (Z10 G71 H61 H61 :con1 S171 S171(Z (Gt1NIL :induc4C11) 8) (AB10rd LstrR7ion ) (D97) (AC8)5) (S1615) (S1615 E4ERYSERYSEred HAEU1 U(UU1 U(UU0) (D0) (D03) (DX01 O6 3:typ:typ:0) (A0 (:nt N1 H41 H419) (J10) (Y11ars (ars (a3) (AD1 3)8a M 3IL :commuD2 ( I NIL :coD-O 1 U1HP D721) (K 46Dcommut )) (U12) (U12) A9 A9 0) (S10) (S104) (A560:pos :pos : C41:A2) (A17) O7) (V6A1 W1D6) 7) (B (EL) (J1 :indK6)K6)Kstr,KN-B s9) (AD29) (AD29type (ELtype (ELtX3t8) ) M16) D6) )LDW6W6W7) (L8 (D (D LEMENT)LEMENT)Lde 2 Ld) (S19)1D2) XT3) (AA613) (ABT LAR9) (DA8) (K18) (K18s C10 (OK11) (K11) (K (AC7 (AC7 8) (C114) (W1 Z2) 6) (O67) (K1 EIE147) (X11 O12 (def-pr2) (def-pr2) L1 L1 V1 8) (E12) (P12) (L1 L5) (E95) (E95) (L3))68r5 :indstraistraisS sT2T2TIL :commE T0) (K16) (K11) K11) KH115) (M5) (M59 Ron eg eg e) (AD3 R49) (C1 9) (C1 9W2)1) (A1) (A1Z11Z11ZD6) )LZ5) (I9ns (AB6) (S6) (S6N7) u7) (W84N50) (E100) (E100F314)s O O O (EO10) 10) (IB10) VER (defQ2)6) (O6:mod1 Z411 Z4115 f12) (G2,ILALAL2) (T311) (P1 (B11_)e (E14) (F6) (T79) (AC19) (AC199) (L19) (L19 G74) (Q7pe (ELEpe (ELEpvars vars vC5CB4v7) (AC311 AC5) )1 2) (AC4H) (P)O OXT XT XNIL :poNIL :poN11) (O211) (O2115)8) (B9-ME) :type ) :type )12) (CF11) (GV5)1 VV5)1 VV9) (A1 9) (A1 9 U5 U5 ) (V1 VNIL )NIL )N8 MLN6) (O1) (U1 U2) (T212) (AA53) (J53A10)B12)B12)BA9 BCK) 6) (C96) (C96 (A75) (S7) (AB876) (J66) (J66H813) (AD22) (T2122) (T2122Q15Qstr,3) (J1 J8s10) (E810) (E813) (H23) (H231 G12131 G12113) (Q1&5) (E15) (E15"wLOCK ) :ty) :ty)B12B12B) (S2) (S2)1 O8)4) (Y71 A9) 1 Z411O9O9O :n :n ion TNE iY56) (Q7)6) (Q7)6 (AB K8 K8 3) (J53H) (M) (M)0) (AD2 V2 V2 (H1 (A2) (X6) (X6)R8) NIL :po NIL ) O7) B9)XT U6on T4) (R24) (R24 )5 f5traint ) :ty) Aive NI-VE-VE-t NI (ELE9) (O1 ons) (Z2I1 AA AA H16512) (X312) (X319) (D1T 1 L40) (ICK) 6NdiTH D89) (AC29) (AC29N-B N6) (O6LALLALLK8)K8)K9) (L11 A61 A613) (H1 11 (AC50) (K8in7)1AC12) (Y3d03 K4) (W14G78OCK) str,sstr,ss2) (O115 s) (R7)) (R7))P8)L-7)7) (ABs LEMENT) LEMENT) L1 AC2) (L1 L17) (P7) (P7 (K9273) (H1 3R3) (H1 3R3in7)1Ain7)1AiBLOCK)1) (W13) (ADA3)E2) (Y2) (Y2EMENT) :12) (H144) (R13) (J1(C1Y12Y12Y7) (T12,Yucticts NIL :i,Ue NIL )3) (M1g NI) (O13) (S19)1)ACEred TYP) (T1 ) C41 4) (AD8416) (Q8) ) M8DI2) (S2 2 3) (O (V213) (H0) (AD0DductC5) CR6) R6) RT1 5) ) (U5) U5) U0) (N1 H3) (C6H15)13) (T) (C6A1 AERYSE_________D6) )LDW5) )1 ) (X9 F2) 1 8F2) 1 8F3) (RY12Y :vars :vars 6) (AB80) (N1 3) (K1 (A71) (A71) -SMA7 Wneg :modeU7)V6)) :neg NIL 3) (Z43) (Z433) (R83) (R830) (AD0G4 :constO :constO Q11s A10)1 OLOCK )2C13)C13)CLEMENT)O4) (OO4) (OOR11) D18) (ABK12)jjj5) (AD8) (L3)os ( (Aos ( (AoIL :commEo :ty1 K1) 8) (O1 R ;;) (E1 L10T11)2) (ACW2)1W2)1W6) (G1 W) (L53) (F46) (AB4K) :3) (S14)9) (S13)5) (AA86) (D16) (D166) (K16) (K16H163) (AC68) (ABB12)B2) (A8) (G9) T2 T2 6) (AC107)) (L15)) (L15))6) (K1 NIL CK) NT) :m (V AC1e NIL )32) (J3) L1 5) (M1 ) (AA5 2) (K9 :co8) (AB68) (AB68F31 T :cotive NInstrFn (defQ X9) (N60) (ICons0) (O9 815) (R55) (R558) (O1 2 W2 W26) (K1type (E1 L811) (B9 (U (U nstrF)7 5) (B6A1 AAA1 AAA3) (AA6-RItype (ttype (E1M2in7)1in7)1iinducti) (K1 O90) (X01, t0) (X01, t0 H) (X91 A41 A41C11) 8C11) 8CK12)js (?BLOs (?BLOs9) (T1(ELEMENT1 H82) (N102) (N1025) (S161510) ) AC1 3 L4) (R24:m55) (S16155) (S16155) (AA3WP2P2P0 L(A9 H3M M M9) (L195M5) (W7A94) (J75type (E1T :varsTvvN12) 5 8?BLOCK) -D-D-5) (A101-2) (Y3dint NILint NILiALL14) (F814) (F813) (H1 41