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