:: INCSP_1 semantic presentation

S is ()

the of S is non empty set

the of S is non empty set

S is ()

the of S is non empty set

the of S is non empty set

S is ()

the of S is non empty set

the of S is non empty set

S is ()

the of S is non empty set

bool the of S is non empty set

the of S is non empty set

S is ()

the of S is non empty set

bool the of S is non empty set

the of S is non empty set

S is ()

the of S is non empty set

bool the of S is non empty set

S is ()

the of S is non empty set

bool the of S is non empty set

S is ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{Q,A} is non empty Element of bool the of S

bool the of S is non empty set

C is Element of the of S

S is ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

{Q,A,C} is non empty Element of bool the of S

bool the of S is non empty set

L is Element of the of S

S is ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

{P,Q} is non empty Element of bool the of S

bool the of S is non empty set

A is Element of the of S

C is Element of the of S

S is ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

C is Element of the of S

L is Element of the of S

S is ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

{P,Q,A,C} is non empty Element of bool the of S

bool the of S is non empty set

L is Element of the of S

B is Element of the of S

S is ()

the of S is non empty set

the of S is non empty set

bool the of S is non empty set

P is Element of the of S

Q is Element of bool the of S

A is Element of bool the of S

C is Element of the of S

S is ()

the of S is non empty set

the of S is non empty set

bool the of S is non empty set

P is Element of the of S

Q is Element of bool the of S

A is Element of bool the of S

C is Element of the of S

S is ()

the of S is non empty set

the of S is non empty set

bool the of S is non empty set

P is Element of the of S

{P} is non empty Element of bool the of S

Q is Element of the of S

A is Element of bool the of S

A \/ {P} is non empty Element of bool the of S

C is Element of the of S

{P,P} is non empty Element of bool the of S

S is ()

the of S is non empty set

the of S is non empty set

bool the of S is non empty set

P is Element of the of S

{P} is non empty Element of bool the of S

Q is Element of the of S

A is Element of bool the of S

A \/ {P} is non empty Element of bool the of S

C is Element of the of S

{P,P} is non empty Element of bool the of S

S is ()

the of S is non empty set

the of S is non empty set

bool the of S is non empty set

P is Element of the of S

Q is Element of bool the of S

A is Element of bool the of S

Q \/ A is Element of bool the of S

C is Element of the of S

S is ()

the of S is non empty set

the of S is non empty set

bool the of S is non empty set

P is Element of the of S

Q is Element of bool the of S

A is Element of bool the of S

Q \/ A is Element of bool the of S

C is Element of the of S

S is ()

the of S is non empty set

bool the of S is non empty set

P is Element of bool the of S

Q is Element of bool the of S

the of S is non empty set

A is Element of the of S

C is Element of the of S

S is ()

the of S is non empty set

bool the of S is non empty set

P is Element of bool the of S

Q is Element of bool the of S

the of S is non empty set

A is Element of the of S

C is Element of the of S

{} is empty set

1 is non empty set

2 is non empty set

3 is non empty set

{{},1,2,3} is non empty set

S is ()

S is Element of {{},1,2,3}

P is Element of {{},1,2,3}

{S,P} is non empty Element of bool {{},1,2,3}

bool {{},1,2,3} is non empty set

