ex51.out x <= z ]]> x <= z & y <= z ]]> x ^ <= y ^ ]]> x ; y <= z ; y ]]> x <= z ]]> x <= z & y <= z ]]> x ^ <= y ^ ]]> x ; y <= z ; y ]]> x <= z ]]> x <= z & y <= z ]]> x ^ <= y ^ ]]> x ; y <= z ; y ]]>