;;;______________________________________________________
;;; 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
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
H1
H2
H3
H4
H5
H6
H7
H8
H9
H10
H11
H12
H13
H14
H15
H16
I1
I2
I3
I4
I5
I6
I7
I8
I9
I10
I11
I12
I13
M1
M2
M3
M4
M5
M6
M7
M8
M9
M10
M11
M12
P1
P2
P3
P4
P5
P6
P7
P8
P9
P10
P11
P12
R1
R2
R3
R4
R5
R6
R7
R8
R9
R10
R11
S1
S2
S3
S4
S5
S6
S7
S8
S9
S10
S11
S12
S13
S14
S15
S16
S17
S18
S19
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
X1
X2
X3
X4
X5
X6
X7
X8
X9
X10
X11
Y1
Y2
Y3
Y4
Y5
Y6
Y7
Y8
Y9
Y10
Y11
Y12
Z1
Z2
Z3
Z4
Z5
Z6
Z7
Z8
Z9
Z10
Z11
AA1
AA2
AA3
AA4
AA5
AA6
AA7
AA8
AA9
AA10
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
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   (
(C2)
(C3)
(D2)
(D3)
(E2)
(F2)
(G2)
(H2)
(H3)
(I2)
(M2)
(P2)
(R2)
(S2)
(V2)
(W2)
(X2)
(Y2)
(Z2)
(AA2)
(AB2)
(AC2)
(AD2)
)
  :neg   :COMPUTED
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred LOGIC_TYPE-RECEIVER
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(C5)
(D4)
(D5)
(D6)
(E3)
(E4)
(E5)
(F3)
(F4)
(G3)
(G4)
(H4)
(I4)
(M4)
(P4)
(P5)
(R4)
(S4)
(S5)
(V3)
(W3)
(W5)
(X4)
(Y4)
(Z3)
(AA3)
(AB4)
(AC3)
(AD3)
)
  :neg   :COMPUTED
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred LOGIC_TYPE-LOGO
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(C6)
(D7)
(E6)
(F5)
(G5)
(H5)
(I5)
(M5)
(P6)
(R5)
(S6)
(V4)
(W6)
(X5)
(Y5)
(Z5)
(AA4)
(AB5)
(AC4)
(AD4)
)
  :neg   :COMPUTED
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred LOGIC_TYPE-REF
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(C7)
(D9)
(E7)
(E10)
(F7)
(F8)
(G8)
(H6)
(H7)
(I7)
(M6)
(P7)
(R6)
(S10)
(S9)
(V6)
(V7)
(W8)
(W9)
(X7)
(Y6)
(Z7)
(AA6)
(AB7)
(AC6)
(AD5)
)
  :neg   :COMPUTED
  :induction    T 
  :constraint   NIL
  :commutative  NIL
  )

(def-pred LOGIC_TYPE-DATE
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(C8)
(D8)
(E8)
(E9)
(F6)
(G6)
(H8)
(H9)
(I8)
(M7)
(P8)
(R7)
(S8)
(S7)
(V5)
(V8)
(W10)
(W7)
(X6)
(Y7)
(Z6)
(AA5)
(AB6)
(AB8)
(AC5)
(AD6)
)
  :neg   :COMPUTED
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred WIDTH-VERY-SMALL
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(C4)
(E16)
(H8)
(H15)
(I3)
(I12)
(I13)
(J3)
(M3)
(P3)
(R3)
(S3)
(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   (
(D6)
(D9)
(E4)
(E5)
(E7)
(E8)
(E10)
(E11)
(F7)
(F8)
(G8)
(G13)
(H7)
(S8)
(S9)
(S10)
(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   (
(C8)
(C9)
(C10)
(C14)
(C16)
(D5)
(E9)
(F4)
(F9)
(F10)
(F13)
(G6)
(G9)
(H9)
(H12)
(H16)
(I6)
(M7)
(P5)
(P8)
(P9)
(S7)
(S11)
(S12)
(S13)
(S14)
(S15)
(S16)
(S19)
(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   (
(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)
(M2)
(M5)
(M8)
(P2)
(P6)
(R2)
(R5)
(R7)
(S2)
(S4)
(S5)
(S6)
(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   (
(C5)
(C7)
(C11)
(C13)
(C15)
(D4)
(D12)
(E14)
(F12)
(G7)
(G11)
(H2)
(H4)
(H14)
(I4)
(I7)
(I11)
(M4)
(M6)
(M11)
(M12)
(P4)
(P7)
(P10)
(P12)
(R4)
(R6)
(R9)
(R11)
(S18)
(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   (
(C12)
(D11)
(E13)
(F11)
(G10)
(H13)
(M9)
(R8)
(S17)
(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)
(M10)
(P11)
(R10)
(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   (
(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)
(M3)
(M8)
(M9)
(P3)
(P9)
(P10)
(R3)
(R8)
(R9)
(S3)
(S11)
(S12)
(S13)
(S14)
(S15)
(S16)
(S19)
(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   (
(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)
(M6)
(M7)
(M12)
(P5)
(P7)
(P8)
(R6)
(R7)
(S5)
(S7)
(S8)
(S9)
(S10)
(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   (
(C6)
(D4)
(D7)
(E6)
(F5)
(G3)
(G5)
(G7)
(H5)
(I5)
(M5)
(P6)
(R5)
(S4)
(S6)
(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   (
(E3)
(F3)
(F12)
(G12)
(H4)
(H14)
(I4)
(M4)
(P4)
(R4)
(S18)
(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)
(M11)
(P12)
(R11)
(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   (
(D11)
(E13)
(F11)
(G10)
(I10)
(M10)
(P11)
(R10)
(S17)
(AC11)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred HEIGHT-MEDIUM-LARGE
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(E2)
(F2)
(G2)
(I2)
(M2)
(P2)
(R2)
(S2)
(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   (
(C12)
(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   (
(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)
(M3 M6)
(M9 M12)
(P3 P7)
(P6 P9)
(P10 P12)
(R3 R6)
(R5 R8)
(S2 S6)
(S3 S10)
(S6 S16)
(S14 S17)
(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   (
(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)
(M4 M7)
(P8 P12)
(R10 R11)
(S3 S15)
(S5 S12)
(S12 S17)
(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)
(M11 M12)
(P4 P11)
(R7 R9)
(S13 S17)
(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   (
(F2 F5)
(M2 M5)
(P2 P6)
(R2 R5)
(S11 S19)
(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)
(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   (
(C6 C7)
(D7 D9)
(E6 E10)
(E3 E4)
(F5 F7)
(F8 F6)
(F3 F4)
(G5 G8)
(G9 G7)
(G8 G6)
(H5 H6)
(I5 I8)
(M5 M6)
(P6 P7)
(R5 R6)
(S6 S10)
(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)
(P4 P5)
)
  :neg          NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred ALIGNED-BOTH-ROWS
  :vars  (?BLOCK ?BLOCK)
  :type  (ELEMENT ELEMENT)
  :mode  NIL
  :pos   (
(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)
(M8 M9)
(M6 M7)
(P9 P10)
(P7 P8)
(R8 R9)
(R6 R7)
(S16 S15)
(S15 S14)
(S10 S9)
(S14 S13)
(S9 S8)
(S13 S12)
(S12 S11)
(S8 S7)
(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
  )