;;;______________________________________________________
;;; 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
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
I1
I2
I3
I4
I5
I6
I7
I8
I9
I10
I11
I12
I13
J1
J2
J3
J4
J5
J6
J7
J8
J9
J10
J11
J12
J13
J14
K1
K2
K3
K4
K5
K6
K7
K8
K9
K10
K11
K12
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
R1
R2
R3
R4
R5
R6
R7
R8
R9
R10
R11
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
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
AA1
AA2
AA3
AA4
AA5
AA6
AA7
AA8
AA9
AA10
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)
(E2)
(F2)
(G2)
(I2)
(J2)
(K2)
(M2)
(N2)
(O2)
(P2)
(Q2)
(R2)
(T2)
(V2)
(W2)
(X2)
(AA2)
(AD2)
)
  :neg   :COMPUTED
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred LOGIC_TYPE-RECEIVER
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A3)
(B4)
(E3)
(E4)
(E5)
(F3)
(F4)
(G3)
(G4)
(I4)
(J4)
(K4)
(M4)
(N4)
(O4)
(P4)
(P5)
(Q4)
(R4)
(T4)
(V3)
(W3)
(W5)
(X4)
(AA3)
(AD3)
)
  :neg   :COMPUTED
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred LOGIC_TYPE-LOGO
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A4)
(B5)
(E6)
(F5)
(G5)
(I5)
(J5)
(K5)
(M5)
(N5)
(O5)
(P6)
(Q5)
(R5)
(T5)
(V4)
(W6)
(X5)
(AA4)
(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)
(E7)
(E10)
(F7)
(F8)
(G8)
(I7)
(J6)
(K6)
(M6)
(N6)
(N7)
(O6)
(O7)
(P7)
(Q6)
(Q7)
(Q9)
(R6)
(T7)
(T8)
(T9)
(V6)
(V7)
(W8)
(W9)
(X7)
(AA6)
(AD5)
)
  :neg   :COMPUTED
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred LOGIC_TYPE-DATE
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A7)
(B8)
(E8)
(E9)
(F6)
(G6)
(I8)
(J7)
(K7)
(M7)
(N8)
(O8)
(P8)
(Q8)
(R7)
(T6)
(T10)
(V5)
(V8)
(W10)
(W7)
(X6)
(AA5)
(AD6)
)
  :neg   :COMPUTED
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred WIDTH-VERY-SMALL
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(B13)
(E16)
(I3)
(I12)
(I13)
(J3)
(J10)
(K3)
(M3)
(N3)
(O3)
(P3)
(Q3)
(R3)
(T3)
(W4)
(X3)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred WIDTH-SMALL
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A5)
(A6)
(B6)
(B7)
(E4)
(E5)
(E7)
(E8)
(E10)
(E11)
(F7)
(F8)
(G8)
(G13)
(N7)
(O7)
(Q6)
(Q7)
(Q13)
(T8)
(T9)
(T10)
(T15)
(V7)
(V8)
(W9)
(W10)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred WIDTH-MEDIUM-SMALL
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A7)
(A11)
(B14)
(E9)
(F4)
(F9)
(F10)
(F13)
(G6)
(G9)
(H9)
(I6)
(J7)
(J8)
(J12)
(K7)
(K11)
(M7)
(N6)
(O6)
(O8)
(O10)
(P5)
(P8)
(P9)
(Q9)
(Q10)
(T6)
(T7)
(T11)
(V5)
(V6)
(V9)
(V12)
(W5)
(W7)
(W8)
(X6)
(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)
(E2)
(E3)
(E6)
(E12)
(F2)
(F3)
(F5)
(F6)
(G2)
(G3)
(G4)
(G5)
(G12)
(I2)
(I5)
(I8)
(J2)
(J5)
(K2)
(K5)
(M2)
(M5)
(M8)
(N2)
(N5)
(N8)
(O2)
(O4)
(O5)
(O9)
(P2)
(P6)
(Q5)
(Q8)
(Q12)
(R2)
(R5)
(R7)
(T2)
(T5)
(V2)
(V4)
(W2)
(W6)
(X2)
(X4)
(X5)
(AA2)
(AA4)
(AA5)
(AA7)
(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)
(E14)
(F12)
(G7)
(G11)
(I4)
(I7)
(I11)
(J4)
(J6)
(J9)
(J13)
(J14)
(K4)
(K6)
(K8)
(K12)
(M4)
(M6)
(M11)
(M12)
(N4)
(N9)
(N12)
(O11)
(O13)
(P4)
(P7)
(P10)
(P12)
(Q4)
(Q11)
(Q15)
(R4)
(R6)
(R9)
(R11)
(T4)
(T14)
(V3)
(V13)
(W3)
(W12)
(X7)
(X8)
(X11)
(W14)
(AA3)
(AA6)
(AA8)
(AA10)
(AD5)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred WIDTH-LARGE
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A9)
(A10)
(B11)
(B12)
(E13)
(F11)
(G10)
(K9)
(M9)
(N10)
(R8)
(T12)
(V10)
(W11)
(X9)
(AA9)
(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)
(V11)
(W13)
(X10)
(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)
(E8)
(E10)
(E11)
(E12)
(F8)
(F9)
(F10)
(F13)
(G8)
(G9)
(G13)
(I3)
(I6)
(I9)
(I12)
(J3)
(J8)
(J9)
(J10)
(J12)
(K3)
(K8)
(K9)
(M3)
(M8)
(M9)
(N3)
(N9)
(N10)
(O3)
(O9)
(O10)
(O11)
(P3)
(P9)
(P10)
(Q3)
(Q10)
(Q11)
(Q12)
(Q13)
(R3)
(R8)
(R9)
(T3)
(T11)
(T12)
(V9)
(V10)
(V12)
(W4)
(W11)
(W12)
(X3)
(X8)
(X9)
(AA7)
(AA8)
(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)
(E4)
(E5)
(E7)
(E9)
(E14)
(E16)
(F4)
(F6)
(F7)
(G4)
(G6)
(G11)
(I7)
(I8)
(I13)
(J6)
(J7)
(J14)
(K6)
(K7)
(K11)
(M6)
(M7)
(M12)
(N6)
(N7)
(N8)
(O6)
(O7)
(O8)
(P5)
(P7)
(P8)
(Q6)
(Q7)
(Q8)
(Q9)
(R6)
(R7)
(T6)
(T7)
(T8)
(T9)
(T10)
(T15)
(V5)
(V6)
(V7)
(V8)
(W5)
(W7)
(W8)
(W9)
(W10)
(X6)
(X7)
(AA5)
(AA6)
(AD5)
(AD6)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred HEIGHT-VERY-SMALL
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A4)
(B5)
(E6)
(F5)
(G3)
(G5)
(G7)
(I5)
(J5)
(K5)
(M5)
(N5)
(O5)
(P6)
(Q5)
(R5)
(T5)
(V4)
(W6)
(X5)
(AA4)
(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)
(I4)
(J4)
(J13)
(M4)
(N4)
(O4)
(P4)
(Q4)
(R4)
(T4)
(V3)
(W3)
(X4)
(AA3)
(AA10)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred HEIGHT-MEDIUM-SMALL
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(E15)
(I11)
(K12)
(M11)
(N12)
(O13)
(P12)
(Q15)
(R11)
(T14)
(V13)
(W14)
(X11)
(AD3)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred HEIGHT-MEDIUM
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A9)
(B11)
(E13)
(F11)
(G10)
(I10)
(M10)
(N11)
(O12)
(P11)
(Q14)
(R10)
)
  :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)
