%% S: ( 'a' S ) 'b' | 'c' ; %%