my_consts default_compare 0 2 3 SAT NOT_SAT 2 3 SAT NOT_SAT 5 3 PB B Z N NB 3 3 G Z B 2 3 SAT NOT_SAT 2 3 SAT NOT_SAT 2 3 SAT NOT_SAT 2 3 SAT NOT_SAT 5 3 B B Z G G 5 3 G G Z B B 5 3 B Z G Z B 5 3 G Z B Z B default_concat 1 2 3 SAT NOT_SAT 3 3 G Z B 2 3 SAT NOT_SAT 3 3 G Z B 2 3 SAT NOT_SAT 3 3 G Z B 3 3 G Z B 4 3 SAT NOT_SAT NOT_SAT NOT_SAT 4 3 SAT SAT SAT NOT_SAT 9 3 G Z B Z Z B B B B 9 3 G G G G Z Z G Z B 6 3 G B Z B B B 6 3 G G G Z G B default_parameter_set -100 100 0 0.95 1 1 /* #: 9 */ violet blue light_blue turquoise green yellow orange red pink /* #: 0 */ /* #: 0 */ /* #: 13 */ ni-c1:ni -1 -100 100 0 0.95 0 0.4 /* #: 2 */ SAT -100 0 violet point_list -1 /* #: 4 */ -100 0 -100 1 0 1 0 0 /* #: 0 */ NOT_SAT 0 100 blue point_list -1 /* #: 4 */ 0 0 0 1 100 1 100 0 /* #: 0 */ ni-c1 -1 -100 100 0 0.95 0 0.4 /* #: 2 */ SAT -100 0 violet point_list -1 /* #: 4 */ -100 0 -100 1 0 1 0 0 /* #: 0 */ NOT_SAT 0 100 blue point_list -1 /* #: 4 */ 0 0 0 1 100 1 100 0 /* #: 0 */ alu-c1:alu -1 -100 100 0 0.95 1 0.9 /* #: 5 */ PB -100 -47.5 violet point_list -1 /* #: 4 */ -100 0 -100 1 -71.25 1 -47.5 0 /* #: 0 */ B -95 0 blue point_list -1 /* #: 4 */ -95 0 -71.25 1 -23.75 1 0 0 /* #: 0 */ Z -47.5 47.5 light_blue point_list -1 /* #: 4 */ -47.5 0 -23.75 1 23.75 1 47.5 0 /* #: 0 */ N 0 95 turquoise point_list -1 /* #: 4 */ 0 0 23.75 1 71.25 1 95 0 /* #: 0 */ NB 47.5 100 green point_list -1 /* #: 4 */ 47.5 0 71.25 1 100 1 100 0 /* #: 0 */ alu-c1 -1 -100 100 0 0.95 1 0.9 /* #: 3 */ G -100 0 violet point_list -1 /* #: 4 */ -100 0 -100 1 -47.5 1 0 0 /* #: 0 */ Z -95 95 blue point_list -1 /* #: 4 */ -95 0 -47.5 1 47.5 1 95 0 /* #: 0 */ B 0 100 light_blue point_list -1 /* #: 4 */ 0 0 47.5 1 100 1 100 0 /* #: 0 */ alu-c2:alu -1 -100 100 0 0.95 1 0.2 /* #: 5 */ PB -100 -47.5 violet point_list -1 /* #: 4 */ -100 0 -100 1 -71.25 1 -47.5 0 /* #: 0 */ B -95 0 blue point_list -1 /* #: 4 */ -95 0 -71.25 1 -23.75 1 0 0 /* #: 0 */ Z -47.5 47.5 light_blue point_list -1 /* #: 4 */ -47.5 0 -23.75 1 23.75 1 47.5 0 /* #: 0 */ N 0 95 turquoise point_list -1 /* #: 4 */ 0 0 23.75 1 71.25 1 95 0 /* #: 0 */ NB 47.5 100 green point_list -1 /* #: 4 */ 47.5 0 71.25 1 100 1 100 0 /* #: 0 */ alu-c2 -1 -100 100 0 0.95 1 0.2 /* #: 3 */ G -100 0 violet point_list -1 /* #: 4 */ -100 0 -100 1 -47.5 1 0 0 /* #: 0 */ Z -95 95 blue point_list -1 /* #: 4 */ -95 0 -47.5 1 47.5 1 95 0 /* #: 0 */ B 0 100 light_blue point_list -1 /* #: 4 */ 0 0 47.5 1 100 1 100 0 /* #: 0 */ alu-alu -1 -100 100 0 0.95 1 0.9 /* #: 3 */ G -100 0 violet point_list -1 /* #: 4 */ -100 0 -100 1 -47.5 1 0 0 /* #: 0 */ Z -95 95 blue point_list -1 /* #: 4 */ -95 0 -47.5 1 47.5 1 95 0 /* #: 0 */ B 0 100 light_blue point_list -1 /* #: 4 */ 0 0 47.5 1 100 1 100 0 /* #: 0 */ ni-c2:ni -1 -100 100 0 0.95 0 0.4 /* #: 2 */ SAT -100 0 violet point_list -1 /* #: 4 */ -100 0 -100 1 0 1 0 0 /* #: 0 */ NOT_SAT 0 100 blue point_list -1 /* #: 4 */ 0 0 0 1 100 1 100 0 /* #: 0 */ ni-c2 -1 -100 100 0 0.95 0 0.4 /* #: 2 */ SAT -100 0 violet point_list -1 /* #: 4 */ -100 0 -100 1 0 1 0 0 /* #: 0 */ NOT_SAT 0 100 blue point_list -1 /* #: 4 */ 0 0 0 1 100 1 100 0 /* #: 0 */ ni-ni -1 -100 100 0 0.95 0 0.23 /* #: 2 */ SAT -100 0 violet point_list -1 /* #: 4 */ -100 0 -100 1 0 1 0 0 /* #: 0 */ NOT_SAT 0 100 blue point_list -1 /* #: 4 */ 0 0 0 1 100 1 100 0 /* #: 0 */ alus-ni1 -1 -100 100 0 0.95 0.5 0.3 /* #: 3 */ G -100 -23.75 violet point_list -1 /* #: 4 */ -100 0 -100 1 -47.5 1 -23.75 0 /* #: 0 */ Z -71.25 71.25 blue point_list -1 /* #: 4 */ -71.25 0 -47.5 1 47.5 1 71.25 0 /* #: 0 */ B 23.75 100 light_blue point_list -1 /* #: 4 */ 23.75 0 47.5 1 100 1 100 0 /* #: 0 */ alus-ni1-alu2 -1 -100 100 0 0.95 1 0.8 /* #: 3 */ G -100 0 violet point_list -1 /* #: 4 */ -100 0 -100 1 -47.5 1 0 0 /* #: 0 */ Z -95 95 blue point_list -1 /* #: 4 */ -95 0 -47.5 1 47.5 1 95 0 /* #: 0 */ B 0 100 light_blue point_list -1 /* #: 4 */ 0 0 47.5 1 100 1 100 0 /* #: 0 */ ALUMINIUM -1 -100 100 0 0.95 1 0.9 /* #: 3 */ G -100 0 violet point_list -1 /* #: 4 */ -100 0 -100 1 -47.5 1 0 0 /* #: 0 */ Z -95 95 blue point_list -1 /* #: 4 */ -95 0 -47.5 1 47.5 1 95 0 /* #: 0 */ B 0 100 light_blue point_list -1 /* #: 4 */ 0 0 47.5 1 100 1 100 0 /* #: 0 */ no_fop minimum maximum minimum minimum minimum cog 1 10 nameless_rule_set /* #: 8 */ /* #: 2 */ IF /* #: 1 */ ni-c1:ni IS SAT THEN ni-c1 IS SAT WITH CERTAINTY 1. IF /* #: 1 */ ni-c1:ni IS NOT_SAT THEN ni-c1 IS NOT_SAT WITH CERTAINTY 1. /* #: 5 */ IF /* #: 1 */ ALUMINIUM:alu IS PB THEN ALUMINIUM IS B WITH CERTAINTY 1. IF /* #: 1 */ ALUMINIUM:alu IS B THEN ALUMINIUM IS B WITH CERTAINTY 1. IF /* #: 1 */ ALUMINIUM:alu IS Z THEN ALUMINIUM IS Z WITH CERTAINTY 1. IF /* #: 1 */ ALUMINIUM:alu IS N THEN ALUMINIUM IS G WITH CERTAINTY 1. IF /* #: 1 */ ALUMINIUM:alu IS NB THEN ALUMINIUM IS G WITH CERTAINTY 1. /* #: 5 */ IF /* #: 1 */ alu-c2:alu IS PB THEN alu-c2 IS B WITH CERTAINTY 1. IF /* #: 1 */ alu-c2:alu IS B THEN alu-c2 IS Z WITH CERTAINTY 1. IF /* #: 1 */ alu-c2:alu IS Z THEN alu-c2 IS G WITH CERTAINTY 1. IF /* #: 1 */ alu-c2:alu IS N THEN alu-c2 IS Z WITH CERTAINTY 1. IF /* #: 1 */ alu-c2:alu IS NB THEN alu-c2 IS B WITH CERTAINTY 1. /* #: 2 */ IF /* #: 1 */ ni-c2:ni IS SAT THEN ni-c2 IS SAT WITH CERTAINTY 1. IF /* #: 1 */ ni-c2:ni IS NOT_SAT THEN ni-c2 IS NOT_SAT WITH CERTAINTY 1. /* #: 4 */ IF /* #: 2 */ ni-c1 IS SAT OR ni-c2 IS SAT THEN ni-ni IS SAT WITH CERTAINTY 1. IF /* #: 2 */ ni-c1 IS SAT OR ni-c2 IS NOT_SAT THEN ni-ni IS SAT WITH CERTAINTY 1. IF /* #: 2 */ ni-c1 IS NOT_SAT OR ni-c2 IS SAT THEN ni-ni IS SAT WITH CERTAINTY 1. IF /* #: 2 */ ni-c1 IS NOT_SAT OR ni-c2 IS NOT_SAT THEN ni-ni IS NOT_SAT WITH CERTAINTY 1. /* #: 6 */ IF /* #: 2 */ alu-alu IS G AND ni-c1 IS SAT THEN alus-ni1 IS G WITH CERTAINTY 1. IF /* #: 2 */ alu-alu IS G AND ni-c1 IS NOT_SAT THEN alus-ni1 IS B WITH CERTAINTY 1. IF /* #: 2 */ alu-alu IS Z AND ni-c1 IS SAT THEN alus-ni1 IS Z WITH CERTAINTY 1. IF /* #: 2 */ alu-alu IS Z AND ni-c1 IS NOT_SAT THEN alus-ni1 IS B WITH CERTAINTY 1. IF /* #: 2 */ alu-alu IS B AND ni-c1 IS SAT THEN alus-ni1 IS B WITH CERTAINTY 1. IF /* #: 2 */ alu-alu IS B AND ni-c1 IS NOT_SAT THEN alus-ni1 IS B WITH CERTAINTY 1. /* #: 9 */ IF /* #: 2 */ alus-ni1 IS G AND alu-c2 IS G THEN alus-ni1-alu2 IS G WITH CERTAINTY 1. IF /* #: 2 */ alus-ni1 IS G AND alu-c2 IS Z THEN alus-ni1-alu2 IS Z WITH CERTAINTY 1. IF /* #: 2 */ alus-ni1 IS G AND alu-c2 IS B THEN alus-ni1-alu2 IS B WITH CERTAINTY 1. IF /* #: 2 */ alus-ni1 IS Z AND alu-c2 IS G THEN alus-ni1-alu2 IS Z WITH CERTAINTY 1. IF /* #: 2 */ alus-ni1 IS Z AND alu-c2 IS Z THEN alus-ni1-alu2 IS Z WITH CERTAINTY 1. IF /* #: 2 */ alus-ni1 IS Z AND alu-c2 IS B THEN alus-ni1-alu2 IS B WITH CERTAINTY 1. IF /* #: 2 */ alus-ni1 IS B AND alu-c2 IS G THEN alus-ni1-alu2 IS B WITH CERTAINTY 1. IF /* #: 2 */ alus-ni1 IS B AND alu-c2 IS Z THEN alus-ni1-alu2 IS B WITH CERTAINTY 1. IF /* #: 2 */ alus-ni1 IS B AND alu-c2 IS B THEN alus-ni1-alu2 IS B WITH CERTAINTY 1. /* #: 9 */ IF /* #: 2 */ ALUMINIUM IS G AND alu-c2 IS G THEN alu-alu IS G WITH CERTAINTY 1. IF /* #: 2 */ ALUMINIUM IS G AND alu-c2 IS Z THEN alu-alu IS Z WITH CERTAINTY 1. IF /* #: 2 */ ALUMINIUM IS G AND alu-c2 IS B THEN alu-alu IS B WITH CERTAINTY 1. IF /* #: 2 */ ALUMINIUM IS Z AND alu-c2 IS G THEN alu-alu IS Z WITH CERTAINTY 1. IF /* #: 2 */ ALUMINIUM IS Z AND alu-c2 IS Z THEN alu-alu IS Z WITH CERTAINTY 1. IF /* #: 2 */ ALUMINIUM IS Z AND alu-c2 IS B THEN alu-alu IS B WITH CERTAINTY 1. IF /* #: 2 */ ALUMINIUM IS B AND alu-c2 IS G THEN alu-alu IS B WITH CERTAINTY 1. IF /* #: 2 */ ALUMINIUM IS B AND alu-c2 IS Z THEN alu-alu IS B WITH CERTAINTY 1. IF /* #: 2 */ ALUMINIUM IS B AND alu-c2 IS B THEN alu-alu IS B WITH CERTAINTY 1. 8 0 ni-c1 0 0.4 0 0 ni 0 1 0.4 ALUMINIUM 0 0.99 1 0 alu 1 0 0.08 alu-c2 0 0.2 1 0 alu 1 2 0.08 alu-alu 1 0.9 1 0 ALUMINIUM alu-c2 0 ni-c2 0 0.4 0 0 ni 0 3 0.4 ni-ni 1 0.23 0 0 ni-c1 ni-c2 1 alus-ni1 1 0.3 2 0 alu-alu ni-c1 0 alus-ni1-alu2 1 0.8 1 0 alus-ni1 alu-c2 0