search

RuleML / issues-ruleml

A repository solely for RuleML issues. No schemas or documents should be committed here.
3 stars 3 forks source link

Possible positional freedom of xsd might be more than is implemented #80

Open rimachaudhari opened 5 years ago

rimachaudhari commented 5 years ago

https://github.com/RuleML/issues-ruleml/issues/79

https://github.com/RuleML/deliberation-ruleml/blob/1.03-psoa/relaxng/modules/unordered_deterministic_groups_expansion_module.rnc

argumentsForAtoms.sequence |=
  slotdepTermsForAtoms.sequence, slotTermsForAtoms.sequence,
  (((termsForAtoms.nonemptysequence.choice, repo?) | repo),
   slotdepTermsForAtoms.sequence, slotTermsForAtoms.sequence)?,
  resl?

could become

argumentsForAtoms.sequence |=
  (slotdepTermsForAtoms.sequence & slotTermsForAtoms.sequence),
  (((termsForAtoms.nonemptysequence.choice, repo?) | repo),
   (slotdepTermsForAtoms.sequence & slotTermsForAtoms.sequence))?,
  resl?

and similarly for Expr.