SIGNAL -+-> value-expr ---------------------+-----+
          +-> SQLSTATE VALUE 'string-literal'-+     |
    +-----------------------<-----------------------+
    ++----------------------------+------------------>
     +-> ( --> signal-arg --> ) --+