1 2 3 4 5 6
% EXPECT: valid % Simple test for right precedence of AND and NOT. A, B: BOOLEAN; QUERY (A AND NOT B) <=> (A AND (NOT B));