Mapping characteristics to blocks

	A	B	C	D	E
1	Non-Typing Predicates
2	Characteristic	Example	Blocks
3	Strictly_greater_predicate_than	Expression > Expression	x > y	x < y	x = y
4	Predicate_greater_than_or_equal	Expression >= Expression	x >= y	x < y
5	Strictly_less_than_predicate	Expression < Expression	x < y	x > y	x = y
6	Less_than_or_equal_predicate	Expression <= Expression	x <= y	x > y
7	Equals_predicate	Expression = Expression	x = y	x /= y
8	Predicate_unequal	Expression /= Expression	x /= y	x = y
9	Negation_predicate	not(Predicate)	not(x > y)	x > y
10	Implication_predicate	Predicate => Predicate	P1 => P2	not(P1 => P2)
11	Equivalence_predicate	Predicate <=> Predicate	P1 <=> P2	not(P1 <=> P2)
12	Predicate_universel	! list_ident . (Predicate => Predicate)	!v1,v2 . (P1 => P2)	not(!v1,v2 . (P1 => P2))
13	Existential_predicate	# list_ident . (Predicate)	#v1,v2 . (P)	#v1,v2 . (not(P))
14	Belongs_predicate	Expression : Expression	exp1 : exp2	exp1 /: exp2
15	Non_belongs_predicate	Expression /: Expression	exp1 /: exp2	exp1 : exp2
16	Predicate_includes	Expression <: Expression	exp1 <: exp2	exp1 /<: exp2
17	Non_inclusion_predicate	Expression /<: Expression	exp1 /<: exp2	exp1 <: exp2
18	Predicate_includes_strictly	Expression <<: Expression	exp1 <<: exp2	exp1 /<<: exp2
19	Non_inclusion_predicate_strict	Expression /<<: Expression	exp1 /<<: exp2	exp1 <<: exp2
20
21
22	Typing Predicates
23	Characteristic	Example	Blocks
24	Is a natural number	id : NAT	x : NAT	x /: NAT
25	Is a natural number different than zero	id : NAT1	x : NAT1	x /: NAT1
26	Is an integer	id : INT	x : INT
27	Is a boolean	id : BOOL	x : BOOL
28	Is a number in the rage	id : Expression..Expression	x : Exp1..Exp2	x : MININT..Exp1-1	x : Exp2+1..MAXINT
29	Is a member of abstract set	id : ID	x : SET
30	Is a member of	id : id	x : y	x /: y
31	Is a total function	id : Simple_set --> Simple_set	x : SET --> SET
32	Is a partial function	id : Simple_set +-> Simple_set	x : SET +-> SET
33	Is an injective function	id : Simple_set >+> Simple_set	x : SET >+> SET
34	Is a total surjective function	id : Simple_set -->> Simple_set	x : SET -->> SET
35	Is a partial surjective function	id : Simple_set +->> Simple_set	x : SET +->> SET
36	Is a bijective function	id : Simple_set >->> Simple_set	x : SET >->> SET
37	Is a member of the enumerated set	id : { Simple_term+ }	x : { term1, term2, ..., termn }	x /: { term1, term2, ..., termn }
38	Is a string	id : STRING	x : STRING
39	Is a subset of an abstract set	id <: ID	id <: ID
40	Is a subset of the set of booleans	id <: BOOL	id <: BOOL
41	Is a subset of the set of natural numbers	id <: NAT	id <: NAT	id /<: NAT
42	Is a subset of the set of natural numbers different than zero	id <: NAT1	id <: NAT1	id /<: NAT1
43	Is a subset of the integer set	id <: INT	id <: INT
44	Is a subset of a range	id <: Expression..Expression	id <: Expression..Expression	id /<: Expression..Expression
45	Is a subset of	id <: id	id <: id	id /<: id
46	Is a subset strict of an abstract set	id <<: ID	id <<: ID	id /<<: ID
47	Is a subset strict of the set of booleans	id <<: BOOL	id <<: BOOL
48	Is a subset strict of the set of natural numbers	id <<: NAT	id <<: NAT	id /<<: NAT
49	Is a subset strict of the set of natural numbers different than zero	id <<: NAT1	id <<: NAT1	id /<<: NAT1
50	Is a subset strict of the integer set	id <<: INT	id <<: INT
51	Is a subset strict of a range	id <<: Expression..Expression	id <<: Expression..Expression	id /<<: Expression..Expression
52	Is a subset strict of	id <<: id	id <<: id	id /<<: id
53	Is equal to abstract set	id = ID	id = ID	id /= ID
54	Is equal to a term	id = Term	id = Term	id /= Term
55	Is equal to array	id = {X \|-> A, Y\|->B, ..., Z\|-> C} or id = SET * {Term}	id = {X \|-> A, Y\|->B, ..., Z\|-> C} or id = SET * {Term}	id /= {X \|-> A, Y\|->B, ..., Z\|-> C} or id /= SET * {Term}
56	Is equal to range	id = Expression..Expression	id = Expression..Expression	id /= Expression..Expression
57	Is equal to the set of natural numbers	id = NAT	id = NAT	id /= NAT
58	Is equal to the set of natural numbers different than zero	id = NAT1	id = NAT1	id /= NAT1
59	Is equal to the set of integers	id = INT	id = INT	id /= INT
60
61	Special Cases
62	CASE SWITCH
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100