:: INCPROJ semantic presentation

K104() is Element of bool K100()

K100() is set

bool K100() is set

K99() is set

bool K99() is set

bool K104() is set

{} is set

1 is non empty set

CPS is non empty V116() V117() proper CollStr

the carrier of CPS is non empty set

bool the carrier of CPS is set

CPS9 is LINE of CPS

X is Element of the carrier of CPS

L is Element of the carrier of CPS

Line (X,L) is set

P is set

{ b

b1 is Element of the carrier of CPS

CPS is non empty V116() V117() proper CollStr

the carrier of CPS is non empty set

bool the carrier of CPS is set

{ b

CPS is non empty V116() V117() proper CollStr

(CPS) is set

the carrier of CPS is non empty set

bool the carrier of CPS is set

{ b

the (CPS) is (CPS)

CPS is non empty V116() V117() proper CollStr

(CPS) is non empty set

the carrier of CPS is non empty set

bool the carrier of CPS is set

{ b

CPS9 is set

X is Element of bool the carrier of CPS

CPS is non empty V116() V117() proper CollStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

CPS9 is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

CPS9 is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

X is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

L is set

P is set

[L,P] is set

b1 is set

b1 is set

CPS is non empty V116() V117() proper CollStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

CPS is non empty V116() V117() proper CollStr

(CPS) is IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

CPS is non empty V116() V117() proper CollStr

(CPS) is strict IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

CPS9 is non empty V116() V117() proper CollStr

(CPS9) is strict IncProjStr

the carrier of CPS9 is non empty set

(CPS9) is non empty set

bool the carrier of CPS9 is set

{ b

(CPS9) is V7() V10( the carrier of CPS9) V11((CPS9)) Element of bool [: the carrier of CPS9,(CPS9):]

[: the carrier of CPS9,(CPS9):] is set

bool [: the carrier of CPS9,(CPS9):] is set

IncProjStr(# the carrier of CPS9,(CPS9),(CPS9) #) is strict IncProjStr

the Lines of (CPS9) is non empty set

X is non empty V116() V117() proper CollStr

(X) is strict IncProjStr

the carrier of X is non empty set

(X) is non empty set

bool the carrier of X is set

{ b

(X) is V7() V10( the carrier of X) V11((X)) Element of bool [: the carrier of X,(X):]

[: the carrier of X,(X):] is set

bool [: the carrier of X,(X):] is set

IncProjStr(# the carrier of X,(X),(X) #) is strict IncProjStr

the Inc of (X) is V7() V10( the Points of (X)) V11( the Lines of (X)) Element of bool [: the Points of (X), the Lines of (X):]

the Points of (X) is non empty set

the Lines of (X) is non empty set

[: the Points of (X), the Lines of (X):] is set

bool [: the Points of (X), the Lines of (X):] is set

CPS9 is set

CPS is non empty V116() V117() proper CollStr

the carrier of CPS is non empty set

(CPS) is strict IncProjStr

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

L is set

X is non empty V116() V117() proper CollStr

(X) is strict IncProjStr

the carrier of X is non empty set

(X) is non empty set

bool the carrier of X is set

{ b

(X) is V7() V10( the carrier of X) V11((X)) Element of bool [: the carrier of X,(X):]

[: the carrier of X,(X):] is set

bool [: the carrier of X,(X):] is set

IncProjStr(# the carrier of X,(X),(X) #) is strict IncProjStr

the Points of (X) is non empty set

CPS9 is set

CPS is non empty V116() V117() proper CollStr

(CPS) is strict IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Lines of (CPS) is non empty set

L is set

X is non empty V116() V117() proper CollStr

(X) is strict IncProjStr

the carrier of X is non empty set

(X) is non empty set

bool the carrier of X is set

{ b

(X) is V7() V10( the carrier of X) V11((X)) Element of bool [: the carrier of X,(X):]

[: the carrier of X,(X):] is set

bool [: the carrier of X,(X):] is set

IncProjStr(# the carrier of X,(X),(X) #) is strict IncProjStr

the Lines of (X) is non empty set

CPS is non empty V116() V117() proper CollStr

(CPS) is strict IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

the Lines of (CPS) is non empty set

CPS9 is Element of the Points of (CPS)

X is Element of the Lines of (CPS)

L is Element of the carrier of CPS

P is (CPS)

b1 is Element of the Lines of (CPS)

[L,P] is set

b3 is set

b2 is Element of (CPS)

[L,b2] is Element of [: the carrier of CPS,(CPS):]

CPS is non empty V116() V117() proper CollStr

the carrier of CPS is non empty set

CPS9 is Element of the carrier of CPS

X is Element of the carrier of CPS

L is Element of the carrier of CPS

CPS is non empty V116() V117() proper CollStr

the carrier of CPS is non empty set

CPS9 is Element of the carrier of CPS

X is Element of the carrier of CPS

L is Element of the carrier of CPS

P is Element of the carrier of CPS

CPS is non empty V116() V117() proper CollStr

(CPS) is strict IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

the Lines of (CPS) is non empty set

CPS9 is Element of the Points of (CPS)

X is Element of the Points of (CPS)

L is Element of the Lines of (CPS)

P is Element of the Lines of (CPS)

b1 is Element of the carrier of CPS

c1 is (CPS)

b2 is Element of the carrier of CPS

b3 is (CPS)

CPS is non empty V116() V117() proper CollStr

(CPS) is strict IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

the Lines of (CPS) is non empty set

CPS9 is Element of the Points of (CPS)

X is Element of the Points of (CPS)

L is Element of the carrier of CPS

b1 is Element of the carrier of CPS

b2 is (CPS)

P is Element of the carrier of CPS

b3 is Element of the Lines of (CPS)

b1 is (CPS)

b2 is Element of the Lines of (CPS)

b1 is Element of the Lines of (CPS)

b2 is Element of the Lines of (CPS)

CPS is non empty V116() V117() proper CollStr

(CPS) is strict IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

the Lines of (CPS) is non empty set

CPS9 is Element of the Points of (CPS)

X is Element of the Points of (CPS)

L is Element of the Points of (CPS)

P is Element of the carrier of CPS

b1 is Element of the carrier of CPS

b2 is Element of the carrier of CPS

Line (P,b1) is set

c1 is (CPS)

c2 is Element of the Lines of (CPS)

b3 is Element of the Lines of (CPS)

b3 is Element of the Lines of (CPS)

c1 is Element of the Lines of (CPS)

b3 is Element of the Lines of (CPS)

c1 is (CPS)

CPS is non empty V116() V117() proper CollStr

(CPS) is strict IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

the Lines of (CPS) is non empty set

CPS9 is Element of the carrier of CPS

X is Element of the carrier of CPS

L is Element of the carrier of CPS

Line (CPS9,X) is set

b1 is (CPS)

b3 is Element of the Points of (CPS)

b2 is Element of the Lines of (CPS)

CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr

(CPS) is strict IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Lines of (CPS) is non empty set

the Points of (CPS) is non empty set

CPS9 is Element of the Lines of (CPS)

X is (CPS)

L is Element of the carrier of CPS

P is Element of the carrier of CPS

Line (L,P) is set

b1 is Element of the carrier of CPS

b2 is Element of the Points of (CPS)

b3 is Element of the Points of (CPS)

c1 is Element of the Points of (CPS)

c2 is Element of the Lines of (CPS)

CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr

(CPS) is strict IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

the Lines of (CPS) is non empty set

CPS9 is Element of the Points of (CPS)

X is Element of the Points of (CPS)

L is Element of the Points of (CPS)

P is Element of the Points of (CPS)

b1 is Element of the Points of (CPS)

b2 is Element of the Lines of (CPS)

b3 is Element of the Lines of (CPS)

c1 is Element of the Lines of (CPS)

c2 is Element of the Lines of (CPS)

A1 is Element of the carrier of CPS

B1 is Element of the carrier of CPS

c3 is Element of the carrier of CPS

A3 is Element of the carrier of CPS

A2 is Element of the carrier of CPS

B2 is Element of the carrier of CPS

B3 is Element of the Points of (CPS)

C1 is Element of the Lines of (CPS)

C1 is Element of the Lines of (CPS)

CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr

the carrier of CPS is non empty set

(CPS) is strict IncProjStr

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Lines of (CPS) is non empty set

the Points of (CPS) is non empty set

CPS9 is Element of the Lines of (CPS)

X is Element of the Lines of (CPS)

L is (CPS)

b1 is Element of the carrier of CPS

b2 is Element of the carrier of CPS

Line (b1,b2) is set

P is (CPS)

b3 is Element of the carrier of CPS

c1 is Element of the carrier of CPS

Line (b3,c1) is set

c2 is Element of the carrier of CPS

c3 is Element of the Points of (CPS)

CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr

the carrier of CPS is non empty set

(CPS) is strict IncProjStr

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Lines of (CPS) is non empty set

the Points of (CPS) is non empty set

CPS9 is Element of the carrier of CPS

X is Element of the carrier of CPS

L is Element of the carrier of CPS

P is Element of the carrier of CPS

Line (CPS9,X) is set

Line (L,P) is set

b3 is (CPS)

c1 is (CPS)

c2 is Element of the Lines of (CPS)

c3 is Element of the Lines of (CPS)

A1 is Element of the Points of (CPS)

A1 is Element of the Points of (CPS)

A2 is Element of the carrier of CPS

CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr

the carrier of CPS is non empty set

(CPS) is strict IncProjStr

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

the Lines of (CPS) is non empty set

CPS9 is Element of the Points of (CPS)

X is Element of the Lines of (CPS)

L is Element of the Lines of (CPS)

P is (CPS)

b3 is Element of the carrier of CPS

c1 is Element of the carrier of CPS

Line (b3,c1) is set

b1 is (CPS)

c2 is Element of the carrier of CPS

c3 is Element of the carrier of CPS

Line (c2,c3) is set

b2 is Element of the carrier of CPS

A1 is Element of the carrier of CPS

A2 is Element of the carrier of CPS

A3 is Element of the Points of (CPS)

B1 is Element of the Points of (CPS)

B2 is Element of the Lines of (CPS)

CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr

the carrier of CPS is non empty set

(CPS) is strict IncProjStr

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

the Lines of (CPS) is non empty set

X is Element of the Points of (CPS)

L is Element of the Points of (CPS)

CPS9 is Element of the Points of (CPS)

P is Element of the Points of (CPS)

b1 is Element of the Points of (CPS)

{b1,CPS9,P} is Element of bool the Points of (CPS)

bool the Points of (CPS) is set

{b1,X,L} is Element of bool the Points of (CPS)

b2 is Element of the Points of (CPS)

{b2,X,P} is Element of bool the Points of (CPS)

{b2,CPS9,L} is Element of bool the Points of (CPS)

b3 is Element of the Points of (CPS)

{b3,CPS9,X} is Element of bool the Points of (CPS)

{b3,L,P} is Element of bool the Points of (CPS)

{b1,b2} is Element of bool the Points of (CPS)

c1 is Element of the Lines of (CPS)

c2 is Element of the Lines of (CPS)

c3 is Element of the Lines of (CPS)

A1 is Element of the Lines of (CPS)

A2 is Element of the Lines of (CPS)

A3 is Element of the Lines of (CPS)

B1 is Element of the Lines of (CPS)

B2 is Element of the carrier of CPS

C1 is Element of the carrier of CPS

C2 is Element of the carrier of CPS

a29 is Element of the Lines of (CPS)

a29 is Element of the Lines of (CPS)

B3 is Element of the carrier of CPS

a29 is Element of the Lines of (CPS)

a29 is Element of the Lines of (CPS)

C3 is Element of the carrier of CPS

o9 is Element of the carrier of CPS

a19 is Element of the carrier of CPS

a29 is Element of the Lines of (CPS)

a29 is Element of the Lines of (CPS)

a29 is Element of the Lines of (CPS)

a29 is Element of the Lines of (CPS)

CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr

the carrier of CPS is non empty set

(CPS) is strict IncProjStr

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

the Lines of (CPS) is non empty set

CPS9 is Element of the Points of (CPS)

X is Element of the Points of (CPS)

L is Element of the Points of (CPS)

{CPS9,X,L} is Element of bool the Points of (CPS)

bool the Points of (CPS) is set

b1 is Element of the Points of (CPS)

P is Element of the Points of (CPS)

{CPS9,b1,P} is Element of bool the Points of (CPS)

b3 is Element of the Points of (CPS)

b2 is Element of the Points of (CPS)

{CPS9,b3,b2} is Element of bool the Points of (CPS)

c3 is Element of the Points of (CPS)

{b3,b1,c3} is Element of bool the Points of (CPS)

c1 is Element of the Points of (CPS)

{b3,c1,L} is Element of bool the Points of (CPS)

c2 is Element of the Points of (CPS)

{b1,c2,L} is Element of bool the Points of (CPS)

{c3,P,b2} is Element of bool the Points of (CPS)

{X,c1,b2} is Element of bool the Points of (CPS)

{X,c2,P} is Element of bool the Points of (CPS)

{c1,c2,c3} is Element of bool the Points of (CPS)

A1 is Element of the Lines of (CPS)

A2 is Element of the Lines of (CPS)

A3 is Element of the Lines of (CPS)

B1 is Element of the Lines of (CPS)

B2 is Element of the Lines of (CPS)

B3 is Element of the Lines of (CPS)

C1 is Element of the Lines of (CPS)

C2 is Element of the Lines of (CPS)

C3 is Element of the Lines of (CPS)

a19 is Element of the carrier of CPS

a39 is Element of the carrier of CPS

c29 is Element of the carrier of CPS

b29 is Element of the carrier of CPS

c19 is Element of the carrier of CPS

c39 is Element of the carrier of CPS

a29 is Element of the carrier of CPS

b19 is Element of the carrier of CPS

o9 is Element of the carrier of CPS

b39 is Element of the carrier of CPS

K is Element of the Lines of (CPS)

K is Element of the Lines of (CPS)

K is Element of the Lines of (CPS)

K is Element of the Lines of (CPS)

CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr

the carrier of CPS is non empty set

(CPS) is strict IncProjStr

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

the Lines of (CPS) is non empty set

CPS9 is Element of the Points of (CPS)

X is Element of the Points of (CPS)

L is Element of the Points of (CPS)

P is Element of the Points of (CPS)

b1 is Element of the Points of (CPS)

b2 is Element of the Points of (CPS)

b3 is Element of the Points of (CPS)

c1 is Element of the Points of (CPS)

{L,b3,c1} is Element of bool the Points of (CPS)

bool the Points of (CPS) is set

c2 is Element of the Points of (CPS)

{P,b1,c2} is Element of bool the Points of (CPS)

c3 is Element of the Points of (CPS)

{X,b2,c3} is Element of bool the Points of (CPS)

{X,b3,c2} is Element of bool the Points of (CPS)

{P,b2,c1} is Element of bool the Points of (CPS)

{L,b1,c3} is Element of bool the Points of (CPS)

{b1,b2,b3} is Element of bool the Points of (CPS)

{X,L,P} is Element of bool the Points of (CPS)

{c1,c2} is Element of bool the Points of (CPS)

A3 is Element of the Lines of (CPS)

B3 is Element of the Lines of (CPS)

A1 is Element of the Lines of (CPS)

B1 is Element of the Lines of (CPS)

C1 is Element of the Lines of (CPS)

A2 is Element of the Lines of (CPS)

B2 is Element of the Lines of (CPS)

C2 is Element of the Lines of (CPS)

C3 is Element of the Lines of (CPS)

a19 is Element of the carrier of CPS

b29 is Element of the carrier of CPS

c39 is Element of the carrier of CPS

o9 is Element of the carrier of CPS

b39 is Element of the carrier of CPS

a29 is Element of the carrier of CPS

a39 is Element of the carrier of CPS

c29 is Element of the carrier of CPS

b19 is Element of the carrier of CPS

K is Element of the Lines of (CPS)

c19 is Element of the carrier of CPS

K is Element of the Lines of (CPS)

CPS is IncProjStr

the Points of CPS is non empty set

the Lines of CPS is non empty set

CPS9 is Element of the Points of CPS

X is Element of the Points of CPS

{CPS9,X} is Element of bool the Points of CPS

bool the Points of CPS is set

L is Element of the Lines of CPS

P is Element of the Lines of CPS

CPS9 is Element of the Points of CPS

X is Element of the Points of CPS

{CPS9,X} is Element of bool the Points of CPS

L is Element of the Lines of CPS

CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr

(CPS) is strict IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the Points of (CPS) is non empty set

the Lines of (CPS) is non empty set

X is Element of the Points of (CPS)

c1 is Element of the Lines of (CPS)

L is Element of the Points of (CPS)

P is Element of the Points of (CPS)

c2 is Element of the Lines of (CPS)

b1 is Element of the Points of (CPS)

b2 is Element of the Points of (CPS)

c3 is Element of the Lines of (CPS)

A1 is Element of the Lines of (CPS)

X is Element of the Lines of (CPS)

X is Element of the Points of (CPS)

P is Element of the Lines of (CPS)

L is Element of the Points of (CPS)

b1 is Element of the Lines of (CPS)

b2 is Element of the Points of (CPS)

b3 is Element of the Points of (CPS)

X is Element of the Points of (CPS)

L is Element of the Lines of (CPS)

the non empty V116() V117() proper Vebleian at_least_3rank CollStr is non empty V116() V117() proper Vebleian at_least_3rank CollStr

( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ) is strict linear () () () () IncProjStr

the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr is non empty set

( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ) is non empty set

bool the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr is set

{ b

( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ) is V7() V10( the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr ) V11(( the non empty V116() V117() proper Vebleian at_least_3rank CollStr )) Element of bool [: the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr ,( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ):]

[: the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr ,( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ):] is set

bool [: the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr ,( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ):] is set

IncProjStr(# the carrier of the non empty V116() V117() proper Vebleian at_least_3rank CollStr ,( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ),( the non empty V116() V117() proper Vebleian at_least_3rank CollStr ) #) is strict IncProjStr

CPS is non empty V116() V117() proper Vebleian at_least_3rank CollStr

(CPS) is strict linear () () () () IncProjStr

the carrier of CPS is non empty set

(CPS) is non empty set

bool the carrier of CPS is set

{ b

(CPS) is V7() V10( the carrier of CPS) V11((CPS)) Element of bool [: the carrier of CPS,(CPS):]

[: the carrier of CPS,(CPS):] is set

bool [: the carrier of CPS,(CPS):] is set

IncProjStr(# the carrier of CPS,(CPS),(CPS) #) is strict IncProjStr

the non empty V116() V117() proper Vebleian at_least_3rank Fanoian Desarguesian non 2-dimensional at_most-3-dimensional CollStr is non empty V116() V117() proper Vebleian at_least_3rank Fanoian Desarguesian non 2-dimensional at_most-3-dimensional CollStr

CPS9 is non empty V116() V117() proper Vebleian at_least_3rank CollStr

(CPS9) is strict linear () () () () IncProjStr

the carrier of CPS9 is non empty set

(CPS9) is non empty set

bool the carrier of CPS9 is set

{ b

(CPS9) is V7() V10( the carrier of CPS9) V11((CPS9)) Element of bool [: the carrier of CPS9,(CPS9):]

[: the carrier of CPS9,(CPS9):] is set

bool [: the carrier of CPS9,(CPS9):] is set

IncProjStr(# the carrier of CPS9,(CPS9),(CPS9) #) is strict IncProjStr

X is strict linear () () () () IncProjStr

L is Element of the carrier of CPS9

b3 is Element of the carrier of CPS9

P is Element of the carrier of CPS9

c1 is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

c2 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

A2 is Element of the carrier of CPS9

c3 is Element of the carrier of CPS9

A1 is Element of the carrier of CPS9

the Points of X is non empty set

the Lines of X is non empty set

L is Element of the Points of X

P is Element of the Points of X

b1 is Element of the Points of X

{L,P,b1} is Element of bool the Points of X

bool the Points of X is set

A3 is Element of the Lines of X

b3 is Element of the Points of X

b2 is Element of the Points of X

{L,b3,b2} is Element of bool the Points of X

B1 is Element of the Lines of X

c2 is Element of the Points of X

c1 is Element of the Points of X

{L,c2,c1} is Element of bool the Points of X

B2 is Element of the Lines of X

A2 is Element of the Points of X

{c2,b3,A2} is Element of bool the Points of X

B3 is Element of the Lines of X

c3 is Element of the Points of X

{c2,c3,b1} is Element of bool the Points of X

C1 is Element of the Lines of X

A1 is Element of the Points of X

{b3,A1,b1} is Element of bool the Points of X

C2 is Element of the Lines of X

{A2,b2,c1} is Element of bool the Points of X

C3 is Element of the Lines of X

{P,c3,c1} is Element of bool the Points of X

o9 is Element of the Lines of X

{P,A1,b2} is Element of bool the Points of X

a19 is Element of the Lines of X

{c3,A1,A2} is Element of bool the Points of X

L is Element of the carrier of CPS9

P is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

L is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

P is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

b3 is Element of the carrier of CPS9

L is Element of the Points of X

P is Element of the Lines of X

b1 is Element of the Lines of X

L is Element of the carrier of CPS9

P is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

b3 is Element of the carrier of CPS9

c1 is Element of the carrier of CPS9

c2 is Element of the carrier of CPS9

P is Element of the Points of X

c3 is Element of the Lines of X

b1 is Element of the Points of X

L is Element of the Points of X

A1 is Element of the Lines of X

b2 is Element of the Points of X

A2 is Element of the Lines of X

A3 is Element of the Lines of X

b3 is Element of the Points of X

{b3,L,b2} is Element of bool the Points of X

bool the Points of X is set

{b3,P,b1} is Element of bool the Points of X

c1 is Element of the Points of X

{c1,P,b2} is Element of bool the Points of X

{c1,L,b1} is Element of bool the Points of X

c2 is Element of the Points of X

{c2,L,P} is Element of bool the Points of X

B1 is Element of the Lines of X

{c2,b1,b2} is Element of bool the Points of X

B2 is Element of the Lines of X

{b3,c1} is Element of bool the Points of X

B3 is Element of the Lines of X

L is Element of the Lines of X

P is Element of the Lines of X

the non empty V116() V117() proper Vebleian at_least_3rank Fanoian Pappian non 2-dimensional at_most-3-dimensional CollStr is non empty V116() V117() proper Vebleian at_least_3rank Fanoian Pappian non 2-dimensional at_most-3-dimensional CollStr

CPS9 is non empty V116() V117() proper Vebleian at_least_3rank CollStr

(CPS9) is strict linear () () () () IncProjStr

the carrier of CPS9 is non empty set

(CPS9) is non empty set

bool the carrier of CPS9 is set

{ b

(CPS9) is V7() V10( the carrier of CPS9) V11((CPS9)) Element of bool [: the carrier of CPS9,(CPS9):]

[: the carrier of CPS9,(CPS9):] is set

bool [: the carrier of CPS9,(CPS9):] is set

IncProjStr(# the carrier of CPS9,(CPS9),(CPS9) #) is strict IncProjStr

X is strict linear () () () () IncProjStr

L is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

P is Element of the carrier of CPS9

c1 is Element of the carrier of CPS9

c2 is Element of the carrier of CPS9

b3 is Element of the carrier of CPS9

A2 is Element of the carrier of CPS9

A1 is Element of the carrier of CPS9

c3 is Element of the carrier of CPS9

the Points of X is non empty set

the Lines of X is non empty set

L is Element of the Points of X

P is Element of the Points of X

b1 is Element of the Points of X

b2 is Element of the Points of X

b3 is Element of the Points of X

c1 is Element of the Points of X

c2 is Element of the Points of X

B2 is Element of the Lines of X

C2 is Element of the Lines of X

c3 is Element of the Points of X

{b1,c2,c3} is Element of bool the Points of X

bool the Points of X is set

A3 is Element of the Lines of X

A1 is Element of the Points of X

{b2,b3,A1} is Element of bool the Points of X

B3 is Element of the Lines of X

A2 is Element of the Points of X

{P,c1,A2} is Element of bool the Points of X

C3 is Element of the Lines of X

{P,c2,A1} is Element of bool the Points of X

B1 is Element of the Lines of X

{b2,c1,c3} is Element of bool the Points of X

C1 is Element of the Lines of X

{b1,b3,A2} is Element of bool the Points of X

o9 is Element of the Lines of X

{b3,c1,c2} is Element of bool the Points of X

{P,b1,b2} is Element of bool the Points of X

{c3,A1} is Element of bool the Points of X

a19 is Element of the Lines of X

L is Element of the carrier of CPS9

P is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

L is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

P is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

b3 is Element of the carrier of CPS9

L is Element of the Points of X

P is Element of the Lines of X

b1 is Element of the Lines of X

L is Element of the carrier of CPS9

P is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

b3 is Element of the carrier of CPS9

c1 is Element of the carrier of CPS9

c2 is Element of the carrier of CPS9

P is Element of the Points of X

c3 is Element of the Lines of X

b1 is Element of the Points of X

L is Element of the Points of X

A1 is Element of the Lines of X

b2 is Element of the Points of X

A2 is Element of the Lines of X

A3 is Element of the Lines of X

b3 is Element of the Points of X

{b3,L,b2} is Element of bool the Points of X

bool the Points of X is set

{b3,P,b1} is Element of bool the Points of X

c1 is Element of the Points of X

{c1,P,b2} is Element of bool the Points of X

{c1,L,b1} is Element of bool the Points of X

c2 is Element of the Points of X

{c2,L,P} is Element of bool the Points of X

B1 is Element of the Lines of X

{c2,b1,b2} is Element of bool the Points of X

B2 is Element of the Lines of X

{b3,c1} is Element of bool the Points of X

B3 is Element of the Lines of X

L is Element of the Lines of X

P is Element of the Lines of X

the non empty V116() V117() proper Vebleian at_least_3rank Fanoian Desarguesian 2-dimensional CollStr is non empty V116() V117() proper Vebleian at_least_3rank Fanoian Desarguesian 2-dimensional CollStr

CPS9 is non empty V116() V117() proper Vebleian at_least_3rank CollStr

(CPS9) is strict linear () () () () IncProjStr

the carrier of CPS9 is non empty set

(CPS9) is non empty set

bool the carrier of CPS9 is set

{ b

(CPS9) is V7() V10( the carrier of CPS9) V11((CPS9)) Element of bool [: the carrier of CPS9,(CPS9):]

[: the carrier of CPS9,(CPS9):] is set

bool [: the carrier of CPS9,(CPS9):] is set

IncProjStr(# the carrier of CPS9,(CPS9),(CPS9) #) is strict IncProjStr

X is strict linear () () () () IncProjStr

L is Element of the carrier of CPS9

b3 is Element of the carrier of CPS9

P is Element of the carrier of CPS9

c1 is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

c2 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

A2 is Element of the carrier of CPS9

c3 is Element of the carrier of CPS9

A1 is Element of the carrier of CPS9

the Points of X is non empty set

the Lines of X is non empty set

L is Element of the Points of X

P is Element of the Points of X

b1 is Element of the Points of X

{L,P,b1} is Element of bool the Points of X

bool the Points of X is set

A3 is Element of the Lines of X

b3 is Element of the Points of X

b2 is Element of the Points of X

{L,b3,b2} is Element of bool the Points of X

B1 is Element of the Lines of X

c2 is Element of the Points of X

c1 is Element of the Points of X

{L,c2,c1} is Element of bool the Points of X

B2 is Element of the Lines of X

A2 is Element of the Points of X

{c2,b3,A2} is Element of bool the Points of X

B3 is Element of the Lines of X

c3 is Element of the Points of X

{c2,c3,b1} is Element of bool the Points of X

C1 is Element of the Lines of X

A1 is Element of the Points of X

{b3,A1,b1} is Element of bool the Points of X

C2 is Element of the Lines of X

{A2,b2,c1} is Element of bool the Points of X

C3 is Element of the Lines of X

{P,c3,c1} is Element of bool the Points of X

o9 is Element of the Lines of X

{P,A1,b2} is Element of bool the Points of X

a19 is Element of the Lines of X

{c3,A1,A2} is Element of bool the Points of X

L is Element of the carrier of CPS9

P is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

L is Element of the Lines of X

P is Element of the Lines of X

L is Element of the carrier of CPS9

P is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

b3 is Element of the carrier of CPS9

c1 is Element of the carrier of CPS9

c2 is Element of the carrier of CPS9

P is Element of the Points of X

c3 is Element of the Lines of X

b1 is Element of the Points of X

L is Element of the Points of X

A1 is Element of the Lines of X

b2 is Element of the Points of X

A2 is Element of the Lines of X

A3 is Element of the Lines of X

b3 is Element of the Points of X

{b3,L,b2} is Element of bool the Points of X

bool the Points of X is set

{b3,P,b1} is Element of bool the Points of X

c1 is Element of the Points of X

{c1,P,b2} is Element of bool the Points of X

{c1,L,b1} is Element of bool the Points of X

c2 is Element of the Points of X

{c2,L,P} is Element of bool the Points of X

B1 is Element of the Lines of X

{c2,b1,b2} is Element of bool the Points of X

B2 is Element of the Lines of X

{b3,c1} is Element of bool the Points of X

B3 is Element of the Lines of X

the non empty V116() V117() proper Vebleian at_least_3rank Fanoian Pappian 2-dimensional CollStr is non empty V116() V117() proper Vebleian at_least_3rank Fanoian Pappian 2-dimensional CollStr

CPS9 is non empty V116() V117() proper Vebleian at_least_3rank CollStr

(CPS9) is strict linear () () () () IncProjStr

the carrier of CPS9 is non empty set

(CPS9) is non empty set

bool the carrier of CPS9 is set

{ b

(CPS9) is V7() V10( the carrier of CPS9) V11((CPS9)) Element of bool [: the carrier of CPS9,(CPS9):]

[: the carrier of CPS9,(CPS9):] is set

bool [: the carrier of CPS9,(CPS9):] is set

IncProjStr(# the carrier of CPS9,(CPS9),(CPS9) #) is strict IncProjStr

X is strict linear () () () () IncProjStr

L is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

P is Element of the carrier of CPS9

c1 is Element of the carrier of CPS9

c2 is Element of the carrier of CPS9

b3 is Element of the carrier of CPS9

A2 is Element of the carrier of CPS9

A1 is Element of the carrier of CPS9

c3 is Element of the carrier of CPS9

the Points of X is non empty set

the Lines of X is non empty set

L is Element of the Points of X

P is Element of the Points of X

b1 is Element of the Points of X

b2 is Element of the Points of X

b3 is Element of the Points of X

c1 is Element of the Points of X

c2 is Element of the Points of X

B2 is Element of the Lines of X

C2 is Element of the Lines of X

c3 is Element of the Points of X

{b1,c2,c3} is Element of bool the Points of X

bool the Points of X is set

A3 is Element of the Lines of X

A1 is Element of the Points of X

{b2,b3,A1} is Element of bool the Points of X

B3 is Element of the Lines of X

A2 is Element of the Points of X

{P,c1,A2} is Element of bool the Points of X

C3 is Element of the Lines of X

{P,c2,A1} is Element of bool the Points of X

B1 is Element of the Lines of X

{b2,c1,c3} is Element of bool the Points of X

C1 is Element of the Lines of X

{b1,b3,A2} is Element of bool the Points of X

o9 is Element of the Lines of X

{b3,c1,c2} is Element of bool the Points of X

{P,b1,b2} is Element of bool the Points of X

{c3,A1} is Element of bool the Points of X

a19 is Element of the Lines of X

L is Element of the carrier of CPS9

P is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

L is Element of the Lines of X

P is Element of the Lines of X

L is Element of the carrier of CPS9

P is Element of the carrier of CPS9

b1 is Element of the carrier of CPS9

b2 is Element of the carrier of CPS9

b3 is Element of the carrier of CPS9

c1 is Element of the carrier of CPS9

c2 is Element of the carrier of CPS9

P is Element of the Points of X

c3 is Element of the Lines of X

b1 is Element of the Points of X

L is Element of the Points of X

A1 is Element of the Lines of X

b2 is Element of the Points of X

A2 is Element of the Lines of X

A3 is Element of the Lines of X

b3 is Element of the Points of X

{b3,L,b2} is Element of bool the Points of X

bool the Points of X is set

{b3,P,b1} is Element of bool the Points of X

c1 is Element of the Points of X

{c1,P,b2} is Element of bool the Points of X

{c1,L,b1} is Element of bool the Points of X

c2 is Element of the Points of X

{c2,L,P} is Element of bool the Points of X

B1 is Element of the Lines of X

{c2,b1,b2} is Element of bool the Points of X

B2 is Element of the Lines of X

{b3,c1} is Element of bool the Points of X

B3 is Element of the Lines of X