-
Type:
Bug
-
Status: Resolved
-
Priority:
Major
-
Resolution: Fixed
-
Component/s: RDFS metamodel, Relax NG-modules
-
Labels:None
The kind of formulas allowed in SuborderList should be made the same as those allowed in Obligation etc.
Incidentally, there is a typo for the definition of the formula choice pattern for Obligation that inadvertently excludes Or.