Define the grammar and review the function expressivness