%term 'c' %term 'd' %% s: c''c = { } c: 'c'c = { } | 'd' = { } %%