<Условное определение>

::= IF <Условие> THEN <Блок определений> | <Определение> [ELSE <Блок определений> | <Определение>]