(T2)
(V2)
(W2)
(X2)
(AA2)
(AD2)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred HEIGHT-LARGE
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A10)
(B12)
(J11)
(K10)
(T13)
(V11)
(W13)
(X10)
(AA9)
)
  :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)
(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)
(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)
(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)
(T2)
(T3)
(T4)
(T6)
(T7)
(T8)
(T9)
(T10)
(T11)
(T13)
(T15)
(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)
(AA2)
(AA3)
(AA5)
(AA6)
(AA7)
(AA8)
(AA9)
(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)
(M9)
(N10)
(O9)
(O11)
(P10)
(Q11)
(R9)
(T12)
(V9)
(W12)
(X9)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred TYPE-PICTURE
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A4)
(B5)
(E6)
(F5)
(G5)
(I5)
(J5)
(K5)
(M5)
(N5)
(O5)
(P6)
(Q5)
(R5)
(T5)
(V4)
(W6)
(X5)
(AA4)
(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)
(H14)
(I11)
(J13)
(K12)
(M11)
(N12)
(O13)
(P12)
(Q15)
(R11)
(T14)
(W14)
(X11)
(AA10)
(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)
(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)
(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)
(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)
(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)
(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)
(AA1 AA2)
(AA1 AA3)
(AA1 AA4)
(AA1 AA5)
(AA1 AA6)
(AA1 AA7)
(AA1 AA8)
(AA1 AA9)
(AA1 AA10)
(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)
(E2)
(E6)
(E10)
(F2)
(F5)
(F7)
(G2)
(G5)
(G8)
(G9)
(I2)
(I3)
(I5)
(J2)
(J3)
(J5)
(K2)
(K3)
(K5)
(M2)
(M3)
(M5)
(N2)
(N3)
(N5)
(N6)
(O2)
(O3)
(O5)
(O6)
(P2)
(P3)
(P6)
(Q2)
(Q3)
(Q5)
(Q6)
(Q9)
(R2)
(R3)
(R5)
(T2)
(T3)
(T5)
(T7)
(T8)
(U2)
(U3)
(U5)
(V2)
(V4)
(V6)
(W2)
(W4)
(W6)
(W8)
(X2)
(X3)
(X5)
(AA2)
(AA4)
(AA7)
(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)
(E3)
(E7)
(F3)
(F8)
(G3)
(G7)
(I4)
(I6)
(I7)
(J4)
(J6)
(K4)
(K6)
(M6)
(N4)
(N7)
(O4)
(O7)
(P4)
(P7)
(Q4)
(Q7)
(R4)
(R6)
(T9)
(V3)
(V7)
(W9)
(X4)
(X7)
(AA3)
(AA6)
(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)
(E4)
(E5)
(E8)
(E9)
(E11)
(E12)
(F4)
(F6)
(F9)
(F10)
(G4)
(G6)
(I8)
(J7)
(K7)
(M4)
(M7)
(N8)
(O8)
(P5)
(P8)
(Q8)
(R7)
(T4)
(T6)
(T10)
(V5)
(V8)
(W3)
(W5)
(W7)
(W10)
(X6)
(AA5)
(AA8)
(AD6)
(AD7)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred POSITION-LEFT
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(J8)
(J12)
(K9)
(M8)
(N9)
(O9)
(P9)
(Q10)
(Q11)
(R8)
(T11)
(V9)
(W11)
(X8)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred POSITION-CENTER
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A8)
(A9)
(B9)
(B11)
(E13)
(E16)
(F11)
(G10)
(I9)
(I10)
(I11)
(J11)
(K10)
(M10)
(M11)
(M12)
(N10)
(N11)
(O10)
(O12)
(P11)
(Q12)
(Q14)
(R10)
(R11)
(T12)
(T13)
(V10)
(V11)
(W13)
(X10)
(AA9)
(AD9)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred POSITION-RIGHT
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(B10)
(E14)
(F12)
(G11)
(G12)
(J9)
(J10)
(K8)
(M9)
(N12)
(O11)
(O13)
(P10)
(P12)
(Q13)
(Q15)
(R9)
(W12)
(X9)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred POSITION-BOTTOM-LEFT
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(B13)
(K11)
(V12)
)
  :neg   NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )

