a:=x<0;
a:=x mod 2 = 0;
a:=x mod 2 = 1;
a:=(1<=x) and (x<=10);
a:=x<>7;
a:=(0<=x) and (0<=y);
a:=(y<x) and (z<x);
a:=x<0;
a:=x mod 2 = 0;
a:=x mod 2 = 1;
a:=(1<=x) and (x<=10);
a:=x<>7;
a:=(0<=x) and (0<=y);
a:=(y<x) and (z<x);