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

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

y is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

y is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

x is M2( the U1 of OAS)

x is M2( the U1 of OAS)

y is M2( the U1 of OAS)

z is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

y is M2( the U1 of OAS)

z is M2( the U1 of OAS)

x is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

y is M2( the U1 of OAS)

z is M2( the U1 of OAS)

x is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

y is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

y is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

y is M2( the U1 of OAS)

z is M2( the U1 of OAS)

z is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

OAS is V41() V46() OAffinSpace-like AffinStruct

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

p is M2( the U1 of OAS)

a is M2( the U1 of OAS)

b is M2( the U1 of OAS)

p9 is M2( the U1 of OAS)

a9 is M2( the U1 of OAS)

b9 is M2( the U1 of OAS)

x is M2( the U1 of OAS)

y is M2( the U1 of OAS)