:: CONMETR semantic presentation

K75() is Element of K24(K71())

K71() is set

K24(K71()) is set

K70() is set

K24(K70()) is set

K24(K75()) is set

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

b3 is Element of the carrier of X

a3 is Element of the carrier of (Af X)

b2 is Element of the carrier of (Af X)

b1 is Element of the carrier of (Af X)

b1 is Element of the carrier of (Af X)

b2 is Element of the carrier of (Af X)

a3 is Element of the carrier of (Af X)

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of the carrier of X

b1 is Element of the carrier of X

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

M is Element of the carrier of (Af X)

N is Element of the carrier of (Af X)

o9 is Element of the carrier of (Af X)

b2 is Element of the carrier of (Af X)

b3 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

a29 is Element of the carrier of X

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

K24( the carrier of X) is set

o is Element of K24( the carrier of X)

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of the carrier of X

Line (a2,a3) is Element of K24( the carrier of X)

b1 is Element of the carrier of X

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

Line (a1,b1) is Element of K24( the carrier of X)

M is Element of K24( the carrier of X)

b2 is Element of the carrier of (Af X)

b3 is Element of the carrier of (Af X)

Line (b2,b3) is Element of K24( the carrier of (Af X))

K24( the carrier of (Af X)) is set

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

K24( the carrier of X) is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of K24( the carrier of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

K24( the carrier of (Af X)) is set

M is Element of K24( the carrier of (Af X))

b1 is Element of the carrier of (Af X)

b2 is Element of the carrier of (Af X)

b3 is Element of the carrier of (Af X)

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

K24( the carrier of X) is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of K24( the carrier of X)

a3 is Element of K24( the carrier of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

K24( the carrier of (Af X)) is set

b2 is Element of K24( the carrier of (Af X))

b1 is Element of K24( the carrier of (Af X))

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

K24( the carrier of X) is set

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

K24( the carrier of (Af X)) is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of the carrier of X

b1 is Element of K24( the carrier of X)

b2 is Element of K24( the carrier of (Af X))

b3 is Element of the carrier of (Af X)

M is Element of the carrier of (Af X)

N is Element of the carrier of (Af X)

o9 is Element of the carrier of (Af X)

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

K24( the carrier of (Af X)) is set

o is Element of K24( the carrier of (Af X))

a1 is Element of the carrier of (Af X)

b1 is Element of the carrier of (Af X)

M is Element of the carrier of (Af X)

a2 is Element of the carrier of (Af X)

a3 is Element of the carrier of (Af X)

b2 is Element of the carrier of (Af X)

b3 is Element of the carrier of (Af X)

the carrier of X is set

K24( the carrier of X) is set

a19 is Element of the carrier of X

b29 is Element of the carrier of X

a29 is Element of the carrier of X

b39 is Element of the carrier of X

a39 is Element of the carrier of X

b19 is Element of the carrier of X

o9 is Element of the carrier of X

N is Element of K24( the carrier of X)

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of X is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of the carrier of X

b1 is Element of the carrier of X

b2 is Element of the carrier of X

the carrier of (Af X) is set

b3 is Element of the carrier of (Af X)

M is Element of the carrier of (Af X)

K24( the carrier of (Af X)) is set

a39 is Element of K24( the carrier of (Af X))

N is Element of the carrier of (Af X)

o9 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

Line (b3,M) is Element of K24( the carrier of (Af X))

a19 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

b19 is Element of K24( the carrier of (Af X))

b29 is Element of K24( the carrier of (Af X))

b39 is Element of the carrier of (Af X)

M9 is Element of the carrier of (Af X)

Line (a19,a29) is Element of K24( the carrier of (Af X))

b39 is Element of the carrier of (Af X)

M9 is Element of the carrier of (Af X)

Line (N,o9) is Element of K24( the carrier of (Af X))

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

K24( the carrier of X) is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of the carrier of X

b1 is Element of the carrier of X

b2 is Element of the carrier of X

b3 is Element of the carrier of X

M is Element of the carrier of X

N is Element of K24( the carrier of X)

o9 is Element of K24( the carrier of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

K24( the carrier of (Af X)) is set

a29 is Element of K24( the carrier of (Af X))

a19 is Element of K24( the carrier of (Af X))

c2 is Element of the carrier of (Af X)

c2 is Element of the carrier of X

c29 is Element of the carrier of (Af X)

c3 is Element of the carrier of (Af X)

d29 is Element of the carrier of (Af X)

d29 is Element of the carrier of X

e1 is Element of the carrier of X

d2 is Element of the carrier of (Af X)

e2 is Element of the carrier of (Af X)

c19 is Element of the carrier of (Af X)

N9 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

c39 is Element of the carrier of X

M9 is Element of the carrier of (Af X)

c1 is Element of the carrier of (Af X)

e19 is Element of the carrier of (Af X)

d39 is Element of the carrier of (Af X)

e29 is Element of the carrier of X

e2 is Element of the carrier of X

e1 is Element of the carrier of (Af X)

M9 is Element of the carrier of (Af X)

c1 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

N9 is Element of the carrier of (Af X)

c19 is Element of the carrier of (Af X)

d3 is Element of the carrier of X

b19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

e19 is Element of the carrier of (Af X)

e29 is Element of the carrier of X

d49 is Element of the carrier of (Af X)

A9 is Element of the carrier of X

A is Element of the carrier of (Af X)

N9 is Element of the carrier of (Af X)

c19 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

d4 is Element of the carrier of X

c1 is Element of the carrier of (Af X)

d4 is Element of the carrier of (Af X)

K9 is Element of the carrier of X

N9 is Element of the carrier of (Af X)

M9 is Element of the carrier of (Af X)

c1 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

c19 is Element of the carrier of (Af X)

c3 is Element of K24( the carrier of (Af X))

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

K24( the carrier of X) is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of the carrier of X

b1 is Element of the carrier of X

b2 is Element of the carrier of X

b3 is Element of the carrier of X

M is Element of the carrier of X

N is Element of K24( the carrier of X)

o9 is Element of K24( the carrier of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

K24( the carrier of (Af X)) is set

a29 is Element of K24( the carrier of (Af X))

a19 is Element of K24( the carrier of (Af X))

c2 is Element of the carrier of (Af X)

c2 is Element of the carrier of X

c29 is Element of the carrier of (Af X)

c3 is Element of the carrier of (Af X)

c3 is Element of the carrier of X

d29 is Element of the carrier of X

d2 is Element of the carrier of X

b29 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

c1 is Element of the carrier of (Af X)

e1 is Element of the carrier of (Af X)

c39 is Element of the carrier of (Af X)

e2 is Element of the carrier of (Af X)

N9 is Element of the carrier of (Af X)

c19 is Element of the carrier of (Af X)

e19 is Element of the carrier of (Af X)

e29 is Element of the carrier of X

M9 is Element of the carrier of (Af X)

d39 is Element of the carrier of X

e2 is Element of the carrier of X

e1 is Element of the carrier of X

N9 is Element of the carrier of (Af X)

e19 is Element of the carrier of (Af X)

d3 is Element of the carrier of (Af X)

e29 is Element of the carrier of (Af X)

d49 is Element of the carrier of (Af X)

d4 is Element of the carrier of X

c19 is Element of the carrier of (Af X)

A9 is Element of the carrier of X

A is Element of the carrier of X

d4 is Element of the carrier of (Af X)

K9 is Element of the carrier of (Af X)

K is Element of the carrier of (Af X)

d19 is Element of the carrier of X

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of the carrier of X

b1 is Element of the carrier of X

b2 is Element of the carrier of X

b3 is Element of the carrier of X

M is Element of the carrier of X

N is Element of the carrier of X

o9 is Element of the carrier of X

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

a19 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

c1 is Element of the carrier of (Af X)

N9 is Element of the carrier of (Af X)

c19 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

c2 is Element of the carrier of (Af X)

c29 is Element of the carrier of X

a29 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

c3 is Element of the carrier of X

c39 is Element of the carrier of X

d29 is Element of the carrier of (Af X)

d2 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

e1 is Element of the carrier of (Af X)

e2 is Element of the carrier of X

b39 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

e19 is Element of the carrier of X

e29 is Element of the carrier of X

d39 is Element of the carrier of (Af X)

d3 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

M9 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

e2 is Element of the carrier of (Af X)

e1 is Element of the carrier of X

a29 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

M9 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

M9 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

M9 is Element of the carrier of (Af X)

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

K24( the carrier of X) is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of the carrier of X

b1 is Element of the carrier of X

b2 is Element of the carrier of X

b3 is Element of the carrier of X

M is Element of the carrier of X

N is Element of K24( the carrier of X)

o9 is Element of K24( the carrier of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

K24( the carrier of (Af X)) is set

c1 is Element of K24( the carrier of (Af X))

c19 is Element of K24( the carrier of (Af X))

b19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

N9 is Element of the carrier of (Af X)

c2 is Element of the carrier of X

c29 is Element of the carrier of X

c39 is Element of the carrier of X

d29 is Element of the carrier of (Af X)

c3 is Element of the carrier of (Af X)

d2 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

e1 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

M9 is Element of the carrier of (Af X)

e2 is Element of the carrier of X

a19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

c2 is Element of the carrier of (Af X)

c29 is Element of the carrier of X

c3 is Element of K24( the carrier of X)

c39 is Element of K24( the carrier of (Af X))

d29 is Element of the carrier of X

d29 is Element of the carrier of (Af X)

d2 is Element of K24( the carrier of (Af X))

e1 is Element of K24( the carrier of X)

e2 is Element of the carrier of X

e19 is Element of the carrier of (Af X)

e29 is Element of the carrier of (Af X)

d29 is Element of the carrier of (Af X)

d2 is Element of the carrier of (Af X)

e1 is Element of the carrier of (Af X)

e2 is Element of the carrier of (Af X)

e19 is Element of the carrier of X

d39 is Element of the carrier of X

d3 is Element of the carrier of X

e29 is Element of the carrier of X

e19 is Element of the carrier of (Af X)

e29 is Element of the carrier of (Af X)

e2 is Element of the carrier of X

e1 is Element of the carrier of X

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

K24( the carrier of X) is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of the carrier of X

b1 is Element of the carrier of X

b2 is Element of the carrier of X

b3 is Element of the carrier of X

M is Element of K24( the carrier of X)

N is Element of K24( the carrier of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

K24( the carrier of (Af X)) is set

M9 is Element of K24( the carrier of (Af X))

N9 is Element of K24( the carrier of (Af X))

o9 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

o9 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

c1 is Element of the carrier of X

c19 is Element of the carrier of (Af X)

c2 is Element of the carrier of (Af X)

c29 is Element of K24( the carrier of (Af X))

c3 is Element of K24( the carrier of X)

c39 is Element of the carrier of X

d29 is Element of the carrier of (Af X)

c39 is Element of the carrier of X

d29 is Element of the carrier of (Af X)

Line (o,c1) is Element of K24( the carrier of X)

c39 is Element of the carrier of (Af X)

d29 is Element of the carrier of (Af X)

Line (c39,d29) is Element of K24( the carrier of (Af X))

d2 is Element of the carrier of X

e1 is Element of the carrier of X

c39 is Element of the carrier of (Af X)

d29 is Element of the carrier of (Af X)

d2 is Element of the carrier of (Af X)

e2 is Element of the carrier of X

e1 is Element of the carrier of X

a29 is Element of the carrier of (Af X)

e19 is Element of the carrier of (Af X)

e29 is Element of the carrier of (Af X)

d39 is Element of the carrier of X

b19 is Element of the carrier of (Af X)

c1 is Element of the carrier of X

c19 is Element of the carrier of (Af X)

c2 is Element of the carrier of (Af X)

c29 is Element of K24( the carrier of (Af X))

c3 is Element of K24( the carrier of X)

c39 is Element of the carrier of X

d29 is Element of the carrier of (Af X)

c39 is Element of the carrier of X

d29 is Element of the carrier of (Af X)

Line (o,c1) is Element of K24( the carrier of X)

c39 is Element of the carrier of (Af X)

d29 is Element of the carrier of (Af X)

Line (c39,d29) is Element of K24( the carrier of (Af X))

d2 is Element of the carrier of X

e1 is Element of the carrier of X

c39 is Element of the carrier of (Af X)

d29 is Element of the carrier of (Af X)

d2 is Element of the carrier of (Af X)

e1 is Element of the carrier of X

e2 is Element of the carrier of X

e19 is Element of the carrier of (Af X)

e29 is Element of the carrier of (Af X)

d39 is Element of the carrier of X

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

K24( the carrier of X) is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of the carrier of X

b1 is Element of the carrier of X

b2 is Element of the carrier of X

b3 is Element of the carrier of X

M is Element of K24( the carrier of X)

N is Element of K24( the carrier of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

K24( the carrier of (Af X)) is set

N9 is Element of K24( the carrier of (Af X))

M9 is Element of K24( the carrier of (Af X))

c1 is Element of the carrier of X

c19 is Element of the carrier of X

c29 is Element of the carrier of X

o9 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

c2 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

d29 is Element of the carrier of (Af X)

d2 is Element of the carrier of (Af X)

c3 is Element of the carrier of (Af X)

c39 is Element of the carrier of (Af X)

d29 is Element of the carrier of (Af X)

d2 is Element of the carrier of X

e1 is Element of the carrier of X

e2 is Element of the carrier of X

d39 is Element of the carrier of (Af X)

d3 is Element of the carrier of (Af X)

e19 is Element of the carrier of (Af X)

e29 is Element of the carrier of (Af X)

d39 is Element of the carrier of (Af X)

d3 is Element of the carrier of X

e2 is Element of the carrier of X

e1 is Element of the carrier of X

d49 is Element of the carrier of (Af X)

d4 is Element of the carrier of (Af X)

e19 is Element of the carrier of (Af X)

e29 is Element of the carrier of (Af X)

d49 is Element of the carrier of (Af X)

d4 is Element of the carrier of X

A9 is Element of K24( the carrier of (Af X))

Line (c2,d39) is Element of K24( the carrier of (Af X))

A is Element of K24( the carrier of X)

Line (c19,d3) is Element of K24( the carrier of X)

K9 is Element of K24( the carrier of (Af X))

K is Element of K24( the carrier of X)

a29 is Element of the carrier of (Af X)

d4 is Element of the carrier of X

d49 is Element of the carrier of (Af X)

d29 is Element of the carrier of (Af X)

d19 is Element of the carrier of (Af X)

d39 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

Line (d29,d49) is Element of K24( the carrier of (Af X))

Line (d2,d4) is Element of K24( the carrier of X)

d19 is Element of the carrier of (Af X)

d39 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

A9 is Element of K24( the carrier of (Af X))

d29 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

A is Element of K24( the carrier of X)

d29 is Element of the carrier of (Af X)

d49 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

d49 is Element of the carrier of (Af X)

d29 is Element of the carrier of (Af X)

d49 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

K9 is Element of K24( the carrier of (Af X))

a29 is Element of the carrier of (Af X)

K is Element of K24( the carrier of X)

Line (d29,d49) is Element of K24( the carrier of (Af X))

Line (d19,d39) is Element of K24( the carrier of (Af X))

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the carrier of X is set

K24( the carrier of X) is set

o is Element of the carrier of X

a1 is Element of the carrier of X

a2 is Element of the carrier of X

a3 is Element of the carrier of X

b1 is Element of the carrier of X

b2 is Element of the carrier of X

b3 is Element of the carrier of X

M is Element of K24( the carrier of X)

N is Element of K24( the carrier of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the carrier of (Af X) is set

K24( the carrier of (Af X)) is set

N9 is Element of K24( the carrier of (Af X))

M9 is Element of K24( the carrier of (Af X))

o9 is Element of the carrier of (Af X)

b19 is Element of the carrier of (Af X)

a19 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

a29 is Element of the carrier of (Af X)

b29 is Element of the carrier of (Af X)

b39 is Element of the carrier of (Af X)

c1 is Element of the carrier of X

c19 is Element of the carrier of X

c2 is Element of the carrier of X

c29 is Element of the carrier of (Af X)

c3 is Element of the carrier of (Af X)

c39 is Element of the carrier of (Af X)

a39 is Element of the carrier of (Af X)

c1 is Element of the carrier of X

c19 is Element of the carrier of (Af X)

c2 is Element of the carrier of X

c29 is Element of the carrier of (Af X)

c3 is Element of the carrier of X

c39 is Element of the carrier of (Af X)