:: 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 () ()
[:(),():] is non empty set
[:[:(),():],():] is non empty set
bool [:[:(),():],():] is non empty set
the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]) is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((), the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])) is non empty () ()
S is non empty () ()
[:(),():] is non empty set
[:[:(),():],():] is non empty set
bool [:[:(),():],():] is non empty set
the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]) is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((), the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])) is non empty () ()
S is non empty () ()
[:(),():] is non empty set
[:[:(),():],():] is non empty set
bool [:[:(),():],():] is non empty set
the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]) is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((), the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]), the V6() V18([:(),():], bool {}) M2( 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
[:(),():] is non empty set
[:[:(),():],():] is non empty set
bool [:[:(),():],():] is non empty set
L is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
S is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((),L,S) is non empty () ()
the carrier of ((),L,S) is non empty set
p is M2( the carrier of ((),L,S))
x is M2( the carrier of ((),L,S))
L is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((),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 is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((),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 is non empty ()
L is non empty ()
the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]) is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((), the V6() V18([:(),():], bool {}) M2( 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)
c5 is M2( the carrier of S)
c6 is M2( the carrier of S)
c7 is M2( the carrier of S)
(S,c6,c7) is M2( the carrier of S)
the of S . (c6,c7) is M2( the carrier of S)
(S,c5,(S,c6,c7)) is M2( the carrier of S)
the of S . (c5,(S,c6,c7)) is M2( the carrier of S)
(S,c5,c6) is M2( the carrier of S)
the of S . (c5,c6) is M2( the carrier of S)
(S,(S,c5,c6),c7) is M2( the carrier of S)
the of S . ((S,c5,c6),c7) is M2( the carrier of S)
the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]) is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((), the V6() V18([:(),():], bool {}) M2( 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)
c5 is M2( the carrier of S)
c6 is M2( the carrier of S)
c7 is M2( the carrier of S)
(S,c6,c7) is M2( the carrier of S)
the of S . (c6,c7) is M2( the carrier of S)
(S,c5,(S,c6,c7)) is M2( the carrier of S)
the of S . (c5,(S,c6,c7)) is M2( the carrier of S)
(S,c5,c6) is M2( the carrier of S)
the of S . (c5,c6) is M2( the carrier of S)
(S,(S,c5,c6),c7) is M2( the carrier of S)
the of S . ((S,c5,c6),c7) is M2( the carrier of S)
the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]) is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((), the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]), the V6() V18([:(),():], bool {}) M2( 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)
c5 is M2( the carrier of S)
c6 is M2( the carrier of S)
(S,c5,c6) is M2( the carrier of S)
the of S . (c5,c6) is M2( the carrier of S)
(S,c6,c5) is M2( the carrier of S)
the of S . (c6,c5) is M2( the carrier of S)
p is M2( the carrier of S)
x is M2( the carrier of S)
c5 is M2( the carrier of S)
(S,x,c5) 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 . (x,c5) is M2( the carrier of S)
(S,p,(S,x,c5)) is M2( the carrier of S)
the of S . (p,(S,x,c5)) is M2( the carrier of S)
(S,p,x) is M2( the carrier of S)
the of S . (p,x) is M2( the carrier of S)
(S,(S,p,x),c5) is M2( the carrier of S)
the of S . ((S,p,x),c5) is M2( the carrier of S)
c6 is M2( the carrier of S)
c7 is M2( the carrier of S)
(S,c6,c7) 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 . (c6,c7) is M2( the carrier of S)
(S,c6,(S,c6,c7)) is M2( the carrier of S)
the of S . (c6,(S,c6,c7)) is M2( the carrier of S)
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)
c5 is M2( the carrier of S)
c6 is M2( the carrier of S)
c7 is M2( the carrier of S)
(S,c6,c7) is M2( the carrier of S)
the of S . (c6,c7) is M2( the carrier of S)
(S,c5,(S,c6,c7)) is M2( the carrier of S)
the of S . (c5,(S,c6,c7)) is M2( the carrier of S)
(S,c5,c6) is M2( the carrier of S)
the of S . (c5,c6) is M2( the carrier of S)
(S,(S,c5,c6),c7) is M2( the carrier of S)
the of S . ((S,c5,c6),c7) is M2( the carrier of S)
L is non empty () ()
the carrier of L is non empty set
x is M2( the carrier of L)
c5 is M2( the carrier of L)
(L,x,c5) 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,c5) is M2( the carrier of L)
(L,c5,x) is M2( the carrier of L)
the of L . (c5,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)
c5 is M2( the carrier of L)
(L,x,c5) 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,c5) is M2( the carrier of L)
(L,c5,x) is M2( the carrier of L)
the of L . (c5,x) is M2( the carrier of L)
L is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
S is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((),L,S) is non empty () ()
the carrier of ((),L,S) is non empty set
x is M2( the carrier of ((),L,S))
c5 is M2( the carrier of ((),L,S))
c6 is M2( the carrier of ((),L,S))
(((),L,S),c5,c6) is M2( the carrier of ((),L,S))
the of ((),L,S) is V6() V18([: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S)) M2( bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):])
[: the carrier of ((),L,S), the carrier of ((),L,S):] is non empty set
[:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
the of ((),L,S) . (c5,c6) is M2( the carrier of ((),L,S))
(((),L,S),x,(((),L,S),c5,c6)) is M2( the carrier of ((),L,S))
the of ((),L,S) . (x,(((),L,S),c5,c6)) is M2( the carrier of ((),L,S))
(((),L,S),x,c5) is M2( the carrier of ((),L,S))
the of ((),L,S) . (x,c5) is M2( the carrier of ((),L,S))
(((),L,S),(((),L,S),x,c5),c6) is M2( the carrier of ((),L,S))
the of ((),L,S) . ((((),L,S),x,c5),c6) is M2( the carrier of ((),L,S))
x is M2( the carrier of ((),L,S))
c5 is M2( the carrier of ((),L,S))
(((),L,S),x,c5) is M2( the carrier of ((),L,S))
the of ((),L,S) is V6() V18([: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S)) M2( bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):])
[: the carrier of ((),L,S), the carrier of ((),L,S):] is non empty set
[:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
the of ((),L,S) . (x,c5) is M2( the carrier of ((),L,S))
(((),L,S),(((),L,S),x,c5),c5) is M2( the carrier of ((),L,S))
the of ((),L,S) is V6() V18([: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S)) M2( bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):])
the of ((),L,S) . ((((),L,S),x,c5),c5) is M2( the carrier of ((),L,S))
x is M2( the carrier of ((),L,S))
c5 is M2( the carrier of ((),L,S))
(((),L,S),x,c5) is M2( the carrier of ((),L,S))
the of ((),L,S) is V6() V18([: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S)) M2( bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):])
[: the carrier of ((),L,S), the carrier of ((),L,S):] is non empty set
[:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
the of ((),L,S) . (x,c5) is M2( the carrier of ((),L,S))
(((),L,S),x,(((),L,S),x,c5)) is M2( the carrier of ((),L,S))
the of ((),L,S) is V6() V18([: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S)) M2( bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):])
the of ((),L,S) . (x,(((),L,S),x,c5)) is M2( the carrier of ((),L,S))
x is M2( the carrier of ((),L,S))
c5 is M2( the carrier of ((),L,S))
c6 is M2( the carrier of ((),L,S))
(((),L,S),c5,c6) is M2( the carrier of ((),L,S))
the of ((),L,S) is V6() V18([: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S)) M2( bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):])
[: the carrier of ((),L,S), the carrier of ((),L,S):] is non empty set
[:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
the of ((),L,S) . (c5,c6) is M2( the carrier of ((),L,S))
(((),L,S),x,(((),L,S),c5,c6)) is M2( the carrier of ((),L,S))
the of ((),L,S) . (x,(((),L,S),c5,c6)) is M2( the carrier of ((),L,S))
(((),L,S),x,c5) is M2( the carrier of ((),L,S))
the of ((),L,S) . (x,c5) is M2( the carrier of ((),L,S))
(((),L,S),(((),L,S),x,c5),c6) is M2( the carrier of ((),L,S))
the of ((),L,S) . ((((),L,S),x,c5),c6) is M2( the carrier of ((),L,S))
x is M2( the carrier of ((),L,S))
c5 is M2( the carrier of ((),L,S))
(((),L,S),x,c5) is M2( the carrier of ((),L,S))
the of ((),L,S) is V6() V18([: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S)) M2( bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):])
[: the carrier of ((),L,S), the carrier of ((),L,S):] is non empty set
[:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
the of ((),L,S) . (x,c5) is M2( the carrier of ((),L,S))
(((),L,S),c5,x) is M2( the carrier of ((),L,S))
the of ((),L,S) . (c5,x) is M2( the carrier of ((),L,S))
x is M2( the carrier of ((),L,S))
c5 is M2( the carrier of ((),L,S))
(((),L,S),x,c5) is M2( the carrier of ((),L,S))
the of ((),L,S) is V6() V18([: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S)) M2( bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):])
[: the carrier of ((),L,S), the carrier of ((),L,S):] is non empty set
[:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
bool [:[: the carrier of ((),L,S), the carrier of ((),L,S):], the carrier of ((),L,S):] is non empty set
the of ((),L,S) . (x,c5) is M2( the carrier of ((),L,S))
(((),L,S),c5,x) is M2( the carrier of ((),L,S))
the of ((),L,S) . (c5,x) is M2( the carrier of ((),L,S))
the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]) is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((), the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]), the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])) is non empty () ()
p is non empty () () () () () () () ()
the carrier of p is non empty set
x is M2( the carrier of p)
c6 is M2( the carrier of p)
(p,x,c6) is M2( the carrier of p)
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,c6) is M2( the carrier of p)
c7 is M2( the carrier of p)
(p,c7,x) is M2( the carrier of p)
the of p . (c7,x) is M2( the carrier of p)
c5 is M2( the carrier of p)
c6 is M2( the carrier of p)
(p,c5,c6) is M2( the carrier of p)
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 . (c5,c6) is M2( the carrier of p)
c7 is M2( the carrier of p)
(p,c7,c5) is M2( the carrier of p)
the of p . (c7,c5) is M2( the carrier of p)
c6 is M2( the carrier of p)
c7 is M2( the carrier of p)
c8 is M2( the carrier of p)
(p,c7,c8) is M2( the carrier of p)
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 . (c7,c8) is M2( the carrier of p)
(p,c6,(p,c7,c8)) is M2( the carrier of p)
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 . (c6,(p,c7,c8)) is M2( the carrier of p)
(p,c6,c7) is M2( the carrier of p)
the of p . (c6,c7) is M2( the carrier of p)
(p,c6,c8) is M2( the carrier of p)
the of p . (c6,c8) is M2( the carrier of p)
(p,(p,c6,c7),(p,c6,c8)) is M2( the carrier of p)
the of p . ((p,c6,c7),(p,c6,c8)) is M2( the carrier of p)
c6 is M2( the carrier of p)
c8 is M2( the carrier of p)
c7 is M2( the carrier of p)
(p,c7,c8) is M2( the carrier of p)
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 . (c7,c8) is M2( the carrier of p)
(p,c6,(p,c7,c8)) is M2( the carrier of p)
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 . (c6,(p,c7,c8)) is M2( the carrier of p)
(p,c6,c7) is M2( the carrier of p)
the of p . (c6,c7) is M2( the carrier of p)
(p,(p,c6,c7),c8) is M2( the carrier of p)
the of p . ((p,c6,c7),c8) is M2( the carrier of p)
L is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
S is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((),L,S) is non empty () ()
x is non empty () () () () () () () ()
the carrier of x is non empty set
c5 is M2( the carrier of x)
c6 is M2( the carrier of x)
(x,c5,c6) is M2( the carrier of x)
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 . (c5,c6) is M2( the carrier of x)
c7 is M2( the carrier of x)
(x,c7,c5) is M2( the carrier of x)
the of x . (c7,c5) is M2( the carrier of x)
L is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
S is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((),L,S) is non empty () ()
x is non empty () () () () () () () ()
the carrier of x is non empty set
c5 is M2( the carrier of x)
c6 is M2( the carrier of x)
(x,c5,c6) is M2( the carrier of x)
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 . (c5,c6) is M2( the carrier of x)
c7 is M2( the carrier of x)
(x,c7,c5) is M2( the carrier of x)
the of x . (c7,c5) is M2( the carrier of x)
L is non empty ()
L is non empty ()
the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]) is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((), the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]), the V6() V18([:(),():], bool {}) M2( 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 {}) M2( bool [:[:(),():],():]) is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((), the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]), the V6() V18([:(),():], bool {}) M2( 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 {}) M2( bool [:[:(),():],():]) is V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():])
((), the V6() V18([:(),():], bool {}) M2( bool [:[:(),():],():]), the V6() V18([:(),():], bool {}) M2( 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)
c5 is M2( the carrier of p)
c6 is M2( the carrier of p)
(p,c5,c6) is M2( the carrier of p)
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 . (c5,c6) is M2( the carrier of p)
(p,x,(p,c5,c6)) is M2( the carrier of p)
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,c5,c6)) is M2( the carrier of p)
(p,x,c5) is M2( the carrier of p)
the of p . (x,c5) is M2( the carrier of p)
(p,x,c6) is M2( the carrier of p)
the of p . (x,c6) is M2( the carrier of p)
(p,(p,x,c5),(p,x,c6)) is M2( the carrier of p)
the of p . ((p,x,c5),(p,x,c6)) is M2( the carrier of p)
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)
c5 is M2( the carrier of L)
c6 is M2( the carrier of L)
c7 is M2( the carrier of L)
(L,c6,c7) is M2( the carrier of L)
the of L . (c6,c7) is M2( the carrier of L)
(L,c5,(L,c6,c7)) is M2( the carrier of L)
the of L . (c5,(L,c6,c7)) is M2( the carrier of L)
(L,c5,c6) is M2( the carrier of L)
the of L . (c5,c6) is M2( the carrier of L)
(L,c5,c7) is M2( the carrier of L)
the of L . (c5,c7) is M2( the carrier of L)
(L,(L,c5,c6),(L,c5,c7)) is M2( the carrier of L)
the of L . ((L,c5,c6),(L,c5,c7)) 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,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