* Example of Definition * Descriptions are equivalent to the following: * (1*~x2 2*x3 >= 2) or (1*~x2 2*x3 < 2) d x0 => 1 ~x2 2 x3 >= 2 ; d x1 => 1 ~x2 2 x3 < 2 ; 1 x0 1 x1 >= 1 ;