187    attribute id { "4" }, pointing-c.category.content }

   187    attribute id { "4" }, pointing-c.category.content }

   188 pointing-c.category5 = element category {

   188 pointing-c.category5 = element category {

   189    attribute id { "5" }, pointing-c.category.content }

   189    attribute id { "5" }, pointing-c.category.content }

   190 

   190 

   191 pointing-c.category.content = inlines

   191 pointing-c.category.content = inlines

   193 

   192 

   194 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ matching ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   193 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ matching ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   195 

   194 

   196 # ~~~~~~ matching

   195 # ~~~~~~ matching

   197 matching = element matching { matching.attributes, matching.content }

   196 matching = element matching { matching.attributes, matching.content }