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

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the U1 of X is set

a is M2( the U1 of X)

b is M2( the U1 of X)

c is M2( the U1 of X)

e1 is M2( the U1 of X)

e2 is M2( the U1 of X)

a9 is M2( the U1 of X)

b9 is M2( the U1 of X)

c9 is M2( the U1 of X)

e19 is M2( the U1 of X)

e29 is M2( the U1 of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the U1 of (Af X) is set

d9 is M2( the U1 of (Af X))

d19 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

d1 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

o is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e is M2( the U1 of X)

e9 is M2( the U1 of X)

e1 is M2( the U1 of X)

e19 is M2( the U1 of (Af X))

p1 is M2( the U1 of (Af X))

e2 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

p19 is M2( the U1 of (Af X))

e19 is M2( the U1 of X)

e2 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

o is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

o is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e2 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e2 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

o is M2( the U1 of (Af X))

o is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

o is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

o is M2( the U1 of (Af X))

e2 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the U1 of X is set

a is M2( the U1 of X)

b is M2( the U1 of X)

c is M2( the U1 of X)

e1 is M2( the U1 of X)

e2 is M2( the U1 of X)

a9 is M2( the U1 of X)

b9 is M2( the U1 of X)

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the U1 of X is set

a is M2( the U1 of X)

b is M2( the U1 of X)

c is M2( the U1 of X)

e1 is M2( the U1 of X)

e2 is M2( the U1 of X)

a9 is M2( the U1 of X)

b9 is M2( the U1 of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the U1 of (Af X) is set

e1 is M2( the U1 of X)

e2 is M2( the U1 of X)

o is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

c9 is M2( the U1 of (Af X))

o is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

d19 is M2( the U1 of (Af X))

d1 is M2( the U1 of X)

e19 is M2( the U1 of (Af X))

e1 is M2( the U1 of X)

e1 is M2( the U1 of X)

o is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

c9 is M2( the U1 of (Af X))

o is M2( the U1 of (Af X))

c9 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

d9 is M2( the U1 of (Af X))

e2 is M2( the U1 of (Af X))

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the U1 of X is set

a is M2( the U1 of X)

b is M2( the U1 of X)

c is M2( the U1 of X)

e1 is M2( the U1 of X)

e2 is M2( the U1 of X)

a9 is M2( the U1 of X)

b9 is M2( the U1 of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the U1 of (Af X) is set

e1 is M2( the U1 of X)

e2 is M2( the U1 of X)

e19 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

o is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

c9 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

c9 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

d9 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

c9 is M2( the U1 of (Af X))

d19 is M2( the U1 of (Af X))

d1 is M2( the U1 of X)

c9 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

d9 is M2( the U1 of (Af X))

c9 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

c9 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

e1 is M2( the U1 of X)

e1 is M2( the U1 of X)

o is M2( the U1 of (Af X))

c9 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

d9 is M2( the U1 of (Af X))

d9 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

o is M2( the U1 of (Af X))

c9 is M2( the U1 of (Af X))

d is M2( the U1 of (Af X))

d9 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e2 is M2( the U1 of (Af X))

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the U1 of X is set

a is M2( the U1 of X)

b is M2( the U1 of X)

c is M2( the U1 of X)

e1 is M2( the U1 of X)

e2 is M2( the U1 of X)

a9 is M2( the U1 of X)

b9 is M2( the U1 of X)

c9 is M2( the U1 of X)

e19 is M2( the U1 of X)

e29 is M2( the U1 of X)

d9 is M2( the U1 of X)

d is M2( the U1 of X)

o9 is M2( the U1 of X)

o is M2( the U1 of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the U1 of (Af X) is set

e19 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

d19 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

d19 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

d1 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

d19 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e2 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e is M2( the U1 of X)

e1 is M2( the U1 of X)

e9 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

p1 is M2( the U1 of (Af X))

p19 is M2( the U1 of X)

e is M2( the U1 of X)

e is M2( the U1 of X)

e1 is M2( the U1 of X)

p1 is M2( the U1 of X)

e19 is M2( the U1 of (Af X))

p19 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

e1 is M2( the U1 of X)

e1 is M2( the U1 of X)

e1 is M2( the U1 of X)

e9 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

c9 is M2( the U1 of X)

e19 is M2( the U1 of X)

e29 is M2( the U1 of X)

d9 is M2( the U1 of X)

d is M2( the U1 of X)

o9 is M2( the U1 of X)

o is M2( the U1 of X)

e19 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

d19 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

d19 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

d1 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

d19 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e2 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e is M2( the U1 of X)

e1 is M2( the U1 of X)

e9 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

p1 is M2( the U1 of (Af X))

p19 is M2( the U1 of X)

e is M2( the U1 of X)

e is M2( the U1 of X)

e1 is M2( the U1 of X)

p1 is M2( the U1 of X)

e9 is M2( the U1 of (Af X))

p19 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

e9 is M2( the U1 of (Af X))

p19 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

e1 is M2( the U1 of X)

e1 is M2( the U1 of X)

e1 is M2( the U1 of X)

e9 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

c9 is M2( the U1 of X)

e19 is M2( the U1 of X)

e29 is M2( the U1 of X)

d9 is M2( the U1 of X)

d is M2( the U1 of X)

o9 is M2( the U1 of X)

o is M2( the U1 of X)

e2 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

e1 is M2( the U1 of (Af X))

e2 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr

the U1 of X is set

a is M2( the U1 of X)

b is M2( the U1 of X)

c is M2( the U1 of X)

e1 is M2( the U1 of X)

e2 is M2( the U1 of X)

Af X is V41() V46() strict V103() V104() AffinStruct

the U1 of (Af X) is set

a9 is M2( the U1 of (Af X))

e19 is M2( the U1 of (Af X))

b9 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

c9 is M2( the U1 of (Af X))

d9 is M2( the U1 of (Af X))

d is M2( the U1 of X)

c9 is M2( the U1 of (Af X))

o9 is M2( the U1 of (Af X))

o is M2( the U1 of X)

e1 is M2( the U1 of X)

e2 is M2( the U1 of X)

e19 is M2( the U1 of (Af X))

e29 is M2( the U1 of (Af X))

d19 is M2( the U1 of (Af X))

d1 is M2( the U1 of X)