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