argumentsForAtoms.sequence |=
slotdepTermsForAtoms.sequence, slotTermsForAtoms.sequence,
(((termsForAtoms.nonemptysequence.choice, repo?) | repo),
slotdepTermsForAtoms.sequence, slotTermsForAtoms.sequence)?,
resl?
argumentsForAtoms.sequence |=
(slotdepTermsForAtoms.sequence & slotTermsForAtoms.sequence),
(((termsForAtoms.nonemptysequence.choice, repo?) | repo),
(slotdepTermsForAtoms.sequence & slotTermsForAtoms.sequence))?,
resl?
and similarly for Expr.
#79
https://github.com/RuleML/deliberation-ruleml/blob/1.03-psoa/relaxng/modules/unordered_deterministic_groups_expansion_module.rnc
could become
and similarly for Expr.