Table 3.

Level segmentation Iterations.

ITERATION I
Reachability values	Antecedent values			Intersection values		LEVEL
1,2,3,4,5,6,7,13,14,15	1,2,3,4,5,6,7,8,9,10,11,12,13,14,15			1,2,3,4,5,6,7,13,14,15		I
1,2,3,4,5,6,7,13,14,15	1,2,3,4,5,6,7,8,9,10,11,12,13,14,15			1,2,3,4,5,6,7,13,14,15		I
1,2,3,4,5,6,7,13,14,15	1,2,3,4,5,6,7,8,9,11,12,13,14,15			1,2,3,4,5,6,7,13,14,15		I
1,2,3,4,5,6,7,13,14,15	1,2,3,4,5,6,7,8,9,11,12,13,14,15			1,2,3,4,5,6,7,13,14,15
1,2,3,4,5,7	1,2,3,4,5,6,7,8,9,10,11,12,13,14,15			1,2,3,4,5,7		I
1,2,3,4,5,6,7,13,14,15	1,2,3,4,6,7,8,9,10,11,12,13,14,15			1,2,3,4,6,7,13,14,15
1,2,3,4,5,6,7,13,14,15	1,2,3,4,5,6,7,8,9,10,11,12,13,14,15			1,2,3,4,5,6,7,13,14,15		I
1,2,3,4,5,6,7,8,9,10,11,13,14,15	8,9,10,11,12			8,9,10,11
1,2,3,4,5,6,7,8,9,11,13,14,15	8,9,10,11,12			8,9,11
1,2,4,5,6,7,8,9,10,12	8,10,11,12			8,10,12
1,2,3,4,5,6,7,8,9,10,11,13,14,15	8,10,11,12			8,10,11
1,2,3,4,5,6,7,8,9,10,11,12,13,14,15	10,12			10,12
1,2,3,4,5,6,7,13,14,15	1,2,3,4,6,7,8,9,11,12,13,15			1,2,3,4,6,7,13,15
1,2,3,4,5,6,7,14,15	1,2,3,4,6,7,8,9,11,12,13,14,15			1,2,3,4,6,7,14,15
1,2,3,4,5,6,7,13,14,15	1,2,3,4,6,7,8,9,11,12,13,14,15			1,2,3,4,6,7,14,15
ITERATION II
6,13,14,15	6,8,9,10,11,12,13,14,15	6,13,14,15				II
6,8,9,10,11,13,14,15	8,9,10,11,12	8,9,10,11
6,8,9,11,13,14,15	8,9,10,11,12	8,9,11
6,8,9,10,12	8,10,11,12	8,10,12
6,8,9,10,11,13,14,15	8,9,11,12	8,9,11
6,8,9,10,11,12,13,14,15	10,12	10,12
6,13,14,15	6,8,9,11,12,13,15	6,13,15
6,14,15	6,8,9,11,12,13,14,15	6,14,15				II
6,13,14,15	6,8,9,11,12,13,14,15	6,13,14,15				II
ITERATION III
8,9,10,11,13	8,9,10,11,12	8,9,10,11
8,9,11,13	8,9,10,11,12	8,9,11
8,9,10,12	8,10,11,12	8,10,12
8,9,10,11,13	8,9,11,12	8,9,11
8,9,10,11,12,13	10,12	10,12
13	8,9,11,12,13	13				III
ITERATION IV
8,9,10,11	8,9,10,11	8,9,10,11				8,9,10,11
8,9,11	8,9,11	8,9,11				IV
8,9,10,12	8,9,10,12	8,9,10,12				8,9,10,12
8,9,10,11	8,9,10,11	8,9,10,11				8,9,10,11
ITERATION V
10,12	10,12		10,12			V