a, b, c: BOOLEAN;
% EXPECT: invalid
QUERY NOT c AND b;