%% Regression level = 0
%% Result = Valid
%% Runtime = 1
%% Language = presentation
P,Q:BOOLEAN;
ASSERT (P OR Q);
QUERY (P OR Q);