1 2 3 4 5 6 7 8 9 10 11
% Tests the invariants for multiple queries. a, b: BOOLEAN; %Valid query QUERY (a AND b) OR NOT (a AND b); %Invalid query QUERY (a OR b);