{ {b

Q is Element of {{},1,2,3}

{S,P,Q} is non empty Element of bool {{},1,2,3}

{ {b

C is non empty set

{ [b

[:{{},1,2,3},C:] is non empty set

B is set

P1 is Element of {{},1,2,3}

Q is Element of C

[P1,Q] is Element of [:{{},1,2,3},C:]

{P1,Q} is non empty set

{P1} is non empty set

{{P1,Q},{P1}} is non empty set

bool [:{{},1,2,3},C:] is non empty set

L is non empty set

{ [b

[:{{},1,2,3},L:] is non empty set

P1 is set

Q is Element of {{},1,2,3}

K is Element of L

[Q,K] is Element of [:{{},1,2,3},L:]

{Q,K} is non empty set

{Q} is non empty set

{{Q,K},{Q}} is non empty set

bool [:{{},1,2,3},L:] is non empty set

{ [b

[:C,L:] is non empty set

Q is set

K is Element of C

P2 is Element of L

[K,P2] is Element of [:C,L:]

{K,P2} is non empty set

{K} is non empty set

{{K,P2},{K}} is non empty set

bool [:C,L:] is non empty set

B is Element of bool [:{{},1,2,3},C:]

P1 is Element of bool [:{{},1,2,3},L:]

Q is Element of bool [:C,L:]

({{},1,2,3},C,L,B,P1,Q) is () ()

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

P2 is Element of the of ({{},1,2,3},C,L,B,P1,Q)

B is Element of C

C is Element of {{},1,2,3}

K is Element of {{},1,2,3}

{C,K} is non empty Element of bool {{},1,2,3}

E is Element of the of ({{},1,2,3},C,L,B,P1,Q)

L is Element of the of ({{},1,2,3},C,L,B,P1,Q)

{E,L} is non empty Element of bool the of ({{},1,2,3},C,L,B,P1,Q)

bool the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

[K,B] is Element of [:{{},1,2,3},C:]

{K,B} is non empty set

{K} is non empty set

{{K,B},{K}} is non empty set

[C,B] is Element of [:{{},1,2,3},C:]

{C,B} is non empty set

{C} is non empty set

{{C,B},{C}} is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

P2 is Element of the of ({{},1,2,3},C,L,B,P1,Q)

B is Element of the of ({{},1,2,3},C,L,B,P1,Q)

{P2,B} is non empty Element of bool the of ({{},1,2,3},C,L,B,P1,Q)

bool the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

E is Element of {{},1,2,3}

L is Element of {{},1,2,3}

p is Element of {{},1,2,3}

C is Element of {{},1,2,3}

E is Element of {{},1,2,3}

{C,E} is non empty Element of bool {{},1,2,3}

L is Element of C

[C,L] is Element of [:{{},1,2,3},C:]

{C,L} is non empty set

{C} is non empty set

{{C,L},{C}} is non empty set

p is Element of the of ({{},1,2,3},C,L,B,P1,Q)

K is Element of {{},1,2,3}

{C,K} is non empty Element of bool {{},1,2,3}

E is Element of C

[K,E] is Element of [:{{},1,2,3},C:]

{K,E} is non empty set

{K} is non empty set

{{K,E},{K}} is non empty set

L is Element of the of ({{},1,2,3},C,L,B,P1,Q)

[C,E] is Element of [:{{},1,2,3},C:]

{C,E} is non empty set

{{C,E},{C}} is non empty set

E is Element of the of ({{},1,2,3},C,L,B,P1,Q)

L is Element of the of ({{},1,2,3},C,L,B,P1,Q)

P2 is Element of {{},1,2,3}

B is Element of C

[P2,B] is Element of [:{{},1,2,3},C:]

{P2,B} is non empty set

{P2} is non empty set

{{P2,B},{P2}} is non empty set

C is Element of {{},1,2,3}

K is Element of C

[C,K] is Element of [:{{},1,2,3},C:]

{C,K} is non empty set

{C} is non empty set

{{C,K},{C}} is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

P2 is Element of the of ({{},1,2,3},C,L,B,P1,Q)

B is Element of the of ({{},1,2,3},C,L,B,P1,Q)

{P2,B} is non empty Element of bool the of ({{},1,2,3},C,L,B,P1,Q)

bool the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

C is Element of the of ({{},1,2,3},C,L,B,P1,Q)

K is Element of the of ({{},1,2,3},C,L,B,P1,Q)

p is Element of C

b is Element of {{},1,2,3}

c is Element of {{},1,2,3}

{b,c} is non empty Element of bool {{},1,2,3}

L is Element of {{},1,2,3}

[L,p] is Element of [:{{},1,2,3},C:]

{L,p} is non empty set

{L} is non empty set

{{L,p},{L}} is non empty set

a is Element of C

y2 is Element of {{},1,2,3}

y3 is Element of {{},1,2,3}

{y2,y3} is non empty Element of bool {{},1,2,3}

E is Element of {{},1,2,3}

[E,a] is Element of [:{{},1,2,3},C:]

{E,a} is non empty set

{E} is non empty set

{{E,a},{E}} is non empty set

[L,a] is Element of [:{{},1,2,3},C:]

{L,a} is non empty set

{{L,a},{L}} is non empty set

[E,p] is Element of [:{{},1,2,3},C:]

{E,p} is non empty set

{{E,p},{E}} is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

P2 is Element of the of ({{},1,2,3},C,L,B,P1,Q)

B is Element of L

C is Element of {{},1,2,3}

K is Element of {{},1,2,3}

E is Element of {{},1,2,3}

{C,K,E} is non empty Element of bool {{},1,2,3}

L is Element of the of ({{},1,2,3},C,L,B,P1,Q)

[C,B] is Element of [:{{},1,2,3},L:]

{C,B} is non empty set

{C} is non empty set

{{C,B},{C}} is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

P2 is Element of the of ({{},1,2,3},C,L,B,P1,Q)

B is Element of the of ({{},1,2,3},C,L,B,P1,Q)

C is Element of the of ({{},1,2,3},C,L,B,P1,Q)

{P2,B,C} is non empty Element of bool the of ({{},1,2,3},C,L,B,P1,Q)

bool the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

p is Element of {{},1,2,3}

A is Element of {{},1,2,3}

a is Element of {{},1,2,3}

b is Element of {{},1,2,3}

c is Element of {{},1,2,3}

y2 is Element of {{},1,2,3}

K is Element of {{},1,2,3}

p is Element of {{},1,2,3}

a is Element of {{},1,2,3}

{K,p,a} is non empty Element of bool {{},1,2,3}

b is Element of L

E is Element of {{},1,2,3}

L is Element of {{},1,2,3}

[K,b] is Element of [:{{},1,2,3},L:]

{K,b} is non empty set

{K} is non empty set

{{K,b},{K}} is non empty set

c is Element of the of ({{},1,2,3},C,L,B,P1,Q)

p is Element of {{},1,2,3}

a is Element of {{},1,2,3}

b is Element of {{},1,2,3}

c is Element of {{},1,2,3}

A is Element of {{},1,2,3}

y2 is Element of {{},1,2,3}

y3 is Element of {{},1,2,3}

z3 is Element of {{},1,2,3}

z4 is Element of {{},1,2,3}

z1 is Element of {{},1,2,3}

b is Element of {{},1,2,3}

{p,a,b} is non empty Element of bool {{},1,2,3}

c is Element of L

[E,c] is Element of [:{{},1,2,3},L:]

{E,c} is non empty set

{E} is non empty set

{{E,c},{E}} is non empty set

y2 is Element of the of ({{},1,2,3},C,L,B,P1,Q)

[L,c] is Element of [:{{},1,2,3},L:]

{L,c} is non empty set

{L} is non empty set

{{L,c},{L}} is non empty set

[K,c] is Element of [:{{},1,2,3},L:]

{K,c} is non empty set

{{K,c},{K}} is non empty set

{K,E,L} is non empty Element of bool {{},1,2,3}

p is Element of L

[E,p] is Element of [:{{},1,2,3},L:]

{E,p} is non empty set

{{E,p},{E}} is non empty set

a is Element of the of ({{},1,2,3},C,L,B,P1,Q)

[L,p] is Element of [:{{},1,2,3},L:]

{L,p} is non empty set

{{L,p},{L}} is non empty set

[K,p] is Element of [:{{},1,2,3},L:]

{K,p} is non empty set

{{K,p},{K}} is non empty set

p is Element of the of ({{},1,2,3},C,L,B,P1,Q)

a is Element of the of ({{},1,2,3},C,L,B,P1,Q)

b is Element of the of ({{},1,2,3},C,L,B,P1,Q)

P2 is Element of {{},1,2,3}

B is Element of L

[P2,B] is Element of [:{{},1,2,3},L:]

{P2,B} is non empty set

{P2} is non empty set

{{P2,B},{P2}} is non empty set

C is Element of {{},1,2,3}

K is Element of L

[C,K] is Element of [:{{},1,2,3},L:]

{C,K} is non empty set

{C} is non empty set

{{C,K},{C}} is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

P2 is Element of the of ({{},1,2,3},C,L,B,P1,Q)

B is Element of the of ({{},1,2,3},C,L,B,P1,Q)

C is Element of the of ({{},1,2,3},C,L,B,P1,Q)

{P2,B,C} is non empty Element of bool the of ({{},1,2,3},C,L,B,P1,Q)

bool the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

K is Element of the of ({{},1,2,3},C,L,B,P1,Q)

E is Element of the of ({{},1,2,3},C,L,B,P1,Q)

b is Element of L

y2 is Element of {{},1,2,3}

y3 is Element of {{},1,2,3}

z3 is Element of {{},1,2,3}

{y2,y3,z3} is non empty Element of bool {{},1,2,3}

L is Element of {{},1,2,3}

[L,b] is Element of [:{{},1,2,3},L:]

{L,b} is non empty set

{L} is non empty set

{{L,b},{L}} is non empty set

a is Element of {{},1,2,3}

[a,b] is Element of [:{{},1,2,3},L:]

{a,b} is non empty set

{a} is non empty set

{{a,b},{a}} is non empty set

p is Element of {{},1,2,3}

[p,b] is Element of [:{{},1,2,3},L:]

{p,b} is non empty set

{p} is non empty set

{{p,b},{p}} is non empty set

c is Element of L

z4 is Element of {{},1,2,3}

z1 is Element of {{},1,2,3}

z2 is Element of {{},1,2,3}

{z4,z1,z2} is non empty Element of bool {{},1,2,3}

[p,c] is Element of [:{{},1,2,3},L:]

{p,c} is non empty set

{{p,c},{p}} is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

{P2,C} is non empty Element of bool the of ({{},1,2,3},C,L,B,P1,Q)

z is Element of the of ({{},1,2,3},C,L,B,P1,Q)

{P2,B} is non empty Element of bool the of ({{},1,2,3},C,L,B,P1,Q)

B is Element of the of ({{},1,2,3},C,L,B,P1,Q)

[a,c] is Element of [:{{},1,2,3},L:]

{a,c} is non empty set

{{a,c},{a}} is non empty set

[L,c] is Element of [:{{},1,2,3},L:]

{L,c} is non empty set

{{L,c},{L}} is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

P2 is Element of the of ({{},1,2,3},C,L,B,P1,Q)

B is Element of the of ({{},1,2,3},C,L,B,P1,Q)

C is Element of the of ({{},1,2,3},C,L,B,P1,Q)

K is Element of the of ({{},1,2,3},C,L,B,P1,Q)

{C,K} is non empty Element of bool the of ({{},1,2,3},C,L,B,P1,Q)

bool the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

E is Element of {{},1,2,3}

p is Element of L

[E,p] is Element of [:{{},1,2,3},L:]

{E,p} is non empty set

{E} is non empty set

{{E,p},{E}} is non empty set

L is Element of {{},1,2,3}

a is Element of C

[L,a] is Element of [:{{},1,2,3},C:]

{L,a} is non empty set

{L} is non empty set

{{L,a},{L}} is non empty set

[L,p] is Element of [:{{},1,2,3},L:]

{L,p} is non empty set

{{L,p},{L}} is non empty set

[E,a] is Element of [:{{},1,2,3},C:]

{E,a} is non empty set

{{E,a},{E}} is non empty set

b is set

c is Element of {{},1,2,3}

y2 is Element of {{},1,2,3}

{c,y2} is non empty Element of bool {{},1,2,3}

[a,p] is Element of [:C,L:]

{a,p} is non empty set

{a} is non empty set

{{a,p},{a}} is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

P2 is Element of the of ({{},1,2,3},C,L,B,P1,Q)

B is Element of the of ({{},1,2,3},C,L,B,P1,Q)

C is Element of the of ({{},1,2,3},C,L,B,P1,Q)

K is Element of L

p is Element of {{},1,2,3}

a is Element of {{},1,2,3}

b is Element of {{},1,2,3}

{p,a,b} is non empty Element of bool {{},1,2,3}

E is Element of L

c is Element of {{},1,2,3}

y2 is Element of {{},1,2,3}

y3 is Element of {{},1,2,3}

{c,y2,y3} is non empty Element of bool {{},1,2,3}

L is Element of {{},1,2,3}

[L,E] is Element of [:{{},1,2,3},L:]

{L,E} is non empty set

{L} is non empty set

{{L,E},{L}} is non empty set

z3 is Element of {{},1,2,3}

z4 is Element of {{},1,2,3}

[L,K] is Element of [:{{},1,2,3},L:]

{L,K} is non empty set

{{L,K},{L}} is non empty set

z1 is Element of {{},1,2,3}

z2 is Element of {{},1,2,3}

z is Element of {{},1,2,3}

B is Element of the of ({{},1,2,3},C,L,B,P1,Q)

[z,K] is Element of [:{{},1,2,3},L:]

{z,K} is non empty set

{z} is non empty set

{{z,K},{z}} is non empty set

[z,E] is Element of [:{{},1,2,3},L:]

{z,E} is non empty set

{{z,E},{z}} is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

P2 is Element of {{},1,2,3}

B is Element of the of ({{},1,2,3},C,L,B,P1,Q)

C is Element of the of ({{},1,2,3},C,L,B,P1,Q)

K is Element of the of ({{},1,2,3},C,L,B,P1,Q)

E is Element of the of ({{},1,2,3},C,L,B,P1,Q)

{B,C,K,E} is non empty Element of bool the of ({{},1,2,3},C,L,B,P1,Q)

bool the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

L is Element of the of ({{},1,2,3},C,L,B,P1,Q)

p is Element of L

a is Element of {{},1,2,3}

b is Element of {{},1,2,3}

c is Element of {{},1,2,3}

{a,b,c} is non empty Element of bool {{},1,2,3}

[P2,p] is Element of [:{{},1,2,3},L:]

{P2,p} is non empty set

{P2} is non empty set

{{P2,p},{P2}} is non empty set

[Q,p] is Element of [:{{},1,2,3},L:]

{Q,p} is non empty set

{Q} is non empty set

{{Q,p},{Q}} is non empty set

[P,p] is Element of [:{{},1,2,3},L:]

{P,p} is non empty set

{P} is non empty set

{{P,p},{P}} is non empty set

[S,p] is Element of [:{{},1,2,3},L:]

{S,p} is non empty set

{S} is non empty set

{{S,p},{S}} is non empty set

P2 is Element of L

B is Element of C

[B,P2] is Element of [:C,L:]

{B,P2} is non empty set

{B} is non empty set

{{B,P2},{B}} is non empty set

C is Element of C

K is Element of L

[C,K] is Element of [:C,L:]

{C,K} is non empty set

{C} is non empty set

{{C,K},{C}} is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

the of ({{},1,2,3},C,L,B,P1,Q) is non empty set

P2 is Element of the of ({{},1,2,3},C,L,B,P1,Q)

B is Element of the of ({{},1,2,3},C,L,B,P1,Q)

C is Element of the of ({{},1,2,3},C,L,B,P1,Q)

E is Element of C

L is Element of L

[E,L] is Element of [:C,L:]

{E,L} is non empty set

{E} is non empty set

{{E,L},{E}} is non empty set

K is Element of {{},1,2,3}

[K,E] is Element of [:{{},1,2,3},C:]

{K,E} is non empty set

{K} is non empty set

{{K,E},{K}} is non empty set

[K,L] is Element of [:{{},1,2,3},L:]

{K,L} is non empty set

{{K,L},{K}} is non empty set

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

bool the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of bool the of S

C is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

{P,P,Q} is non empty Element of bool the of S

bool the of S is non empty set

the of S is non empty set

{P,Q} is non empty Element of bool the of S

A is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

the of S is non empty set

{P,Q,A} is non empty Element of bool the of S

C is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

C is Element of the of S

{P,Q,A,C} is non empty Element of bool the of S

the of S is non empty set

L is Element of the of S

{P,Q} is non empty Element of bool the of S

{A} is non empty Element of bool the of S

{P,Q} \/ {A} is non empty Element of bool the of S

the of S is non empty set

{P,Q,C} is non empty Element of bool the of S

B is Element of the of S

{C} is non empty Element of bool the of S

{P,Q} \/ {C} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

{P,Q} is non empty Element of bool the of S

bool the of S is non empty set

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

C is Element of the of S

L is Element of the of S

{A} is non empty Element of bool the of S

{P,Q} \/ {A} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

C is Element of the of S

{P,Q,A,C} is non empty Element of bool the of S

L is Element of the of S

B is Element of the of S

{C} is non empty Element of bool the of S

{P,Q,A} \/ {C} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

the of S is non empty set

A is Element of the of S

C is Element of the of S

{A,C} is non empty Element of bool the of S

bool the of S is non empty set

L is Element of the of S

B is Element of the of S

{L,B} is non empty Element of bool the of S

{A,C,L} is non empty Element of bool the of S

{A,C,L,B} is non empty Element of bool the of S

P1 is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

{A,C} is non empty Element of bool the of S

bool the of S is non empty set

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

L is Element of the of S

B is Element of the of S

P1 is Element of the of S

{C,L,P1} is non empty Element of bool the of S

bool the of S is non empty set

{C,L} is non empty Element of bool the of S

{P1} is non empty Element of bool the of S

{C,L} \/ {P1} is non empty Element of bool the of S

{C,P1,L} is non empty Element of bool the of S

{C,P1,L,B} is non empty Element of bool the of S

Q is Element of the of S

{C,B} is non empty Element of bool the of S

{C,P1} is non empty Element of bool the of S

{L,B} is non empty Element of bool the of S

{C,P1} \/ {L,B} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

the of S is non empty set

L is Element of the of S

B is Element of the of S

{L,B} is non empty Element of bool the of S

bool the of S is non empty set

P1 is Element of the of S

Q is Element of the of S

{P1,Q} is non empty Element of bool the of S

{P1} is non empty Element of bool the of S

{L,B} \/ {P1} is non empty Element of bool the of S

{L,B,P1} is non empty Element of bool the of S

{Q} is non empty Element of bool the of S

{L,B} \/ {Q} is non empty Element of bool the of S

{L,B,Q} is non empty Element of bool the of S

K is Element of the of S

P2 is Element of the of S

{K,P2} is non empty Element of bool the of S

B is Element of the of S

{P1,K} is non empty Element of bool the of S

{L,B} \/ {P1,K} is non empty Element of bool the of S

{L,B,P1,K} is non empty Element of bool the of S

{P1,P2} is non empty Element of bool the of S

{L,B} \/ {P1,P2} is non empty Element of bool the of S

{L,B,P1,P2} is non empty Element of bool the of S

{Q,K} is non empty Element of bool the of S

{L,B} \/ {Q,K} is non empty Element of bool the of S

{L,B,Q,K} is non empty Element of bool the of S

{Q,P2} is non empty Element of bool the of S

{L,B} \/ {Q,P2} is non empty Element of bool the of S

{L,B,Q,P2} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

{A,C} is non empty Element of bool the of S

bool the of S is non empty set

L is Element of the of S

{A,L,C} is non empty Element of bool the of S

B is Element of the of S

{A,L} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

{P,Q} is non empty Element of bool the of S

bool the of S is non empty set

A is Element of the of S

C is Element of the of S

L is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

C is Element of the of S

L is Element of the of S

B is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

{A,C} is non empty Element of bool the of S

bool the of S is non empty set

{A,C,P} is non empty Element of bool the of S

L is Element of the of S

B is Element of the of S

{P} is non empty Element of bool the of S

{A,C} \/ {P} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

A is Element of the of S

C is Element of the of S

L is Element of the of S

{A,L,C} is non empty Element of bool the of S

bool the of S is non empty set

B is Element of the of S

P1 is Element of the of S

{A,C} is non empty Element of bool the of S

{A,L} is non empty Element of bool the of S

{A,L} is non empty Element of bool the of S

{A,C} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

the of S is non empty set

{P,Q} is non empty Element of bool the of S

bool the of S is non empty set

A is Element of the of S

C is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

the of S is non empty set

C is Element of the of S

L is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

the of S is non empty set

A is Element of the of S

C is Element of the of S

{A,C} is non empty Element of bool the of S

bool the of S is non empty set

{A,C,P} is non empty Element of bool the of S

L is Element of the of S

{P} is non empty Element of bool the of S

{A,C} \/ {P} is non empty Element of bool the of S

A is Element of the of S

C is Element of the of S

L is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

the of S is non empty set

the of S is non empty set

A is Element of the of S

A is Element of the of S

C is Element of the of S

L is Element of the of S

L is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

(S,P,Q) is Element of the of S

the of S is non empty set

(S,Q,P) is Element of the of S

{P,Q} is non empty Element of bool the of S

bool the of S is non empty set

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

(S,P,Q,A) is Element of the of S

the of S is non empty set

(S,P,A,Q) is Element of the of S

{P,A,Q} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

(S,P,Q,A) is Element of the of S

the of S is non empty set

(S,Q,P,A) is Element of the of S

{Q,P,A} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

(S,P,Q,A) is Element of the of S

the of S is non empty set

(S,Q,A,P) is Element of the of S

{Q,A,P} is non empty Element of bool the of S

(S,Q,P,A) is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

(S,P,Q,A) is Element of the of S

the of S is non empty set

(S,A,P,Q) is Element of the of S

{A,P,Q} is non empty Element of bool the of S

(S,P,A,Q) is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

(S,P,Q,A) is Element of the of S

the of S is non empty set

(S,A,Q,P) is Element of the of S

{A,Q,P} is non empty Element of bool the of S

(S,A,P,Q) is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

(S,P,Q) is Element of the of S

the of S is non empty set

(S,Q,P) is Element of the of S

L is Element of the of S

B is Element of the of S

P1 is Element of the of S

{L,P1,B} is non empty Element of bool the of S

bool the of S is non empty set

Q is Element of the of S

{L,B} is non empty Element of bool the of S

{L,P1} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

(S,P,Q) is Element of the of S

the of S is non empty set

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

{P,Q} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

(S,P,Q) is Element of the of S

the of S is non empty set

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

(S,P,A) is Element of the of S

{P,Q} is non empty Element of bool the of S

{P,A} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

(S,P,Q) is Element of the of S

the of S is non empty set

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

(S,P,Q,A) is Element of the of S

the of S is non empty set

(S,A,(S,P,Q)) is Element of the of S

{P,Q} is non empty Element of bool the of S

{A} is non empty Element of bool the of S

{P,Q} \/ {A} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

(S,P,Q,A) is Element of the of S

the of S is non empty set

C is Element of the of S

{P,Q,A,C} is non empty Element of bool the of S

{C} is non empty Element of bool the of S

{P,Q,A} \/ {C} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{Q,A} is non empty Element of bool the of S

bool the of S is non empty set

(S,Q,A,P) is Element of the of S

the of S is non empty set

C is Element of the of S

(S,P,C) is Element of the of S

{P} is non empty Element of bool the of S

{Q,A} \/ {P} is non empty Element of bool the of S

{Q,A,P} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

(S,P,Q) is Element of the of S

the of S is non empty set

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

(S,P,Q,A) is Element of the of S

the of S is non empty set

(S,P,A) is Element of the of S

(S,(S,P,Q),(S,P,A)) is Element of the of S

{P,Q} is non empty Element of bool the of S

{P,A,Q} is non empty Element of bool the of S

{P,A} is non empty Element of bool the of S

{A} is non empty Element of bool the of S

{P,Q} \/ {A} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

L is Element of the of S

B is Element of the of S

{A,C,L,B} is non empty Element of bool the of S

bool the of S is non empty set

{A,C} is non empty Element of bool the of S

(S,A,C) is Element of the of S

the of S is non empty set

{L} is non empty Element of bool the of S

{A,C} \/ {L} is non empty Element of bool the of S

{A,C,L} is non empty Element of bool the of S

(S,A,C,L) is Element of the of S

{B} is non empty Element of bool the of S

{A,C,L} \/ {B} is non empty Element of bool the of S

{Q,A,L} is non empty Element of bool the of S

{Q,A} is non empty Element of bool the of S

{Q,A,L,B} is non empty Element of bool the of S

(S,A,C,Q) is Element of the of S

{A,C,Q} is non empty Element of bool the of S

{Q} is non empty Element of bool the of S

{A,C} \/ {Q} is non empty Element of bool the of S

{L,B} is non empty Element of bool the of S

{A,C} \/ {L,B} is non empty Element of bool the of S

{A,C,Q,L} is non empty Element of bool the of S

{A,C,Q,B} is non empty Element of bool the of S

{Q,A,C,L} is non empty Element of bool the of S

{Q,A,C,B} is non empty Element of bool the of S

P1 is Element of the of S

Q is Element of the of S

K is Element of the of S

P2 is Element of the of S

{P1,Q,K,P2} is non empty Element of bool the of S

B is Element of the of S

C is Element of the of S

K is Element of the of S

E is Element of the of S

{B,C,K,E} is non empty Element of bool the of S

P1 is Element of the of S

Q is Element of the of S

K is Element of the of S

P2 is Element of the of S

{P1,Q,K,P2} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

L is Element of the of S

{Q,A,C,L} is non empty Element of bool the of S

bool the of S is non empty set

{A,L,Q,C} is non empty Element of bool the of S

{C,L,Q,A} is non empty Element of bool the of S

{A,C,L,Q} is non empty Element of bool the of S

{A,C,L} is non empty Element of bool the of S

{Q} is non empty Element of bool the of S

{A,C,L} \/ {Q} is non empty Element of bool the of S

B is Element of the of S

{A,C,Q,L} is non empty Element of bool the of S

P1 is Element of the of S

Q is Element of the of S

(S,B,P1,Q) is Element of the of S

(S,B,Q,Q) is Element of the of S

{Q,B,P1,Q} is non empty Element of bool the of S

{Q,L,A,C} is non empty Element of bool the of S

{Q,L,C,A} is non empty Element of bool the of S

{Q,B,P1} is non empty Element of bool the of S

{B,P1,Q} is non empty Element of bool the of S

B is Element of the of S

{B,Q,Q,P1} is non empty Element of bool the of S

{B,Q,Q} is non empty Element of bool the of S

C is Element of the of S

{Q,B,C} is non empty Element of bool the of S

the of S is non empty set

K is Element of the of S

{Q,C} is non empty Element of bool the of S

{Q,C,B} is non empty Element of bool the of S

{B} is non empty Element of bool the of S

{Q,C} \/ {B} is non empty Element of bool the of S

E is Element of the of S

{Q,B} is non empty Element of bool the of S

{C} is non empty Element of bool the of S

{Q,B} \/ {C} is non empty Element of bool the of S

{E,B} is non empty Element of bool the of S

{B,B,E} is non empty Element of bool the of S

L is Element of the of S

{E,B,B} is non empty Element of bool the of S

{B} is non empty Element of bool the of S

{E,B} \/ {B} is non empty Element of bool the of S

{Q} is non empty Element of bool the of S

{B,P1,Q} \/ {Q} is non empty Element of bool the of S

{B,P1,Q,Q} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

the of S is non empty set

{P,Q} is non empty Element of bool the of S

bool the of S is non empty set

C is Element of the of S

L is Element of the of S

B is Element of the of S

P1 is Element of the of S

{L,B,P1} is non empty Element of bool the of S

{P,Q,L} is non empty Element of bool the of S

{P,Q,B} is non empty Element of bool the of S

{P,Q,P1} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

{P,Q,A} is non empty Element of bool the of S

bool the of S is non empty set

the of S is non empty set

C is Element of the of S

L is Element of the of S

B is Element of the of S

P1 is Element of the of S

Q is Element of the of S

{L,B,P1,Q} is non empty Element of bool the of S

{P,Q,A,L} is non empty Element of bool the of S

{P,Q,A,B} is non empty Element of bool the of S

{P,Q,A,P1} is non empty Element of bool the of S

{P,Q,A,Q} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

L is Element of the of S

{A,C,L} is non empty Element of bool the of S

bool the of S is non empty set

B is Element of the of S

P1 is Element of the of S

{B,P1} is non empty Element of bool the of S

{L} is non empty Element of bool the of S

{B,P1} \/ {L} is non empty Element of bool the of S

{P,B,P1} is non empty Element of bool the of S

the of S is non empty set

Q is Element of the of S

{B,P1,P} is non empty Element of bool the of S

{P} is non empty Element of bool the of S

{B,P1} \/ {P} is non empty Element of bool the of S

A is Element of the of S

C is Element of the of S

{P,A,C} is non empty Element of bool the of S

{A,C} is non empty Element of bool the of S

A is Element of the of S

C is Element of the of S

{A,C} is non empty Element of bool the of S

{P,A,C} is non empty Element of bool the of S

L is Element of the of S

B is Element of the of S

{L,B} is non empty Element of bool the of S

{P,L,B} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

Q is Element of the of S

the of S is non empty set

the Element of the of S is Element of the of S

C is Element of the of S

{P,Q,C} is non empty Element of bool the of S

bool the of S is non empty set

L is Element of the of S

{P,Q,C,L} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

P is Element of the of S

the of S is non empty set

the Element of the of S is Element of the of S

A is Element of the of S

C is Element of the of S

L is Element of the of S

{P,A,C,L} is non empty Element of bool the of S

bool the of S is non empty set

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

{A,C} is non empty Element of bool the of S

bool the of S is non empty set

{P,A,C} is non empty Element of bool the of S

L is Element of the of S

{P} is non empty Element of bool the of S

{A,C} \/ {P} is non empty Element of bool the of S

{A,C,P} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

{A,C} is non empty Element of bool the of S

bool the of S is non empty set

{P,A,C} is non empty Element of bool the of S

L is Element of the of S

{P,A,C,L} is non empty Element of bool the of S

{P} is non empty Element of bool the of S

{P} \/ {A,C} is non empty Element of bool the of S

(S,P,L) is Element of the of S

B is Element of the of S

(S,P,A) is Element of the of S

P1 is Element of the of S

(S,P,C) is Element of the of S

Q is Element of the of S

{P,A} is non empty Element of bool the of S

{P,C,A} is non empty Element of bool the of S

{P,C} is non empty Element of bool the of S

{A} is non empty Element of bool the of S

{P,C} \/ {A} is non empty Element of bool the of S

{C} is non empty Element of bool the of S

{P,A} \/ {C} is non empty Element of bool the of S

{P,L,A,C} is non empty Element of bool the of S

{P,L} is non empty Element of bool the of S

{L} is non empty Element of bool the of S

{P,A,C} \/ {L} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

P is Element of the of S

{P,P,P} is non empty Element of bool the of S

bool the of S is non empty set

Q is Element of the of S

C is Element of the of S

L is Element of the of S

A is Element of the of S

B is Element of the of S

P1 is Element of the of S

{P,B} is non empty Element of bool the of S

{P1} is non empty Element of bool the of S

{P,B} \/ {P1} is non empty Element of bool the of S

{P,B,P1} is non empty Element of bool the of S

Q is Element of the of S

{P,P1} is non empty Element of bool the of S

K is Element of the of S

{P,P1,B} is non empty Element of bool the of S

{B} is non empty Element of bool the of S

{P,P1} \/ {B} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

L is Element of the of S

{P,A,C,L} is non empty Element of bool the of S

bool the of S is non empty set

(S,P,C,L) is Element of the of S

B is Element of the of S

{P,C,L,A} is non empty Element of bool the of S

{P,C,L} is non empty Element of bool the of S

{A} is non empty Element of bool the of S

{P,C,L} \/ {A} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

{A,C} is non empty Element of bool the of S

bool the of S is non empty set

L is Element of the of S

{A,C,L} is non empty Element of bool the of S

{L} is non empty Element of bool the of S

{A,C} \/ {L} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

the of S is non empty set

Q is Element of the of S

A is Element of the of S

{Q,A} is non empty Element of bool the of S

bool the of S is non empty set

C is Element of the of S

L is Element of the of S

{Q,A,C,L} is non empty Element of bool the of S

(S,C,L) is Element of the of S

B is Element of the of S

P1 is Element of the of S

{C,L,Q,A} is non empty Element of bool the of S

{C,L} is non empty Element of bool the of S

{Q,A} \/ {C,L} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

P is Element of the of S

the of S is non empty set

Q is Element of the of S

A is Element of the of S

{Q,A} is non empty Element of bool the of S

bool the of S is non empty set

C is Element of the of S

L is Element of the of S

{Q,A,C,L} is non empty Element of bool the of S

(S,Q,A,C) is Element of the of S

B is Element of the of S

(S,Q,A,L) is Element of the of S

P1 is Element of the of S

{Q,A,C} is non empty Element of bool the of S

{Q,A,L,C} is non empty Element of bool the of S

{Q,A,L} is non empty Element of bool the of S

{L} is non empty Element of bool the of S

{Q,A} \/ {L} is non empty Element of bool the of S

{Q,A,C} \/ {L} is non empty Element of bool the of S

{C} is non empty Element of bool the of S

{Q,A} \/ {C} is non empty Element of bool the of S

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

A is Element of the of S

C is Element of the of S

P is Element of the of S

Q is Element of the of S

{P,Q} is non empty Element of bool the of S

bool the of S is non empty set

S is () () () () () () () () () () () ()

the of S is non empty set

the of S is non empty set

the of S is non empty set

P is Element of the of S

Q is Element of the of S

A is Element of the of S

C is Element of the of S

(S,A,C) is Element of the of S

L is Element of the of S

{A,C} is non empty Element of bool the of S

bool the of S is non empty set

B is Element of the of S

P1 is Element of the of S