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