Supplementary hints

Condition values can be understood as (input) equivalence classes
Irrelevant in a condition ("-") can be handled differently
No action can be the expected behaviour of the system
Warnings and error messages are also the expected behaviour of the system