translation_quiz = tq: generate random sentences, display them in one language, and check the user’s answer given in another language.
> translation_quiz -from=FoodEng -to=FoodItaOperations
Functions in concrete syntax are defined using the keyword oper (for operation), distinct from fun for the sake of clarity.