diff options
Diffstat (limited to 'cardinality.rnc')
| -rw-r--r-- | cardinality.rnc | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/cardinality.rnc b/cardinality.rnc new file mode 100644 index 0000000..6cf4f90 --- /dev/null +++ b/cardinality.rnc @@ -0,0 +1,18 @@ +start = element bar { fivefoo, upto25foo } +fivefoo = + element foo { empty }, + element foo { empty }, + element foo { empty }, + element foo { empty }, + element foo { empty } +maybefoo = element foo { empty }? +upto25foo = + fivefoo?, + fivefoo?, + fivefoo?, + fivefoo?, + maybefoo, + maybefoo, + maybefoo, + maybefoo, + maybefoo |