% EXPECT: VALID
P,Q:BOOLEAN;
ASSERT (P OR Q);
QUERY (P OR Q);
% EXIT: 20