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