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