(def-pred POSITION-BOTTOM
  :vars  (?BLOCK)
  :type  (ELEMENT)
  :mode  NIL
  :pos   (
(A10)
(B12)
(J13)
(J14)
(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)
(E15)
(F13)
(G13)
(I12)
(I13)
(K12)
(T15)
(V13)
(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)
(E4 E8)
(E5 E9)
(E9 E12)
(E13 E14)
(E14 E15)
(F4 F6)
(F6 F10)
(F11 F12)
(G4 G7)
(G5 G9)
(G10 G11)
(G11 G12)
(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)
(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)
(T5 T11)
(T6 T12)
(T9 T12)
(T10 T12)
(T13 T14)
(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)
(AA4 AA7)
(AA5 AA8)
(AA9 AA10)
(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)
(E6 E10)
(E3 E4)
(E3 E5)
(E16 E15)
(E11 E12)
(E8 E9)
(E4 E5)
(F5 F7)
(F3 F4)
(F10 F9)
(G5 G8)
(I2 I3)
(I5 I7)
(I5 I6)
(I7 I8)
(J2 J3)
(J5 J6)
(J9 J10)
(K2 K3)
(K5 K6)
(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)
(T2 T3)
(T5 T8)
(T5 T7)
(T14 T15)
(V9 V10)
(V4 V6)
(V6 V7)
(V8 V5)
(W11 W12)
(W2 W4)
(W6 W8)
(W8 W9)
(W3 W5)
(X8 X9)
(X2 X3)
(X5 X7)
(AA4 AA6)
(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)
(E2 E6)
(E4 E12)
(E5 E9)
(F4 F6)
(G2 G5)
(I5 I9)
(J3 J6)
(J5 J8)
(J11 J12)
(K3 K6)
(K4 K12)
(K5 K9)
(K10 K11)
(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)
(T3 T8)
(T5 T11)
(V4 V9)
(V11 V12)
(W4 W8)
(W6 W11)
(X3 X7)
(X4 X11)
(X5 X8)
(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)
(E3 E11)
(E4 E8)
(E5 E13)
(E8 E15)
(E13 E14)
(F4 F11)
(F9 F13)
(F10 F11)
(F11 F12)
(G4 G10)
(G10 G11)
(I2 I5)
(I8 I10)
(I10 I12)
(J7 J11)
(J9 J13)
(J11 J13)
(M4 M7)
(N8 N12)
(O8 O13)
(P8 P12)
(Q8 Q15)
(R10 R11)
(T6 T13)
(T13 T15)
(V5 V10)
(V10 V11)
(W3 W7)
(W7 W14)
(X10 X11)
(AA4 AA7)
(AA5 AA8)
(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   (
(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)
(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)
(M2 M5)
(N2 N5)
(O2 O5)
(P2 P6)
(Q2 Q5)
(R2 R5)
(T2 T5)
(V2 V4)
(W2 W6)
(X2 X5)
(AA2 AA4)
(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   (
(G8 G7)
(N3 N4)
(Q9 Q7)
(T3 T4)
(W8 W7)
)
  :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)
(E6 E10)
(E3 E4)
(F5 F7)
(F8 F6)
(F3 F4)
(G5 G8)
(G9 G7)
(G8 G6)
(I5 I8)
(J5 J6)
(K5 K6)
(M5 M6)
(N5 N6)
(O5 O6)
(P6 P7)
(Q5 Q6)
(Q9 Q8)
(R5 R6)
(T5 T8)
(V2 V3)
(V4 V6)
(W6 W8)
(W8 W9)
(W3 W5)
(X2 X4)
(X5 X7)
(AA4 AA6)
(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   (
(A5 A6)
(A6 A7)
(B9 B10)
(B6 B7)
(B7 B8)
(E10 E7)
(E7 E8)
(E11 E12)
(E8 E9)
(E4 E5)
(F7 F8)
(F10 F9)
(I7 I8)
(J8 J9)
(J6 J7)
(J9 J10)
(K9 K8)
(K6 K7)
(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)
(T11 T12)
(T8 T9)
(T7 T6)
(T9 T10)
(V9 V10)
(V6 V7)
(V7 V8)
(W11 W12)
(W9 W10)
(X8 X9)
(X7 X6)
(AA7 AA8)
(AA6 AA5)
(AD5 AD6)
(AD8 AD7)
)
  :neg          NIL
  :induction    T
  :constraint   NIL
  :commutative  NIL
  )