% EXPECT: valid
P,Q:BOOLEAN;
ASSERT (P OR Q);
QUERY (P OR Q);