More concise definition of provided functions in grammar.