anchor.diff:      %% schema definition language
   sql -> schema                                                                                   : '$1'.
      
  -schema -> CREATE SCHEMA AUTHORIZATION user opt_schema_element_list                              : {'create_schema_auth', '$4', '$5'}.
  +schema -> CREATE SCHEMA AUTHORIZATION user opt_schema_element_list                              : {'create schema authorization', '$4', '$5'}.
   
   opt_schema_element_list -> '$empty'                                                             : [].
   opt_schema_element_list -> schema_element_list                                                  : '$1'.
  
positive.code: privilege_def -> GRANT privileges ON table TO grantee_commalist opt_with_grant_option           : {'grant', '$2', {'on', '$4'}, {'to', '$6'}, '$7'}.
  
  opt_with_grant_option -> '$empty'                                                               : [].
  opt_with_grant_option -> WITH GRANT OPTION                                                      : 'with_grant_opt'.
  
  privileges -> ALL PRIVILEGES                                                                    : 'all_privileges'.
  privileges -> ALL                                                                               : 'all'.
  privileges -> operation_commalist                                                               : '$1'.
  
  
negative.code: opt_user_opts_list -> '$empty'                                                                  : [].
  opt_user_opts_list -> user_opt opt_user_opts_list                                               : '$1' ++ '$2'.
  
  user_opt -> DEFAULT TABLESPACE NAME                                                             : [{'default tablespace', unwrap_bin('$3')}].
  user_opt -> TEMPORARY TABLESPACE NAME                                                           : [{'temporary tablespace', unwrap_bin('$3')}].
  user_opt -> quota_list                                                                          : [{'quotas', '$1'}].
  user_opt -> PROFILE NAME                                                                        : [{'profile', unwrap_bin('$2')}].
  user_opt -> PASSWORD EXPIRE                                                                     : [{'password','expire'}].
  