:: ALGSTR_0 semantic presentation

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

bool K92() is V31() set

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

[:1,1:] is set

bool [:1,1:] is set

[:[:1,1:],1:] is set

bool [:[:1,1:],1:] is set

{} is set

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

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

(c

c

the carrier of c

the of c

[: the carrier of c

[:[: the carrier of c

bool [:[: the carrier of c

b is Element of the carrier of c

b1 is Element of the carrier of c

the of c

op2 is V6() V18([:1,1:],1) Element of bool [:[:1,1:],1:]

(1,op2) is non empty () ()

() is ()

c

the carrier of c

c

the carrier of c

c

the carrier of c

b is Element of the carrier of c

b is Element of the carrier of c

c

c

the carrier of () is non empty trivial V31() 1 -element set

b1 is Element of the carrier of ()

b is Element of the carrier of ()

((),b1,b) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b1,b) is Element of the carrier of ()

m is Element of the carrier of ()

((),m,b) is Element of the carrier of ()

the of () . (m,b) is Element of the carrier of ()

the carrier of () is non empty trivial V31() 1 -element set

b is Element of the carrier of ()

b1 is Element of the carrier of ()

((),b,b1) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b,b1) is Element of the carrier of ()

m is Element of the carrier of ()

((),b,m) is Element of the carrier of ()

the of () . (b,m) is Element of the carrier of ()

c

the carrier of c

b is Element of the carrier of c

c

the carrier of c

b is Element of the carrier of c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is Element of c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is Element of c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is Element of c

(c

op0 is V24() V25() V26() Element of 1

(1,op2,op0) is non empty () ()

() is ()

c

the carrier of c

c

the carrier of c

c

the carrier of c

b is Element of the carrier of c

b is Element of the carrier of c

c

the carrier of c

b is Element of the carrier of c

0. c

the ZeroF of c

b1 is Element of the carrier of c

(c

the of c

[: the carrier of c

[:[: the carrier of c

bool [:[: the carrier of c

the of c

m is Element of the carrier of c

(c

the of c

c

the carrier of c

b is Element of the carrier of c

b1 is Element of the carrier of c

(c

(c

the of c

[: the carrier of c

[:[: the carrier of c

bool [:[: the carrier of c

the of c

the carrier of () is non empty trivial V31() 1 -element set

b1 is Element of the carrier of ()

b is Element of the carrier of ()

((),b1,b) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b1,b) is Element of the carrier of ()

m is Element of the carrier of ()

((),m,b) is Element of the carrier of ()

the of () . (m,b) is Element of the carrier of ()

the carrier of () is non empty trivial V31() 1 -element set

b is Element of the carrier of ()

b1 is Element of the carrier of ()

((),b,b1) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b,b1) is Element of the carrier of ()

m is Element of the carrier of ()

((),b,m) is Element of the carrier of ()

the of () . (b,m) is Element of the carrier of ()

c

c

the carrier of () is non empty trivial V31() 1 -element set

b is (()) (()) (()) Element of the carrier of ()

((),b,b) is (()) (()) (()) Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b,b) is (()) (()) (()) Element of the carrier of ()

0. () is V47(()) (()) (()) (()) Element of the carrier of ()

the ZeroF of () is (()) (()) (()) Element of the carrier of ()

the carrier of () is non empty trivial V31() 1 -element set

b is (()) (()) (()) Element of the carrier of ()

((),b,b) is (()) (()) (()) Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b,b) is (()) (()) (()) Element of the carrier of ()

0. () is V47(()) (()) (()) (()) Element of the carrier of ()

the ZeroF of () is (()) (()) (()) Element of the carrier of ()

c

the carrier of c

b is Element of the carrier of c

c

the carrier of c

b is Element of the carrier of c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

(c

c

the carrier of c

the of c

[: the carrier of c

[:[: the carrier of c

bool [:[: the carrier of c

b is Element of the carrier of c

b1 is Element of the carrier of c

the of c

(1,op2) is non empty () ()

() is ()

c

the carrier of c

c

the carrier of c

c

the carrier of c

b is Element of the carrier of c

b is Element of the carrier of c

c

c

the carrier of () is non empty trivial V31() 1 -element set

b is Element of the carrier of ()

b1 is Element of the carrier of ()

((),b,b1) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b,b1) is Element of the carrier of ()

m is Element of the carrier of ()

((),b,m) is Element of the carrier of ()

the of () . (b,m) is Element of the carrier of ()

the carrier of () is non empty trivial V31() 1 -element set

b1 is Element of the carrier of ()

b is Element of the carrier of ()

((),b1,b) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b1,b) is Element of the carrier of ()

m is Element of the carrier of ()

((),m,b) is Element of the carrier of ()

the of () . (m,b) is Element of the carrier of ()

c

the carrier of c

b is Element of the carrier of c

c

the carrier of c

b is Element of the carrier of c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is Element of c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is Element of c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is Element of c

(c

(1,op2,op0) is non empty () ()

() is ()

the carrier of () is non empty trivial V31() 1 -element set

b is Element of the carrier of ()

b1 is Element of the carrier of ()

((),b,b1) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b,b1) is Element of the carrier of ()

m is Element of the carrier of ()

((),b,m) is Element of the carrier of ()

the of () . (b,m) is Element of the carrier of ()

the carrier of () is non empty trivial V31() 1 -element set

b1 is Element of the carrier of ()

b is Element of the carrier of ()

((),b1,b) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b1,b) is Element of the carrier of ()

m is Element of the carrier of ()

((),m,b) is Element of the carrier of ()

the of () . (m,b) is Element of the carrier of ()

c

the carrier of c

c

the carrier of c

c

the carrier of c

b is Element of the carrier of c

b is Element of the carrier of c

c

the carrier of c

b is Element of the carrier of c

1. c

the OneF of c

b1 is Element of the carrier of c

(c

the of c

[: the carrier of c

[:[: the carrier of c

bool [:[: the carrier of c

the of c

m is Element of the carrier of c

(c

the of c

c

c

the carrier of () is non empty trivial V31() 1 -element set

b is (()) (()) (()) Element of the carrier of ()

((),b,b) is (()) (()) (()) Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b,b) is (()) (()) (()) Element of the carrier of ()

1. () is (()) (()) (()) Element of the carrier of ()

the OneF of () is (()) (()) (()) Element of the carrier of ()

the carrier of () is non empty trivial V31() 1 -element set

b is (()) (()) (()) Element of the carrier of ()

((),b,b) is (()) (()) (()) Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b,b) is (()) (()) (()) Element of the carrier of ()

1. () is (()) (()) (()) Element of the carrier of ()

the OneF of () is (()) (()) (()) Element of the carrier of ()

c

the carrier of c

b is Element of the carrier of c

c

the carrier of c

b is Element of the carrier of c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is Element of c

m is Element of c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is Element of c

m is Element of c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is Element of c

m is Element of c

(c

(1,op2,op0,op0) is non empty () ()

() is ()

c

the carrier of c

b is Element of the carrier of c

1. c

the OneF of c

0. c

the ZeroF of c

b1 is Element of the carrier of c

(c

the of c

[: the carrier of c

[:[: the carrier of c

bool [:[: the carrier of c

the of c

m is Element of the carrier of c

(c

the of c

n is Element of the carrier of c

c

c

c

the carrier of () is non empty trivial V31() 1 -element set

b is Element of the carrier of ()

0. () is V47(()) Element of the carrier of ()

the ZeroF of () is Element of the carrier of ()

b1 is Element of the carrier of ()

((),b,b1) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b,b1) is Element of the carrier of ()

m is Element of the carrier of ()

((),b,m) is Element of the carrier of ()

the of () . (b,m) is Element of the carrier of ()

the carrier of () is non empty trivial V31() 1 -element set

b is Element of the carrier of ()

0. () is V47(()) Element of the carrier of ()

the ZeroF of () is Element of the carrier of ()

b1 is Element of the carrier of ()

((),b1,b) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b1,b) is Element of the carrier of ()

m is Element of the carrier of ()

((),m,b) is Element of the carrier of ()

the of () . (m,b) is Element of the carrier of ()

c

c

the carrier of () is non empty trivial V31() 1 -element set

b is Element of the carrier of ()

0. () is V47(()) Element of the carrier of ()

the ZeroF of () is Element of the carrier of ()

((),b,b) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b,b) is Element of the carrier of ()

1. () is Element of the carrier of ()

the OneF of () is Element of the carrier of ()

the carrier of () is non empty trivial V31() 1 -element set

b is Element of the carrier of ()

0. () is V47(()) Element of the carrier of ()

the ZeroF of () is Element of the carrier of ()

((),b,b) is Element of the carrier of ()

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

[: the carrier of (), the carrier of ():] is set

[:[: the carrier of (), the carrier of ():], the carrier of ():] is set

bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set

the of () . (b,b) is Element of the carrier of ()

1. () is Element of the carrier of ()

the OneF of () is Element of the carrier of ()

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is V6() V18([:c

m is Element of c

n is Element of c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is V6() V18([:c

m is Element of c

n is Element of c

(c

c

[:c

[:[:c

bool [:[:c

b is V6() V18([:c

b1 is V6() V18([:c

m is Element of c

n is Element of c

(c

(1,op2,op2,op0,op0) is non empty () ()

() is ()