§2.6 : generate-all (extension-of) / explicit grammar