assertion_def

assertion_def 
      ::= 
      "create" "assertion" constraint_name assertion_check 
      [ constraint_attributes ] 

This rule is called by

-> schema_element
-> sql_schema_def_stmt