Shortened grammar (in Adams' formalism).