a, b, c : BOOLEAN;

ASSERT NOT a OR NOT b;
ASSERT c OR b OR a;
ASSERT b OR NOT a;
ASSERT a OR NOT b OR c;
% EXPECT: invalid
QUERY FALSE;