For another example, to disallow duplicate names, (a) might be:
* *...

Caution: this example has an error. It should check for duplicates
among the "relief" rows only, but it mistakenly looks at all the rows.