:: LATTICES semantic presentation

K92() is non empty V24() V25() V26() V31() cardinal limit_cardinal set

bool K92() is non empty V31() set

{} is empty V24() V25() V26() V28() V29() V30() V31() cardinal {} -element set

1 is non empty V24() V25() V26() V30() V31() cardinal M2(K92())

bool {} is non empty set

{{}} is non empty trivial 1 -element set

L is non empty set

[:L,L:] is non empty set

[:[:L,L:],L:] is non empty set

bool [:[:L,L:],L:] is non empty set

S is V6() V18([:L,L:],L) M2( bool [:[:L,L:],L:])

(L,S) is () ()

(L,S) is () ()

L is non empty set

[:L,L:] is non empty set

[:[:L,L:],L:] is non empty set

bool [:[:L,L:],L:] is non empty set

S is V6() V18([:L,L:],L) M2( bool [:[:L,L:],L:])

p is V6() V18([:L,L:],L) M2( bool [:[:L,L:],L:])

(L,S,p) is () ()

[:(bool {}),(bool {}):] is non empty set

[:[:(bool {}),(bool {}):],(bool {}):] is non empty set

bool [:[:(bool {}),(bool {}):],(bool {}):] is non empty set

the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]) is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])) is non empty () ()

S is non empty () ()

[:(bool {}),(bool {}):] is non empty set

[:[:(bool {}),(bool {}):],(bool {}):] is non empty set

bool [:[:(bool {}),(bool {}):],(bool {}):] is non empty set

the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]) is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])) is non empty () ()

S is non empty () ()

[:(bool {}),(bool {}):] is non empty set

[:[:(bool {}),(bool {}):],(bool {}):] is non empty set

bool [:[:(bool {}),(bool {}):],(bool {}):] is non empty set

the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]) is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])) is non empty () ()

S is non empty () ()

L is non empty ()

the carrier of L is non empty set

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

the of L . (S,p) is M2( the carrier of L)

L is non empty ()

the carrier of L is non empty set

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

the of L . (S,p) is M2( the carrier of L)

L is non empty ()

the carrier of L is non empty set

[:(bool {}),(bool {}):] is non empty set

[:[:(bool {}),(bool {}):],(bool {}):] is non empty set

bool [:[:(bool {}),(bool {}):],(bool {}):] is non empty set

L is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

S is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}),L,S) is non empty () ()

the carrier of ((bool {}),L,S) is non empty set

p is M2( the carrier of ((bool {}),L,S))

x is M2( the carrier of ((bool {}),L,S))

L is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}),L) is non empty () ()

the carrier of ((bool {}),L) is non empty set

S is M2( the carrier of ((bool {}),L))

p is M2( the carrier of ((bool {}),L))

L is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}),L) is non empty () ()

the carrier of ((bool {}),L) is non empty set

S is M2( the carrier of ((bool {}),L))

p is M2( the carrier of ((bool {}),L))

L is non empty ()

L is non empty ()

the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]) is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])) is non empty () ()

S is non empty () ()

the carrier of S is non empty set

p is M2( the carrier of S)

x is M2( the carrier of S)

(S,p,x) is M2( the carrier of S)

the of S is V6() V18([: the carrier of S, the carrier of S:], the carrier of S) M2( bool [:[: the carrier of S, the carrier of S:], the carrier of S:])

[: the carrier of S, the carrier of S:] is non empty set

[:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

bool [:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

the of S . (p,x) is M2( the carrier of S)

(S,x,p) is M2( the carrier of S)

the of S . (x,p) is M2( the carrier of S)

c

c

c

(S,c

the of S . (c

(S,c

the of S . (c

(S,c

the of S . (c

(S,(S,c

the of S . ((S,c

the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]) is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])) is non empty () ()

S is non empty () ()

the carrier of S is non empty set

p is M2( the carrier of S)

x is M2( the carrier of S)

(S,p,x) is M2( the carrier of S)

the of S is V6() V18([: the carrier of S, the carrier of S:], the carrier of S) M2( bool [:[: the carrier of S, the carrier of S:], the carrier of S:])

[: the carrier of S, the carrier of S:] is non empty set

[:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

bool [:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

the of S . (p,x) is M2( the carrier of S)

(S,x,p) is M2( the carrier of S)

the of S . (x,p) is M2( the carrier of S)

c

c

c

(S,c

the of S . (c

(S,c

the of S . (c

(S,c

the of S . (c

(S,(S,c

the of S . ((S,c

the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]) is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])) is non empty () ()

S is non empty () ()

the carrier of S is non empty set

p is M2( the carrier of S)

x is M2( the carrier of S)

(S,p,x) is M2( the carrier of S)

the of S is V6() V18([: the carrier of S, the carrier of S:], the carrier of S) M2( bool [:[: the carrier of S, the carrier of S:], the carrier of S:])

[: the carrier of S, the carrier of S:] is non empty set

[:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

bool [:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

the of S . (p,x) is M2( the carrier of S)

(S,(S,p,x),x) is M2( the carrier of S)

the of S is V6() V18([: the carrier of S, the carrier of S:], the carrier of S) M2( bool [:[: the carrier of S, the carrier of S:], the carrier of S:])

the of S . ((S,p,x),x) is M2( the carrier of S)

c

c

(S,c

the of S . (c

(S,c

the of S . (c

p is M2( the carrier of S)

x is M2( the carrier of S)

c

(S,x,c

the of S is V6() V18([: the carrier of S, the carrier of S:], the carrier of S) M2( bool [:[: the carrier of S, the carrier of S:], the carrier of S:])

[: the carrier of S, the carrier of S:] is non empty set

[:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

bool [:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

the of S . (x,c

(S,p,(S,x,c

the of S . (p,(S,x,c

(S,p,x) is M2( the carrier of S)

the of S . (p,x) is M2( the carrier of S)

(S,(S,p,x),c

the of S . ((S,p,x),c

c

c

(S,c

the of S is V6() V18([: the carrier of S, the carrier of S:], the carrier of S) M2( bool [:[: the carrier of S, the carrier of S:], the carrier of S:])

the of S . (c

(S,c

the of S . (c

p is M2( the carrier of S)

x is M2( the carrier of S)

(S,p,x) is M2( the carrier of S)

the of S is V6() V18([: the carrier of S, the carrier of S:], the carrier of S) M2( bool [:[: the carrier of S, the carrier of S:], the carrier of S:])

[: the carrier of S, the carrier of S:] is non empty set

[:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

bool [:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

the of S . (p,x) is M2( the carrier of S)

(S,x,p) is M2( the carrier of S)

the of S . (x,p) is M2( the carrier of S)

c

c

c

(S,c

the of S . (c

(S,c

the of S . (c

(S,c

the of S . (c

(S,(S,c

the of S . ((S,c

L is non empty () ()

the carrier of L is non empty set

x is M2( the carrier of L)

c

(L,x,c

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (x,c

(L,c

the of L . (c

L is non empty () ()

the carrier of L is non empty set

x is M2( the carrier of L)

c

(L,x,c

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (x,c

(L,c

the of L . (c

L is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

S is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}),L,S) is non empty () ()

the carrier of ((bool {}),L,S) is non empty set

x is M2( the carrier of ((bool {}),L,S))

c

c

(((bool {}),L,S),c

the of ((bool {}),L,S) is V6() V18([: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S)) M2( bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):])

[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):] is non empty set

[:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

the of ((bool {}),L,S) . (c

(((bool {}),L,S),x,(((bool {}),L,S),c

the of ((bool {}),L,S) . (x,(((bool {}),L,S),c

(((bool {}),L,S),x,c

the of ((bool {}),L,S) . (x,c

(((bool {}),L,S),(((bool {}),L,S),x,c

the of ((bool {}),L,S) . ((((bool {}),L,S),x,c

x is M2( the carrier of ((bool {}),L,S))

c

(((bool {}),L,S),x,c

the of ((bool {}),L,S) is V6() V18([: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S)) M2( bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):])

[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):] is non empty set

[:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

the of ((bool {}),L,S) . (x,c

(((bool {}),L,S),(((bool {}),L,S),x,c

the of ((bool {}),L,S) is V6() V18([: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S)) M2( bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):])

the of ((bool {}),L,S) . ((((bool {}),L,S),x,c

x is M2( the carrier of ((bool {}),L,S))

c

(((bool {}),L,S),x,c

the of ((bool {}),L,S) is V6() V18([: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S)) M2( bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):])

[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):] is non empty set

[:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

the of ((bool {}),L,S) . (x,c

(((bool {}),L,S),x,(((bool {}),L,S),x,c

the of ((bool {}),L,S) is V6() V18([: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S)) M2( bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):])

the of ((bool {}),L,S) . (x,(((bool {}),L,S),x,c

x is M2( the carrier of ((bool {}),L,S))

c

c

(((bool {}),L,S),c

the of ((bool {}),L,S) is V6() V18([: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S)) M2( bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):])

[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):] is non empty set

[:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

the of ((bool {}),L,S) . (c

(((bool {}),L,S),x,(((bool {}),L,S),c

the of ((bool {}),L,S) . (x,(((bool {}),L,S),c

(((bool {}),L,S),x,c

the of ((bool {}),L,S) . (x,c

(((bool {}),L,S),(((bool {}),L,S),x,c

the of ((bool {}),L,S) . ((((bool {}),L,S),x,c

x is M2( the carrier of ((bool {}),L,S))

c

(((bool {}),L,S),x,c

the of ((bool {}),L,S) is V6() V18([: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S)) M2( bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):])

[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):] is non empty set

[:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

the of ((bool {}),L,S) . (x,c

(((bool {}),L,S),c

the of ((bool {}),L,S) . (c

x is M2( the carrier of ((bool {}),L,S))

c

(((bool {}),L,S),x,c

the of ((bool {}),L,S) is V6() V18([: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S)) M2( bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):])

[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):] is non empty set

[:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

bool [:[: the carrier of ((bool {}),L,S), the carrier of ((bool {}),L,S):], the carrier of ((bool {}),L,S):] is non empty set

the of ((bool {}),L,S) . (x,c

(((bool {}),L,S),c

the of ((bool {}),L,S) . (c

the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]) is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])) is non empty () ()

p is non empty () () () () () () () ()

the carrier of p is non empty set

x is M2( the carrier of p)

c

(p,x,c

the of p is V6() V18([: the carrier of p, the carrier of p:], the carrier of p) M2( bool [:[: the carrier of p, the carrier of p:], the carrier of p:])

[: the carrier of p, the carrier of p:] is non empty set

[:[: the carrier of p, the carrier of p:], the carrier of p:] is non empty set

bool [:[: the carrier of p, the carrier of p:], the carrier of p:] is non empty set

the of p . (x,c

c

(p,c

the of p . (c

c

c

(p,c

the of p is V6() V18([: the carrier of p, the carrier of p:], the carrier of p) M2( bool [:[: the carrier of p, the carrier of p:], the carrier of p:])

[: the carrier of p, the carrier of p:] is non empty set

[:[: the carrier of p, the carrier of p:], the carrier of p:] is non empty set

bool [:[: the carrier of p, the carrier of p:], the carrier of p:] is non empty set

the of p . (c

c

(p,c

the of p . (c

c

c

c

(p,c

the of p is V6() V18([: the carrier of p, the carrier of p:], the carrier of p) M2( bool [:[: the carrier of p, the carrier of p:], the carrier of p:])

[: the carrier of p, the carrier of p:] is non empty set

[:[: the carrier of p, the carrier of p:], the carrier of p:] is non empty set

bool [:[: the carrier of p, the carrier of p:], the carrier of p:] is non empty set

the of p . (c

(p,c

the of p is V6() V18([: the carrier of p, the carrier of p:], the carrier of p) M2( bool [:[: the carrier of p, the carrier of p:], the carrier of p:])

the of p . (c

(p,c

the of p . (c

(p,c

the of p . (c

(p,(p,c

the of p . ((p,c

c

c

c

(p,c

the of p is V6() V18([: the carrier of p, the carrier of p:], the carrier of p) M2( bool [:[: the carrier of p, the carrier of p:], the carrier of p:])

[: the carrier of p, the carrier of p:] is non empty set

[:[: the carrier of p, the carrier of p:], the carrier of p:] is non empty set

bool [:[: the carrier of p, the carrier of p:], the carrier of p:] is non empty set

the of p . (c

(p,c

the of p is V6() V18([: the carrier of p, the carrier of p:], the carrier of p) M2( bool [:[: the carrier of p, the carrier of p:], the carrier of p:])

the of p . (c

(p,c

the of p . (c

(p,(p,c

the of p . ((p,c

L is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

S is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}),L,S) is non empty () ()

x is non empty () () () () () () () ()

the carrier of x is non empty set

c

c

(x,c

the of x is V6() V18([: the carrier of x, the carrier of x:], the carrier of x) M2( bool [:[: the carrier of x, the carrier of x:], the carrier of x:])

[: the carrier of x, the carrier of x:] is non empty set

[:[: the carrier of x, the carrier of x:], the carrier of x:] is non empty set

bool [:[: the carrier of x, the carrier of x:], the carrier of x:] is non empty set

the of x . (c

c

(x,c

the of x . (c

L is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

S is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}),L,S) is non empty () ()

x is non empty () () () () () () () ()

the carrier of x is non empty set

c

c

(x,c

the of x is V6() V18([: the carrier of x, the carrier of x:], the carrier of x) M2( bool [:[: the carrier of x, the carrier of x:], the carrier of x:])

[: the carrier of x, the carrier of x:] is non empty set

[:[: the carrier of x, the carrier of x:], the carrier of x:] is non empty set

bool [:[: the carrier of x, the carrier of x:], the carrier of x:] is non empty set

the of x . (c

c

(x,c

the of x . (c

L is non empty ()

L is non empty ()

the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]) is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])) is non empty () ()

p is non empty () () () () () () () ()

L is non empty ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

(L,p,S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (p,S) is M2( the carrier of L)

L is non empty ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

(L,p,S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (p,S) is M2( the carrier of L)

L is non empty ()

the carrier of L is non empty set

the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]) is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])) is non empty () ()

S is non empty () () () () () () () () ()

the carrier of S is non empty set

the M2( the carrier of S) is M2( the carrier of S)

x is M2( the carrier of S)

(S, the M2( the carrier of S),x) is M2( the carrier of S)

the of S is V6() V18([: the carrier of S, the carrier of S:], the carrier of S) M2( bool [:[: the carrier of S, the carrier of S:], the carrier of S:])

[: the carrier of S, the carrier of S:] is non empty set

[:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

bool [:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

the of S . ( the M2( the carrier of S),x) is M2( the carrier of S)

(S) is M2( the carrier of S)

(S,x, the M2( the carrier of S)) is M2( the carrier of S)

the of S . (x, the M2( the carrier of S)) is M2( the carrier of S)

(S, the M2( the carrier of S),x) is M2( the carrier of S)

the of S is V6() V18([: the carrier of S, the carrier of S:], the carrier of S) M2( bool [:[: the carrier of S, the carrier of S:], the carrier of S:])

the of S . ( the M2( the carrier of S),x) is M2( the carrier of S)

(S) is M2( the carrier of S)

(S,x, the M2( the carrier of S)) is M2( the carrier of S)

the of S . (x, the M2( the carrier of S)) is M2( the carrier of S)

(S, the M2( the carrier of S),x) is M2( the carrier of S)

(S,x, the M2( the carrier of S)) is M2( the carrier of S)

L is non empty ()

L is non empty ()

the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]) is V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])

((bool {}), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):]), the V6() V18([:(bool {}),(bool {}):], bool {}) M2( bool [:[:(bool {}),(bool {}):],(bool {}):])) is non empty () ()

S is non empty () () () () () () () () ()

the carrier of S is non empty set

p is M2( the carrier of S)

(S,p,p) is M2( the carrier of S)

the of S is V6() V18([: the carrier of S, the carrier of S:], the carrier of S) M2( bool [:[: the carrier of S, the carrier of S:], the carrier of S:])

[: the carrier of S, the carrier of S:] is non empty set

[:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

bool [:[: the carrier of S, the carrier of S:], the carrier of S:] is non empty set

the of S . (p,p) is M2( the carrier of S)

(S) is M2( the carrier of S)

(S,p,p) is M2( the carrier of S)

the of S is V6() V18([: the carrier of S, the carrier of S:], the carrier of S) M2( bool [:[: the carrier of S, the carrier of S:], the carrier of S:])

the of S . (p,p) is M2( the carrier of S)

(S) is M2( the carrier of S)

(S,p,p) is M2( the carrier of S)

p is non empty () () () () () () () () () () () ()

the carrier of p is non empty set

x is M2( the carrier of p)

c

c

(p,c

the of p is V6() V18([: the carrier of p, the carrier of p:], the carrier of p) M2( bool [:[: the carrier of p, the carrier of p:], the carrier of p:])

[: the carrier of p, the carrier of p:] is non empty set

[:[: the carrier of p, the carrier of p:], the carrier of p:] is non empty set

bool [:[: the carrier of p, the carrier of p:], the carrier of p:] is non empty set

the of p . (c

(p,x,(p,c

the of p is V6() V18([: the carrier of p, the carrier of p:], the carrier of p) M2( bool [:[: the carrier of p, the carrier of p:], the carrier of p:])

the of p . (x,(p,c

(p,x,c

the of p . (x,c

(p,x,c

the of p . (x,c

(p,(p,x,c

the of p . ((p,x,c

L is non empty () () () ()

the carrier of L is non empty set

S is M2( the carrier of L)

(L,S,S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (S,S) is M2( the carrier of L)

(L,S,(L,S,S)) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . (S,(L,S,S)) is M2( the carrier of L)

(L,(L,S,(L,S,S)),S) is M2( the carrier of L)

the of L . ((L,S,(L,S,S)),S) is M2( the carrier of L)

L is non empty () () () ()

the carrier of L is non empty set

S is M2( the carrier of L)

(L,S,S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (S,S) is M2( the carrier of L)

(L,S,S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . (S,S) is M2( the carrier of L)

(L,S,(L,S,S)) is M2( the carrier of L)

the of L . (S,(L,S,S)) is M2( the carrier of L)

L is non empty () () () () () () () ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

x is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (p,x) is M2( the carrier of L)

(L,S,(L,p,x)) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . (S,(L,p,x)) is M2( the carrier of L)

(L,x,S) is M2( the carrier of L)

the of L . (x,S) is M2( the carrier of L)

(L,S,(L,x,S)) is M2( the carrier of L)

the of L . (S,(L,x,S)) is M2( the carrier of L)

(L,x,p) is M2( the carrier of L)

the of L . (x,p) is M2( the carrier of L)

(L,(L,S,(L,x,S)),(L,x,p)) is M2( the carrier of L)

the of L . ((L,S,(L,x,S)),(L,x,p)) is M2( the carrier of L)

(L,(L,x,S),(L,x,p)) is M2( the carrier of L)

the of L . ((L,x,S),(L,x,p)) is M2( the carrier of L)

(L,S,(L,(L,x,S),(L,x,p))) is M2( the carrier of L)

the of L . (S,(L,(L,x,S),(L,x,p))) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L . (S,p) is M2( the carrier of L)

(L,(L,S,p),x) is M2( the carrier of L)

the of L . ((L,S,p),x) is M2( the carrier of L)

(L,S,(L,(L,S,p),x)) is M2( the carrier of L)

the of L . (S,(L,(L,S,p),x)) is M2( the carrier of L)

(L,(L,S,p),S) is M2( the carrier of L)

the of L . ((L,S,p),S) is M2( the carrier of L)

(L,(L,(L,S,p),S),(L,(L,S,p),x)) is M2( the carrier of L)

the of L . ((L,(L,S,p),S),(L,(L,S,p),x)) is M2( the carrier of L)

(L,S,x) is M2( the carrier of L)

the of L . (S,x) is M2( the carrier of L)

(L,(L,S,p),(L,S,x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,S,x)) is M2( the carrier of L)

S is M2( the carrier of L)

p is M2( the carrier of L)

x is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L . (p,x) is M2( the carrier of L)

(L,S,(L,p,x)) is M2( the carrier of L)

the of L . (S,(L,p,x)) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L . (S,p) is M2( the carrier of L)

(L,S,x) is M2( the carrier of L)

the of L . (S,x) is M2( the carrier of L)

(L,(L,S,p),(L,S,x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,S,x)) is M2( the carrier of L)

(L,x,S) is M2( the carrier of L)

the of L . (x,S) is M2( the carrier of L)

(L,S,(L,x,S)) is M2( the carrier of L)

the of L . (S,(L,x,S)) is M2( the carrier of L)

(L,x,p) is M2( the carrier of L)

the of L . (x,p) is M2( the carrier of L)

(L,(L,S,(L,x,S)),(L,x,p)) is M2( the carrier of L)

the of L . ((L,S,(L,x,S)),(L,x,p)) is M2( the carrier of L)

(L,(L,x,S),(L,x,p)) is M2( the carrier of L)

the of L . ((L,x,S),(L,x,p)) is M2( the carrier of L)

(L,S,(L,(L,x,S),(L,x,p))) is M2( the carrier of L)

the of L . (S,(L,(L,x,S),(L,x,p))) is M2( the carrier of L)

(L,(L,S,p),x) is M2( the carrier of L)

the of L . ((L,S,p),x) is M2( the carrier of L)

(L,S,(L,(L,S,p),x)) is M2( the carrier of L)

the of L . (S,(L,(L,S,p),x)) is M2( the carrier of L)

(L,(L,S,p),S) is M2( the carrier of L)

the of L . ((L,S,p),S) is M2( the carrier of L)

(L,(L,(L,S,p),S),(L,(L,S,p),x)) is M2( the carrier of L)

the of L . ((L,(L,S,p),S),(L,(L,S,p),x)) is M2( the carrier of L)

L is non empty () () ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (S,p) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . (S,p) is M2( the carrier of L)

L is non empty () () () () ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (S,p) is M2( the carrier of L)

(L,S,(L,S,p)) is M2( the carrier of L)

the of L . (S,(L,S,p)) is M2( the carrier of L)

(L,S,S) is M2( the carrier of L)

the of L . (S,S) is M2( the carrier of L)

(L,(L,S,S),p) is M2( the carrier of L)

the of L . ((L,S,S),p) is M2( the carrier of L)

L is non empty () () ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (S,p) is M2( the carrier of L)

(L,(L,S,p),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . ((L,S,p),S) is M2( the carrier of L)

L is non empty () () () ()

the carrier of L is non empty set

x is M2( the carrier of L)

(L,x,x) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (x,x) is M2( the carrier of L)

L is non empty () ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

x is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (S,p) is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L . (p,x) is M2( the carrier of L)

(L,S,x) is M2( the carrier of L)

the of L . (S,x) is M2( the carrier of L)

L is non empty () ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (S,p) is M2( the carrier of L)

(L,p,S) is M2( the carrier of L)

the of L . (p,S) is M2( the carrier of L)

L is non empty () () () ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

x is M2( the carrier of L)

(L,S,x) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (S,x) is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L . (p,x) is M2( the carrier of L)

(L,(L,S,x),(L,p,x)) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . ((L,S,x),(L,p,x)) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L . (S,p) is M2( the carrier of L)

(L,(L,S,p),x) is M2( the carrier of L)

the of L . ((L,S,p),x) is M2( the carrier of L)

(L,(L,(L,S,p),x),(L,p,x)) is M2( the carrier of L)

the of L . ((L,(L,S,p),x),(L,p,x)) is M2( the carrier of L)

(L,S,(L,p,x)) is M2( the carrier of L)

the of L . (S,(L,p,x)) is M2( the carrier of L)

(L,(L,S,(L,p,x)),(L,p,x)) is M2( the carrier of L)

the of L . ((L,S,(L,p,x)),(L,p,x)) is M2( the carrier of L)

L is non empty () () () () () () () ()

the carrier of L is non empty set

x is M2( the carrier of L)

S is M2( the carrier of L)

p is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (p,x) is M2( the carrier of L)

(L,S,(L,p,x)) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . (S,(L,p,x)) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L . (S,p) is M2( the carrier of L)

(L,S,(L,S,p)) is M2( the carrier of L)

the of L . (S,(L,S,p)) is M2( the carrier of L)

(L,(L,p,x),(L,S,(L,S,p))) is M2( the carrier of L)

the of L . ((L,p,x),(L,S,(L,S,p))) is M2( the carrier of L)

(L,(L,p,x),S) is M2( the carrier of L)

the of L . ((L,p,x),S) is M2( the carrier of L)

(L,(L,S,p),(L,(L,p,x),S)) is M2( the carrier of L)

the of L . ((L,S,p),(L,(L,p,x),S)) is M2( the carrier of L)

(L,x,S) is M2( the carrier of L)

the of L . (x,S) is M2( the carrier of L)

(L,(L,p,x),(L,x,S)) is M2( the carrier of L)

the of L . ((L,p,x),(L,x,S)) is M2( the carrier of L)

(L,(L,S,p),(L,(L,p,x),(L,x,S))) is M2( the carrier of L)

the of L . ((L,S,p),(L,(L,p,x),(L,x,S))) is M2( the carrier of L)

(L,(L,S,p),(L,p,x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,p,x)) is M2( the carrier of L)

(L,(L,(L,S,p),(L,p,x)),(L,x,S)) is M2( the carrier of L)

the of L . ((L,(L,S,p),(L,p,x)),(L,x,S)) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L . (S,p) is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L . (p,x) is M2( the carrier of L)

(L,(L,S,p),(L,p,x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,p,x)) is M2( the carrier of L)

(L,x,S) is M2( the carrier of L)

the of L . (x,S) is M2( the carrier of L)

(L,(L,(L,S,p),(L,p,x)),(L,x,S)) is M2( the carrier of L)

the of L . ((L,(L,S,p),(L,p,x)),(L,x,S)) is M2( the carrier of L)

(L,(L,p,x),(L,x,S)) is M2( the carrier of L)

the of L . ((L,p,x),(L,x,S)) is M2( the carrier of L)

(L,(L,S,p),(L,(L,p,x),(L,x,S))) is M2( the carrier of L)

the of L . ((L,S,p),(L,(L,p,x),(L,x,S))) is M2( the carrier of L)

(L,(L,p,x),x) is M2( the carrier of L)

the of L . ((L,p,x),x) is M2( the carrier of L)

(L,(L,S,p),(L,(L,p,x),x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,(L,p,x),x)) is M2( the carrier of L)

(L,(L,S,p),x) is M2( the carrier of L)

the of L . ((L,S,p),x) is M2( the carrier of L)

S is M2( the carrier of L)

p is M2( the carrier of L)

x is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L . (p,x) is M2( the carrier of L)

(L,S,(L,p,x)) is M2( the carrier of L)

the of L . (S,(L,p,x)) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L . (S,p) is M2( the carrier of L)

(L,S,x) is M2( the carrier of L)

the of L . (S,x) is M2( the carrier of L)

(L,(L,S,p),(L,S,x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,S,x)) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

(L,x,S) is M2( the carrier of L)

the of L . (x,S) is M2( the carrier of L)

(L,(L,S,p),(L,x,S)) is M2( the carrier of L)

the of L . ((L,S,p),(L,x,S)) is M2( the carrier of L)

(L,(L,(L,S,p),(L,x,S)),S) is M2( the carrier of L)

the of L . ((L,(L,S,p),(L,x,S)),S) is M2( the carrier of L)

(L,(L,x,S),S) is M2( the carrier of L)

the of L . ((L,x,S),S) is M2( the carrier of L)

(L,(L,S,p),(L,(L,x,S),S)) is M2( the carrier of L)

the of L . ((L,S,p),(L,(L,x,S),S)) is M2( the carrier of L)

(L,(L,S,p),S) is M2( the carrier of L)

the of L . ((L,S,p),S) is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

(L,S,(L,p,x)) is M2( the carrier of L)

the of L . (S,(L,p,x)) is M2( the carrier of L)

(L,x,S) is M2( the carrier of L)

the of L . (x,S) is M2( the carrier of L)

(L,S,(L,x,S)) is M2( the carrier of L)

the of L . (S,(L,x,S)) is M2( the carrier of L)

(L,(L,S,(L,x,S)),(L,p,x)) is M2( the carrier of L)

the of L . ((L,S,(L,x,S)),(L,p,x)) is M2( the carrier of L)

(L,(L,x,S),(L,p,x)) is M2( the carrier of L)

the of L . ((L,x,S),(L,p,x)) is M2( the carrier of L)

(L,S,(L,(L,x,S),(L,p,x))) is M2( the carrier of L)

the of L . (S,(L,(L,x,S),(L,p,x))) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L . (S,p) is M2( the carrier of L)

(L,S,(L,S,p)) is M2( the carrier of L)

the of L . (S,(L,S,p)) is M2( the carrier of L)

(L,(L,S,(L,S,p)),(L,(L,x,S),(L,p,x))) is M2( the carrier of L)

the of L . ((L,S,(L,S,p)),(L,(L,x,S),(L,p,x))) is M2( the carrier of L)

(L,(L,p,x),(L,x,S)) is M2( the carrier of L)

the of L . ((L,p,x),(L,x,S)) is M2( the carrier of L)

(L,(L,S,p),(L,(L,p,x),(L,x,S))) is M2( the carrier of L)

the of L . ((L,S,p),(L,(L,p,x),(L,x,S))) is M2( the carrier of L)

(L,S,(L,(L,S,p),(L,(L,p,x),(L,x,S)))) is M2( the carrier of L)

the of L . (S,(L,(L,S,p),(L,(L,p,x),(L,x,S)))) is M2( the carrier of L)

(L,(L,S,p),(L,p,x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,p,x)) is M2( the carrier of L)

(L,(L,(L,S,p),(L,p,x)),(L,x,S)) is M2( the carrier of L)

the of L . ((L,(L,S,p),(L,p,x)),(L,x,S)) is M2( the carrier of L)

(L,S,(L,(L,(L,S,p),(L,p,x)),(L,x,S))) is M2( the carrier of L)

the of L . (S,(L,(L,(L,S,p),(L,p,x)),(L,x,S))) is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L . (p,x) is M2( the carrier of L)

(L,(L,p,x),(L,S,p)) is M2( the carrier of L)

the of L . ((L,p,x),(L,S,p)) is M2( the carrier of L)

(L,(L,(L,p,x),(L,S,p)),(L,x,S)) is M2( the carrier of L)

the of L . ((L,(L,p,x),(L,S,p)),(L,x,S)) is M2( the carrier of L)

(L,S,(L,(L,(L,p,x),(L,S,p)),(L,x,S))) is M2( the carrier of L)

the of L . (S,(L,(L,(L,p,x),(L,S,p)),(L,x,S))) is M2( the carrier of L)

(L,(L,p,x),(L,(L,S,p),(L,x,S))) is M2( the carrier of L)

the of L . ((L,p,x),(L,(L,S,p),(L,x,S))) is M2( the carrier of L)

(L,S,(L,(L,p,x),(L,(L,S,p),(L,x,S)))) is M2( the carrier of L)

the of L . (S,(L,(L,p,x),(L,(L,S,p),(L,x,S)))) is M2( the carrier of L)

(L,S,(L,p,x)) is M2( the carrier of L)

the of L . (S,(L,p,x)) is M2( the carrier of L)

(L,(L,S,(L,p,x)),(L,(L,S,p),(L,x,S))) is M2( the carrier of L)

the of L . ((L,S,(L,p,x)),(L,(L,S,p),(L,x,S))) is M2( the carrier of L)

(L,(L,S,p),x) is M2( the carrier of L)

the of L . ((L,S,p),x) is M2( the carrier of L)

(L,(L,(L,S,p),x),(L,(L,S,p),(L,x,S))) is M2( the carrier of L)

the of L . ((L,(L,S,p),x),(L,(L,S,p),(L,x,S))) is M2( the carrier of L)

(L,(L,(L,S,p),x),(L,S,p)) is M2( the carrier of L)

the of L . ((L,(L,S,p),x),(L,S,p)) is M2( the carrier of L)

(L,(L,(L,(L,S,p),x),(L,S,p)),(L,x,S)) is M2( the carrier of L)

the of L . ((L,(L,(L,S,p),x),(L,S,p)),(L,x,S)) is M2( the carrier of L)

(L,S,x) is M2( the carrier of L)

(L,(L,S,p),(L,S,x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,S,x)) is M2( the carrier of L)

L is non empty () () () () () () () () ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (S,p) is M2( the carrier of L)

x is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . (p,x) is M2( the carrier of L)

(L,S,(L,p,x)) is M2( the carrier of L)

the of L . (S,(L,p,x)) is M2( the carrier of L)

(L,S,x) is M2( the carrier of L)

the of L . (S,x) is M2( the carrier of L)

(L,(L,S,p),(L,S,x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,S,x)) is M2( the carrier of L)

c

c

c

(L,c

the of L . (c

(L,c

the of L . (c

(L,c

the of L . (c

(L,c

the of L . (c

(L,(L,c

the of L . ((L,c

L is non empty () () () () () () () () ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (S,p) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . (S,p) is M2( the carrier of L)

x is M2( the carrier of L)

(L,S,x) is M2( the carrier of L)

the of L . (S,x) is M2( the carrier of L)

(L,S,x) is M2( the carrier of L)

the of L . (S,x) is M2( the carrier of L)

(L,p,(L,S,p)) is M2( the carrier of L)

the of L . (p,(L,S,p)) is M2( the carrier of L)

(L,x,S) is M2( the carrier of L)

the of L . (x,S) is M2( the carrier of L)

(L,x,p) is M2( the carrier of L)

the of L . (x,p) is M2( the carrier of L)

(L,(L,x,S),(L,x,p)) is M2( the carrier of L)

the of L . ((L,x,S),(L,x,p)) is M2( the carrier of L)

(L,x,(L,S,p)) is M2( the carrier of L)

the of L . (x,(L,S,p)) is M2( the carrier of L)

L is non empty () () () () () () () () ()

the carrier of L is non empty set

S is M2( the carrier of L)

p is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (S,p) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . (S,p) is M2( the carrier of L)

x is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L . (p,x) is M2( the carrier of L)

(L,(L,S,p),(L,p,x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,p,x)) is M2( the carrier of L)

(L,x,S) is M2( the carrier of L)

the of L . (x,S) is M2( the carrier of L)

(L,(L,(L,S,p),(L,p,x)),(L,x,S)) is M2( the carrier of L)

the of L . ((L,(L,S,p),(L,p,x)),(L,x,S)) is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L . (p,x) is M2( the carrier of L)

(L,(L,S,p),(L,p,x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,p,x)) is M2( the carrier of L)

(L,x,S) is M2( the carrier of L)

the of L . (x,S) is M2( the carrier of L)

(L,(L,(L,S,p),(L,p,x)),(L,x,S)) is M2( the carrier of L)

the of L . ((L,(L,S,p),(L,p,x)),(L,x,S)) is M2( the carrier of L)

(L,(L,(L,S,p),(L,p,x)),x) is M2( the carrier of L)

the of L . ((L,(L,S,p),(L,p,x)),x) is M2( the carrier of L)

(L,(L,(L,S,p),(L,p,x)),S) is M2( the carrier of L)

the of L . ((L,(L,S,p),(L,p,x)),S) is M2( the carrier of L)

(L,(L,(L,(L,S,p),(L,p,x)),x),(L,(L,(L,S,p),(L,p,x)),S)) is M2( the carrier of L)

the of L . ((L,(L,(L,S,p),(L,p,x)),x),(L,(L,(L,S,p),(L,p,x)),S)) is M2( the carrier of L)

(L,(L,p,x),x) is M2( the carrier of L)

the of L . ((L,p,x),x) is M2( the carrier of L)

(L,(L,S,p),(L,(L,p,x),x)) is M2( the carrier of L)

the of L . ((L,S,p),(L,(L,p,x),x)) is M2( the carrier of L)

(L,(L,(L,S,p),(L,(L,p,x),x)),(L,(L,(L,S,p),(L,p,x)),S)) is M2( the carrier of L)

the of L . ((L,(L,S,p),(L,(L,p,x),x)),(L,(L,(L,S,p),(L,p,x)),S)) is M2( the carrier of L)

(L,(L,S,p),x) is M2( the carrier of L)

the of L . ((L,S,p),x) is M2( the carrier of L)

(L,S,(L,(L,S,p),(L,p,x))) is M2( the carrier of L)

the of L . (S,(L,(L,S,p),(L,p,x))) is M2( the carrier of L)

(L,(L,(L,S,p),x),(L,S,(L,(L,S,p),(L,p,x)))) is M2( the carrier of L)

the of L . ((L,(L,S,p),x),(L,S,(L,(L,S,p),(L,p,x)))) is M2( the carrier of L)

(L,S,(L,S,p)) is M2( the carrier of L)

the of L . (S,(L,S,p)) is M2( the carrier of L)

(L,(L,S,(L,S,p)),(L,p,x)) is M2( the carrier of L)

the of L . ((L,S,(L,S,p)),(L,p,x)) is M2( the carrier of L)

(L,(L,(L,S,p),x),(L,(L,S,(L,S,p)),(L,p,x))) is M2( the carrier of L)

the of L . ((L,(L,S,p),x),(L,(L,S,(L,S,p)),(L,p,x))) is M2( the carrier of L)

(L,x,(L,S,p)) is M2( the carrier of L)

the of L . (x,(L,S,p)) is M2( the carrier of L)

(L,S,(L,p,x)) is M2( the carrier of L)

the of L . (S,(L,p,x)) is M2( the carrier of L)

(L,(L,x,(L,S,p)),(L,S,(L,p,x))) is M2( the carrier of L)

the of L . ((L,x,(L,S,p)),(L,S,(L,p,x))) is M2( the carrier of L)

(L,x,p) is M2( the carrier of L)

the of L . (x,p) is M2( the carrier of L)

(L,(L,x,S),(L,x,p)) is M2( the carrier of L)

the of L . ((L,x,S),(L,x,p)) is M2( the carrier of L)

(L,(L,(L,x,S),(L,x,p)),(L,S,(L,p,x))) is M2( the carrier of L)

the of L . ((L,(L,x,S),(L,x,p)),(L,S,(L,p,x))) is M2( the carrier of L)

(L,(L,S,p),(L,x,S)) is M2( the carrier of L)

the of L . ((L,S,p),(L,x,S)) is M2( the carrier of L)

(L,(L,x,S),(L,p,x)) is M2( the carrier of L)

the of L . ((L,x,S),(L,p,x)) is M2( the carrier of L)

(L,(L,(L,S,p),(L,x,S)),(L,(L,x,S),(L,p,x))) is M2( the carrier of L)

the of L . ((L,(L,S,p),(L,x,S)),(L,(L,x,S),(L,p,x))) is M2( the carrier of L)

(L,(L,x,S),(L,(L,x,S),(L,p,x))) is M2( the carrier of L)

the of L . ((L,x,S),(L,(L,x,S),(L,p,x))) is M2( the carrier of L)

(L,(L,S,p),(L,(L,x,S),(L,(L,x,S),(L,p,x)))) is M2( the carrier of L)

the of L . ((L,S,p),(L,(L,x,S),(L,(L,x,S),(L,p,x)))) is M2( the carrier of L)

(L,(L,x,S),(L,x,S)) is M2( the carrier of L)

the of L . ((L,x,S),(L,x,S)) is M2( the carrier of L)

(L,(L,(L,x,S),(L,x,S)),(L,p,x)) is M2( the carrier of L)

the of L . ((L,(L,x,S),(L,x,S)),(L,p,x)) is M2( the carrier of L)

(L,(L,S,p),(L,(L,(L,x,S),(L,x,S)),(L,p,x))) is M2( the carrier of L)

the of L . ((L,S,p),(L,(L,(L,x,S),(L,x,S)),(L,p,x))) is M2( the carrier of L)

L is non empty () () () () () () () ()

the carrier of L is non empty set

S is M2( the carrier of L)

x is M2( the carrier of L)

p is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . (p,x) is M2( the carrier of L)

(L,S,(L,p,x)) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . (S,(L,p,x)) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

the of L . (S,p) is M2( the carrier of L)

(L,(L,S,p),x) is M2( the carrier of L)

the of L . ((L,S,p),x) is M2( the carrier of L)

(L,S,x) is M2( the carrier of L)

the of L . (S,x) is M2( the carrier of L)

(L,p,x) is M2( the carrier of L)

(L,S,(L,p,x)) is M2( the carrier of L)

the of L . (S,(L,p,x)) is M2( the carrier of L)

(L,S,p) is M2( the carrier of L)

(L,(L,S,p),x) is M2( the carrier of L)

the of L . ((L,S,p),x) is M2( the carrier of L)

L is non empty () () () () () () () () ()

the carrier of L is non empty set

(L) is M2( the carrier of L)

S is M2( the carrier of L)

(L,(L),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . ((L),S) is M2( the carrier of L)

(L,(L),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . ((L),S) is M2( the carrier of L)

(L,(L,(L),S),S) is M2( the carrier of L)

the of L . ((L,(L),S),S) is M2( the carrier of L)

(L,(L),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . ((L),S) is M2( the carrier of L)

L is non empty () () () () () () () () ()

the carrier of L is non empty set

(L) is M2( the carrier of L)

S is M2( the carrier of L)

(L,(L),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . ((L),S) is M2( the carrier of L)

L is non empty () () () () () () () () ()

the carrier of L is non empty set

(L) is M2( the carrier of L)

S is M2( the carrier of L)

(L,(L),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . ((L),S) is M2( the carrier of L)

L is non empty () () () () () () () () ()

the carrier of L is non empty set

(L) is M2( the carrier of L)

S is M2( the carrier of L)

(L,(L),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . ((L),S) is M2( the carrier of L)

L is non empty () () () () () () () () ()

the carrier of L is non empty set

(L) is M2( the carrier of L)

S is M2( the carrier of L)

(L,(L),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . ((L),S) is M2( the carrier of L)

(L,(L),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . ((L),S) is M2( the carrier of L)

(L,(L,(L),S),S) is M2( the carrier of L)

the of L . ((L,(L),S),S) is M2( the carrier of L)

(L,(L),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

the of L . ((L),S) is M2( the carrier of L)

L is non empty () () () () () () () () ()

the carrier of L is non empty set

(L) is M2( the carrier of L)

S is M2( the carrier of L)

(L,(L),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set

[:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

bool [:[: the carrier of L, the carrier of L:], the carrier of L:] is non empty set

the of L . ((L),S) is M2( the carrier of L)

L is non empty () () () () () () () () ()

the carrier of L is non empty set

(L) is M2( the carrier of L)

S is M2( the carrier of L)

(L,(L),S) is M2( the carrier of L)

the of L is V6() V18([: the carrier of L, the carrier of L:], the carrier of L) M2( bool [:[: the carrier of L, the carrier of L:], the carrier of L:])

[: the carrier of L, the carrier of L:] is non empty set