:: 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₁,b₂} where b₁, b₂ is Element of {{},1,2,3} : not b₁ = b₂ } is set
Q is Element of {{},1,2,3}
{S,P,Q} is non empty Element of bool {{},1,2,3}
{ {b₁,b₂,b₃} where b₁, b₂, b₃ is Element of {{},1,2,3} : ( not b₁ = b₂ & not b₁ = b₃ & not b₂ = b₃ ) } is set
C is non empty set
{ [b₁,b₂] where b₁ is Element of {{},1,2,3}, b₂ is Element of C : b₁ in b₂ } is set
[:{{},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₁,b₂] where b₁ is Element of {{},1,2,3}, b₂ is Element of L : b₁ in b₂ } is set
[:{{},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₁,b₂] where b₁ is Element of C, b₂ is Element of L : b₁ c= b₂ } is set
[: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