intotab4 ::= 

  [ [EVALUATE_CHECK_CONSTRAINTS] [REENABLE] [DISABLED_CONSTRAINTS] ]

For information on how to read this syntax, see Appendix C.