:: AFF_2 semantic presentation

K75() is M2(K24(K71()))

K71() is set

K24(K71()) is set

K70() is set

K24(K70()) is set

K24(K75()) is set

K19() is set

1 is set

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

A is M2( the U1 of AP)

A9 is M2( the U1 of AP)

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

A is M2( the U1 of AP)

Line (b,A) is M2(K24( the U1 of AP))

Line (c,b9) is M2(K24( the U1 of AP))

P9 is M2(K24( the U1 of AP))

C9 is M2( the U1 of AP)

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2(K24( the U1 of AP))

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

A is M2( the U1 of AP)

A9 is M2( the U1 of AP)

Line (b,A9) is M2(K24( the U1 of AP))

P9 is M2( the U1 of AP)

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2(K24( the U1 of AP))

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

A is M2( the U1 of AP)

A9 is M2( the U1 of AP)

Line (c,b9) is M2(K24( the U1 of AP))

Line (A,A9) is M2(K24( the U1 of AP))

C9 is M2(K24( the U1 of AP))

C is M2( the U1 of AP)

Line (A9,C) is M2(K24( the U1 of AP))

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2( the U1 of AP)

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

A is M2(K24( the U1 of AP))

Line (N,b) is M2(K24( the U1 of AP))

Line (N,a) is M2(K24( the U1 of AP))

P9 is M2( the U1 of AP)

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2( the U1 of AP)

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

Line (N,a) is M2(K24( the U1 of AP))

Line (N,b) is M2(K24( the U1 of AP))

P is M2(K24( the U1 of AP))

Line (b9,c9) is M2(K24( the U1 of AP))

C9 is M2( the U1 of AP)

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2( the U1 of AP)

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

Line (N,a) is M2(K24( the U1 of AP))

Line (N,b) is M2(K24( the U1 of AP))

Line (b,c) is M2(K24( the U1 of AP))

P9 is M2( the U1 of AP)

C9 is M2(K24( the U1 of AP))

C is M2( the U1 of AP)

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2( the U1 of AP)

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

Line (N,a) is M2(K24( the U1 of AP))

Line (N,b) is M2(K24( the U1 of AP))

Line (b,c) is M2(K24( the U1 of AP))

Line (a9,c9) is M2(K24( the U1 of AP))

C9 is M2(K24( the U1 of AP))

C is M2( the U1 of AP)

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2(K24( the U1 of AP))

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

A is M2( the U1 of AP)

A9 is M2(K24( the U1 of AP))

P is M2( the U1 of AP)

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2(K24( the U1 of AP))

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

A is M2( the U1 of AP)

Line (b,a9) is M2(K24( the U1 of AP))

Line (c9,A) is M2(K24( the U1 of AP))

P9 is M2(K24( the U1 of AP))

C9 is M2( the U1 of AP)

Line (C9,A) is M2(K24( the U1 of AP))

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

Line (c,b9) is M2(K24( the U1 of AP))

A9 is M2(K24( the U1 of AP))

P is M2( the U1 of AP)

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

Line (c,a9) is M2(K24( the U1 of AP))

Line (b,c9) is M2(K24( the U1 of AP))

P is M2(K24( the U1 of AP))

P9 is M2( the U1 of AP)

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

Line (a,c9) is M2(K24( the U1 of AP))

Line (c,b9) is M2(K24( the U1 of AP))

P is M2(K24( the U1 of AP))

P9 is M2( the U1 of AP)

Line (P9,b) is M2(K24( the U1 of AP))

C is M2( the U1 of AP)

s is M2( the U1 of AP)

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

A is M2( the U1 of AP)

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

A is M2( the U1 of AP)

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2(K24( the U1 of AP))

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

A is M2( the U1 of AP)

A9 is M2( the U1 of AP)

Line (A,A9) is M2(K24( the U1 of AP))

Line (c9,A) is M2(K24( the U1 of AP))

Line (c9,A9) is M2(K24( the U1 of AP))

Line (a9,b9) is M2(K24( the U1 of AP))

Line (c,a9) is M2(K24( the U1 of AP))

Line (c,b9) is M2(K24( the U1 of AP))

p is M2(K24( the U1 of AP))

R is M2( the U1 of AP)

Line (c9,R) is M2(K24( the U1 of AP))

T is M2(K24( the U1 of AP))

q is M2( the U1 of AP)

r is M2( the U1 of AP)

C is M2(K24( the U1 of AP))

s is M2( the U1 of AP)

M is M2(K24( the U1 of AP))

p is M2( the U1 of AP)

Line (c,s) is M2(K24( the U1 of AP))

r is M2( the U1 of AP)

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2( the U1 of AP)

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

Line (N,a) is M2(K24( the U1 of AP))

Line (N,b) is M2(K24( the U1 of AP))

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2(K24( the U1 of AP))

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

A is M2( the U1 of AP)

Line (b,c) is M2(K24( the U1 of AP))

Line (b9,c9) is M2(K24( the U1 of AP))

P9 is M2( the U1 of AP)

C9 is M2(K24( the U1 of AP))

C is M2( the U1 of AP)

s is M2( the U1 of AP)

M is M2(K24( the U1 of AP))

p is M2( the U1 of AP)

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

AP is V41() V46() AffinSpace-like 2-dimensional AffinStruct

the U1 of AP is V4() V5() set

K24( the U1 of AP) is set

M is M2(K24( the U1 of AP))

N is M2(K24( the U1 of AP))

a is M2( the U1 of AP)

b is M2( the U1 of AP)

c is M2( the U1 of AP)

a9 is M2( the U1 of AP)

b9 is M2( the U1 of AP)

c9 is M2( the U1 of AP)

Line (a,b9) is M2(K24( the U1 of AP))

Line (b,a9) is M2(K24( the U1 of AP))

Line (b,c9) is M2(K24( the U1 of AP))

Line (c,b9) is M2(K24( the U1 of AP))

C9 is M2(K24( the U1 of AP))

C is M2(K24( the U1 of AP))

s is M2( the U1 of AP)