Version Control Commit by tara_athan

[workgroup_mailer@lists.oasis-open.org]

Author: tara_athan
Date: 2012-12-22 15:26:44 -0500 (Sat, 22 Dec 2012)
New Revision: 48
Web View: https://tools.oasis-open.org/version-control/browse/wsvn/legalruleml/trunk/schemas/?rev=48&sc=1

Modified:
   trunk/schemas/relaxng/modules/rule_module.rnc
   trunk/schemas/rsd/lrml4xsd.xsd
   trunk/schemas/rsd/spec.xsd
   trunk/schemas/simplified/lrml4xsd.rnc_simplified.rnc
Log:
The rule module (modules/rule_module.rnc) is modified to allow a more expressive content model in the head of constitutive rules.
In particular, conjunctions, disjunctions, implications, equivalence and quantifications are allowed.
The Relax NG schema is written in such a way that the expressivity of rules can, with minor modifications, be coordinated with the expressivity of implications, or varied independently.