Assertion: expression's result | /r/DistinctFrom | datum
Facets:
Source sentences:
text: If the result of evaluating <key> is different from every <datum>, then if there is an else clause its expressions are evaluated and the result of the last is the result of the case expression; otherwise the result of the case expression is unspecified.