Although it is possible to use help.txt to describe the actual implemented contraints, it would be easier if this could be described in the pattern file and returned along with an error.