with <choice_expression> select

<name> <= <expression> when <choices>,

<expression> when <choices>,
<expression> when others;