%% S: | 'a' S 'b' ; %%