% EXPECT: VALID
% Simple test for right precedence of AND and NOT.

A, B, C: BOOLEAN;

QUERY (NOT A AND B) <=> ((NOT A) AND B);