Check that a boolean expression is true for each row.
If the expression
<expr> does not
evaluate true for any row of the table, execution terminates
with an error.
As long as no error occurs, the output table is identical
to the input one.
The exception generated by an assertion violation is of class
although that is not usually obvious if you are running from
the shell in the usual way.
Syntax for the
<expr> argument is described in Section 9.