a<1
a>=1
a<=1
a<1 & (b>2 | c<2)
a==1 & b<-2
a==1 & ! b
(a==b)
(a==b) & (c>1)
(a==b) == (c==d)
(a==b)&(c>1)|(d==0)&((e<=1)&!f)