S: A B;
A: 'this';
B: 'that';