380 |
380 |
381 # ~~~~~~ list |
381 # ~~~~~~ list |
382 blanks.list = element list { |
382 blanks.list = element list { |
383 block.head?, |
383 block.head?, |
384 ( (attribute type {"ordered"}?, blanks.item, blanks.item+) |
384 ( (attribute type {"ordered"}?, blanks.item, blanks.item+) |
385 | (attribute type {"glossary"}, glossary.item+) ) |
385 | (attribute type {"glossary"}, item.glossary+) ) |
386 } |
386 } |
387 blanks-m.list = element list { |
387 blanks-m.list = element list { |
388 block.head?, |
388 block.head?, |
389 ( (attribute type {"ordered"}?, blanks.item, blanks.item+) |
389 ( (attribute type {"ordered"}?, blanks.item, blanks.item+) |
390 | (attribute type {"glossary"}, glossary.item+) ) |
390 | (attribute type {"glossary"}, item.glossary+) ) |
391 } |
391 } |
392 pointing.list = element list { |
392 pointing.list = element list { |
393 block.head?, |
393 block.head?, |
394 ( (attribute type {"ordered"}?, pointing.item, pointing.item+) |
394 ( (attribute type {"ordered"}?, pointing.item, pointing.item+) |
395 | (attribute type {"glossary"}, glossary.item+) ) |
395 | (attribute type {"glossary"}, item.glossary+) ) |
396 } |
396 } |
397 |
397 |
398 # ~~~~~~ item |
398 # ~~~~~~ item |
399 blanks.item = element item { blanks.item.content } |
399 blanks.item = element item { blanks.item.content } |
400 blanks-m.item = element item { blanks.item.content } |
400 blanks-m.item = element item { blanks.item.content } |