RelaxNG/publiquiz.rnc
changeset 359 1dce0160fefd
parent 358 73f2c224e7d7
child 360 77f406396cfc
--- a/RelaxNG/publiquiz.rnc	dim. déc. 21 15:15:05 2014 +0100
+++ b/RelaxNG/publiquiz.rnc	mar. déc. 23 15:50:13 2014 +0100
@@ -200,6 +200,7 @@
    multiple.attribute?
 
 matching.content =
+   matching.intruders?,
    match,
    match+
 
@@ -515,8 +516,15 @@
 blanks.intruders.content =
    blank+
 
-# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ match.item ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+# ~~~~~~~~~~~~~~~~~~~~~~~ matching.intruders, match.item ~~~~~~~~~~~~~~~~~~~~~~
 
+# ~~~~~~~ matching.intruders
+matching.intruders = element intruders { matching.intruders.content }
+
+matching.intruders.content =
+   match.item+
+
+# ~~~~~~~ match.item
 match.item = element item { match.item.content }
 
 match.item.content =