<Формула>

::= {<Определение локальной функции> | <Определение>} <Результирующие определение>