add grammar specification