1 2 3 4 5 6 7
%% Regression level = 0 %% Result = Valid %% Runtime = 1 %% Language = presentation P,Q:BOOLEAN; ASSERT (P OR Q); QUERY (P OR Q);