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

the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
q is M2( the U1 of AP)
K is M2( the U1 of AP)
Line (b9,a9) is M2(K24( the U1 of AP))
Line (b9,c9) is M2(K24( the U1 of AP))
Line (q,K) is M2(K24( the U1 of AP))

the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
q is M2( the U1 of AP)
K is M2( the U1 of AP)
Line (b9,c9) is M2(K24( the U1 of AP))
Line (b9,a9) is M2(K24( the U1 of AP))
Line (c,p) is M2(K24( the U1 of AP))
Line (c,b) is M2(K24( the U1 of AP))

the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
q is M2( the U1 of AP)
K is M2( the U1 of AP)
Line (b9,c9) is M2(K24( the U1 of AP))
N is M2(K24( the U1 of AP))
Line (c,p) is M2(K24( the U1 of AP))
T is M2( the U1 of AP)
Line (c,b) is M2(K24( the U1 of AP))

the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
q is M2( the U1 of AP)
K is M2( the U1 of AP)
Line (c,b) is M2(K24( the U1 of AP))
Line (c,p) is M2(K24( the U1 of AP))
Line (b9,c9) is M2(K24( the U1 of AP))
T is M2(K24( the U1 of AP))
M is M2( the U1 of AP)
Line (a9,c9) is M2(K24( the U1 of AP))
Line (b9,a9) is M2(K24( the U1 of AP))
Line (c9,p) is M2(K24( the U1 of AP))

the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
q is M2( the U1 of AP)
K is M2( the U1 of AP)
Line (b9,c9) is M2(K24( the U1 of AP))
Line (c,b) is M2(K24( the U1 of AP))
x is M2( the U1 of AP)
x is M2( the U1 of AP)

the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
Line (a9,b9) is M2(K24( the U1 of AP))
K is M2(K24( the U1 of AP))
Line (a9,b) is M2(K24( the U1 of AP))
Line (c9,c) is M2(K24( the U1 of AP))
Line (b,a9) is M2(K24( the U1 of AP))
Line (c,p) is M2(K24( the U1 of AP))
x is M2( the U1 of AP)
T is M2(K24( the U1 of AP))
M is M2( the U1 of AP)
A9 is M2( the U1 of AP)
Line (A9,a9) is M2(K24( the U1 of AP))

the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
q is M2( the U1 of AP)
Line (b9,a9) is M2(K24( the U1 of AP))
Line (a,c) is M2(K24( the U1 of AP))
Line (a9,c9) is M2(K24( the U1 of AP))
Line (b,c) is M2(K24( the U1 of AP))
Line (b9,c9) is M2(K24( the U1 of AP))
M is M2(K24( the U1 of AP))
Line (b,a) is M2(K24( the U1 of AP))
x is M2( the U1 of AP)
y is M2( the U1 of AP)
x is M2( the U1 of AP)
y is M2( the U1 of AP)

the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
q is M2( the U1 of AP)
Line (a,c) is M2(K24( the U1 of AP))
Line (p,q) is M2(K24( the U1 of AP))
Line (a9,c9) is M2(K24( the U1 of AP))
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
q is M2( the U1 of AP)
Line (a,c) is M2(K24( the U1 of AP))
Line (p,q) is M2(K24( the U1 of AP))
Line (a9,c9) is M2(K24( the U1 of AP))

the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
q is M2( the U1 of AP)
Line (a,c) is M2(K24( the U1 of AP))
Line (p,q) is M2(K24( the U1 of AP))
Line (a9,c9) is M2(K24( the U1 of AP))
the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
q is M2( the U1 of AP)
Line (a,c) is M2(K24( the U1 of AP))
Line (p,q) is M2(K24( the U1 of AP))
Line (a9,c9) is M2(K24( the U1 of AP))

the U1 of AP is V4() V5() set
K24( the U1 of AP) is set
A is M2(K24( the U1 of AP))
P is M2(K24( the U1 of AP))
C is M2(K24( the U1 of AP))
a is M2( the U1 of AP)
a9 is M2( the U1 of AP)
b is M2( the U1 of AP)
b9 is M2( the U1 of AP)
c is M2( the U1 of AP)
c9 is M2( the U1 of AP)
p is M2( the U1 of AP)
q is M2( the U1 of AP)
Line (p,q) is M2(K24( the U1 of AP))
Line (a,c) is M2(K24( the U1 of AP))
Line (a9,c9) is M2(K24( the U1 of AP))
x is M2( the U1 of AP)