replace oid pattern about reaction-ruleml HOT 3 CLOSED

Edit: for the above to work, we also need to include the oid_expansion_module.
Note that oid? is incorporated into the content models of all Node elements through

instance_ordered-header.choice |= qualification_, quantification_, oid?
Node_ordered-header.choice |=
metadata_ordered-header.choice, interface_ordered-header.choice, instance_ordered-header.choice
Node.header &= Node_ordered-header.choice?

from reaction-ruleml.

One final detail: it is necessary to redefine the Atom and Expr headers to remove the oid because it is not allowed to have an element occur twice in an interleave pattern

# 
# ORDER MODE - UNORDERED GROUPS DISABLED
#
include "http://ruleml.org/1.0/relaxng/modules/ordered_groups_expansion_module.rnc" inherit = ruleml {
  start |= notAllowed
  Atom.header &= (Node.header? , degree-edge.choice?)?
  Expr.header &= Node.header?
}
# 
# ORDER MODE - UNORDERED GROUPS ENABLED
#
#include "http://ruleml.org/1.0/relaxng/modules/unordered_groups_expansion_module.rnc" inherit = ruleml {
#  start |= notAllowed
#  Atom.header &= (Node.header? & degree-edge.choice?)?
#  Expr.header &= Node.header?
#}
# 
# STRIPE-SKIPPING MODE ENABLED
#

from reaction-ruleml.

Fixed by c1f547a

from reaction-ruleml.