path: root/test/regress/regress0/test9.cvc

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