equal
deleted
inserted
replaced
432 memory-m.item, |
432 memory-m.item, |
433 audio? |
433 audio? |
434 |
434 |
435 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dictation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
435 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dictation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
436 |
436 |
437 dictation = element dictation { dictation.content } |
437 dictation = element dictation { dictation.attributes, dictation.content } |
|
438 |
|
439 dictation.attributes = |
|
440 case_insensitive.attribute? |
|
441 case_insensitive.attribute = attribute case-insensitive { xsd:boolean } |
438 |
442 |
439 dictation.content = |
443 dictation.content = |
440 audio, |
444 audio, |
441 dictation.block+ |
445 dictation.p |
442 |
446 |
443 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
447 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
444 |
448 |
445 production = element production { production.content } |
449 production = element production { production.content } |
446 |
450 |
505 correct.p | correct.list | correct.blockquote | correct.speech |
509 correct.p | correct.list | correct.blockquote | correct.speech |
506 | correct.table | media) |
510 | correct.table | media) |
507 pointing.block = ( |
511 pointing.block = ( |
508 pointing.p | pointing.list | pointing.blockquote | pointing.speech |
512 pointing.p | pointing.list | pointing.blockquote | pointing.speech |
509 | pointing.table | media) |
513 | pointing.table | media) |
510 dictation.block = dictation.p |
|
511 |
514 |
512 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
515 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
513 |
516 |
514 blanks.p = element p { blanks.p.content } |
517 blanks.p = element p { blanks.p.content } |
515 blanks-m.p = element p { blanks-m.p.content } |
518 blanks-m.p = element p { blanks-m.p.content } |