:: PARDEPAP 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

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

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

o is M2( the U1 of SAS)

a is M2( the U1 of SAS)

p is M2( the U1 of SAS)

b is M2( the U1 of SAS)

c is M2( the U1 of SAS)

d is M2( the U1 of SAS)

K24( the U1 of SAS) is set

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

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

P is M2( the U1 of SAS)

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

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

o is M2( the U1 of SAS)

a is M2( the U1 of SAS)

b is M2( the U1 of SAS)

d is M2( the U1 of SAS)

p is M2( the U1 of SAS)

c is M2( the U1 of SAS)

A is M2( the U1 of SAS)

K24( the U1 of SAS) is set

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

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

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

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

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

o is M2( the U1 of SAS)

a is M2( the U1 of SAS)

p is M2( the U1 of SAS)

c is M2( the U1 of SAS)

b is M2( the U1 of SAS)

d is M2( the U1 of SAS)

Line (o,a) is M2(K24( the U1 of SAS))

K24( the U1 of SAS) is set

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

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

the V41() V46() AffinSpace-like 2-dimensional Pappian Desarguesian translational Fanoian AffinStruct is V41() V46() AffinSpace-like 2-dimensional Pappian Desarguesian translational Fanoian AffinStruct

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

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

a is M2( the U1 of o)

p is M2( the U1 of o)

c is M2( the U1 of o)

A is M2( the U1 of o)

b is M2( the U1 of o)

d is M2( the U1 of o)

C is M2( the U1 of o)

P is M2( the U1 of o)

C is M2( the U1 of o)

c

c

c

c

c

c

c

c

c

c

c

c

c

c

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

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

o is M2( the U1 of SAS)

a is M2( the U1 of SAS)

p is M2( the U1 of SAS)

b is M2( the U1 of SAS)

c is M2( the U1 of SAS)

p is M2( the U1 of SAS)

p is M2( the U1 of SAS)

b is M2( the U1 of SAS)

c is M2( the U1 of SAS)

d is M2( the U1 of SAS)

d is M2( the U1 of SAS)

d is M2( the U1 of SAS)