Finished grammar definitions