1

# $Id$

     2

     3

     4

include "publidoc.rnc" {

     5

   start = publiquiz

     6

     7

   document.content =

     8

      top.head?,

     9

      (division | topic | quiz)+

    10

    11

   division.content =

    12

      division.head?,

    13

      front?,

    14

      (division | topic | quiz)+

    15

}

    16

    17

    18

publiquiz = element publiquiz {

    19

   publiquiz.attributes,

    20

   publiquiz.content

    21

}

    22

    23

publiquiz.attributes =

    24

   version.attribute

    25

    26

publiquiz.content =

    27

   document

    28

 | top.quiz

    29

    30

    31

# =============================================================================

    32

#                                  TOP LEVEL

    33

# =============================================================================

    34

    35

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.quiz ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    36

    37

top.quiz = element quiz { top.quiz.attributes, top.quiz.content }

    38

    39

top.quiz.attributes =

    40

   quiz.id.attribute?

    41

 & quiz.type.attribute?

    42

 & lang.attribute?

    43

quiz.id.attribute = attribute id { xsd:NMTOKEN }

    44

quiz.type.attribute = attribute type { xsd:NCName }

    45

    46

top.quiz.content =

    47

   top.head?,

    48

   instructions?,

    49

   (engine | composite),

    50

   help?,

    51

   answer?

    52

    53

    54

# =============================================================================

    55

#                                COMPONENT LEVEL

    56

# =============================================================================

    57

    58

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ quiz ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    59

    60

quiz = element quiz { quiz.attributes, quiz.content }

    61

    62

quiz.attributes =

    63

   (quiz.id.attribute | xmlid.attribute)?

    64

 & quiz.type.attribute?

    65

 & lang.attribute?

    66

    67

quiz.content =

    68

   component.head?,

    69

   instructions,

    70

   (engine | composite),

    71

   help?,

    72

   answer?

    73

    74

    75

# =============================================================================

    76

#                                 SECTION LEVEL

    77

# =============================================================================

    78

    79

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    80

    81

blanks.section = element section { section.attributes, blanks.section.content }

    82

blanks-m.section = element section {

    83

   section.attributes, blanks-m.section.content }

    84

pointing.section = element section {

    85

   section.attributes, pointing.section.content }

    86

    87

blanks.section.content =

    88

   section.head?,

    89

   (blanks.section+ | blanks.block+)

    90

blanks-m.section.content =

    91

   section.head?,

    92

   (blanks-m.section+ | blanks-m.block+)

    93

pointing.section.content =

    94

   section.head?,

    95

   (pointing.section+ | pointing.block+)

    96

    97

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ instructions ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    98

    99

instructions = element instructions { section.content }

   100

   101

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ engine ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   102

   103

engine =

   104

   choices-radio

   105

 | choices-check

   106

 | blanks-fill

   107

 | blanks-select

   108

 | blanks-media

   109

 | blanks-char

   110

 | pointing

   111

 | pointing-categories

   112

 | pip

   113

 | matching

   114

 | sort

   115

 | categories

   116

 | mip

   117

 | production

   118

   119

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ choices ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   120

   121

choices-radio = element choices-radio {

   122

   choices-radio.attributes, choices-radio.content }

   123

choices-check = element choices-check {

   124

   choices-check.attributes, choices-check.content }

   125

   126

choices-radio.attributes =

   127

   shuffle.attribute?

   128

choices-check.attributes =

   129

   success.attribute?

   130

 & shuffle.attribute?

   131

success.attribute = attribute success { xsd:decimal {maxInclusive="1"} }

   132

shuffle.attribute = attribute shuffle { xsd:boolean }

   133

   134

choices-radio.content =

   135

   choices.right

   136

 & choices.wrong+

   137

choices-check.content =

   138

   (choices.right | choices.wrong)+

   139

   140

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blanks ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   141

   142

blanks-fill = element blanks-fill {

   143

   blanks-fill.attributes, blanks-fill.content }

   144

blanks-select = element blanks-select {

   145

   blanks-select.attributes, blanks-select.content }

   146

blanks-media = element blanks-media {

   147

   blanks-select.attributes, blanks-media.content }

   148

blanks-char = element blanks-char { 

   149

   blanks-char.attributes, blanks-select.content }

   150

   151

blanks-fill.attributes =

   152

   success.attribute?

   153

 & strict.attribute?

   154

 & long.attribute?

   155

blanks-select.attributes =

   156

   success.attribute?

   157

 & multiple.attribute?

   158

 & noshuffle.attribute?

   159

 & orientation.attribute?

   160

strict.attribute = attribute strict { xsd:boolean }

   161

multiple.attribute = attribute multiple { xsd:boolean }

   162

noshuffle.attribute = attribute no-shuffle { xsd:boolean }

   163

long.attribute = attribute long { xsd:positiveInteger }

   164

orientation.attribute = attribute orientation {"north"|"east"|"west"|"south"}

   165

   166

blanks-fill.content =

   167

   (blanks.block+ | blanks.section+)

   168

blanks-select.content =

   169

   blanks.intruders?,

   170

   (blanks.block+ | blanks.section+)

   171

blanks-media.content =

   172

   blanks-m.intruders?,

   173

   (blanks-m.block+ | blanks-m.section+)

   174

   175

blanks-char.attributes =

   176

   remove-space.attribute?

   177

remove-space.attribute = attribute remove-space { xsd:boolean }

   178

   179

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pointing ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   180

   181

pointing = element pointing { pointing.attributes, pointing.content }

   182

   183

pointing.attributes =

   184

   success.attribute?

   185

 & pointing.type.attribute?

   186

pointing.type.attribute = attribute type { "radio" | "check" }

   187

   188

pointing.content =

   189

   (pointing.section+ | pointing.block+)

   190

   191

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pointing-categories ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   192

   193

# ~~~~~~ pointing-categories

   194

pointing-categories = element pointing-categories {

   195

   pointing-c.attributes, pointing-c.content }

   196

   197

pointing-c.attributes =

   198

   success.attribute?

   199

   200

pointing-c.content =

   201

   pointing-c.categories,

   202

   pointing.section

   203

   204

# ~~~~~~ pointing-c.categories

   205

pointing-c.categories = element categories { pointing-c.categories.content }

   206

   207

pointing-c.categories.content =

   208

   pointing-c.category1,

   209

   pointing-c.category2,

   210

   (pointing-c.category3,

   211

      (pointing-c.category4, pointing-c.category5?)?)?

   212

   213

# ~~~~~~ pointing-c.categoryN

   214

pointing-c.category1 = element category {

   215

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

   216

pointing-c.category2 = element category {

   217

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

   218

pointing-c.category3 = element category {

   219

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

   220

pointing-c.category4 = element category {

   221

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

   222

pointing-c.category5 = element category {

   223

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

   224

   225

pointing-c.category.content = inlines

   226

   227

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pip ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   228

   229

pip = element pip { pip.content }

   230

   231

pip.content =

   232

   pip.image

   233

   234

pip.image = element image { image.attributes, pip.image.content }

   235

pip.image.content =

   236

   pip.point+

   237

   238

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ matching ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   239

   240

# ~~~~~~ matching

   241

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

   242

   243

matching.attributes =

   244

   success.attribute?

   245

 & multiple.attribute?

   246

 & orientation.attribute?

   247

   248

matching.content =

   249

   matching.intruders?,

   250

   match,

   251

   match+

   252

   253

# ~~~~~~ match

   254

match = element match { match.content }

   255

   256

match.content =

   257

   match.item,

   258

   match.item

   259

   260

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sort ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   261

   262

sort = element sort { sort.attributes, sort.content }

   263

   264

sort.attributes =

   265

   success.attribute?

   266

 & shuffle.attribute?

   267

 & orientation.attribute?

   268

   269

sort.content =

   270

   comparison?,

   271

   sort.item,

   272

   sort.item+

   273

   274

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ categories ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   275

   276

# ~~~~~~ category.head

   277

category.head = element head { category.head.content }

   278

   279

category.head.content =

   280

   title

   281

 & shorttitle?

   282

 & subtitle*

   283

   284

# ~~~~~~ categories

   285

categories = element categories { categories.attributes, categories.content }

   286

   287

categories.attributes =

   288

   success.attribute?

   289

 & multiple.attribute?

   290

 & noshuffle.attribute?

   291

 & orientation.attribute?

   292

   293

categories.content =

   294

   categories.intruders?,

   295

   category,

   296

   category+

   297

   298

# ~~~~~~ category

   299

category = element category { category.content }

   300

   301

category.content =

   302

   category.head,

   303

   category.item*

   304

   305

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ mip ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   306

   307

mip = element mip { mip.attributes, mip.content }

   308

   309

mip.attributes =

   310

   success.attribute?

   311

 & multiple.attribute?

   312

 & orientation.attribute?

   313

   314

mip.content =

   315

   mip.image

   316

   317

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   318

   319

production = element production { production.content }

   320

   321

production.content = text

   322

   323

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ composite ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   324

   325

# ~~~~~~ composite

   326

composite = element composite { composite.attributes, composite.content }

   327

   328

composite.attributes =

   329

   success.attribute?

   330

 & multipage.attribute?

   331

multipage.attribute = attribute multipage { xsd:boolean }

   332

   333

composite.content =

   334

   subquiz,

   335

   subquiz+

   336

   337

# ~~~~~~ subquiz

   338

subquiz = element subquiz { subquiz.content }

   339

   340

subquiz.content =

   341

   instructions?,

   342

   engine,

   343

   help?,

   344

   answer?

   345

   346

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ help ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   347

   348

help = element help { help.content }

   349

   350

help.content =

   351

   (section+ | block+)?,

   352

   link*

   353

   354

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ answer ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   355

   356

answer = element answer { answer.content }

   357

   358

answer.content =

   359

   (section+ | block+)?,

   360

   link*

   361

   362

   363

# =============================================================================

   364

#                                 BLOCK LEVEL

   365

# =============================================================================

   366

   367

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ block ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   368

   369

blanks.block = (

   370

   blanks.p | blanks.list | blanks.blockquote | blanks.speech | blanks.table

   371

 | blanks.media)

   372

blanks-m.block = (

   373

   blanks-m.p | blanks-m.list | blanks-m.blockquote | blanks-m.speech

   374

 | blanks-m.table | blanks-m.media)

   375

pointing.block = (

   376

   pointing.p | pointing.list | pointing.blockquote | pointing.speech

   377

 | pointing.table | media)

   378

   379

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   380

   381

blanks.p = element p { blanks.p.content }

   382

blanks-m.p = element p { blanks-m.p.content }

   383

pointing.p = element p { pointing.p.content }

   384

   385

blanks.p.content =

   386

   blanks.inlines

   387

blanks-m.p.content =

   388

   blanks-m.inlines

   389

pointing.p.content =

   390

   pointing.inlines

   391

   392

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ list ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   393

   394

# ~~~~~~ list

   395

blanks.list = element list {

   396

   block.head?,

   397

   (  (attribute type {"ordered"}?, blanks.item, blanks.item+)

   398

    | (attribute type {"glossary"}, glossary.item+) )

   399

}

   400

blanks-m.list = element list {

   401

   block.head?,

   402

   (  (attribute type {"ordered"}?, blanks.item, blanks.item+)

   403

    | (attribute type {"glossary"}, glossary.item+) )

   404

}

   405

pointing.list = element list {

   406

   block.head?,

   407

   (  (attribute type {"ordered"}?, pointing.item, pointing.item+)

   408

    | (attribute type {"glossary"}, glossary.item+) )

   409

}

   410

   411

# ~~~~~~ item

   412

blanks.item = element item { blanks.item.content }

   413

blanks-m.item = element item { blanks.item.content }

   414

pointing.item = element item { pointing.item.content }

   415

   416

blanks.item.content =

   417

   blanks.inlines

   418

 | blanks.block+

   419

blanks-m.item.content =

   420

   blanks-m.inlines

   421

 | blanks-m.block+

   422

pointing.item.content =

   423

   pointing.inlines

   424

 | pointing.block+

   425

   426

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blockquote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   427

   428

blanks.blockquote = element blockquote {

   429

   blockquote.attributes, blanks.blockquote.content }

   430

blanks-m.blockquote = element blockquote {

   431

   blockquote.attributes, blanks-m.blockquote.content }

   432

pointing.blockquote = element blockquote {

   433

   blockquote.attributes, pointing.blockquote.content }

   434

   435

blanks.blockquote.content =

   436

   block.head?,

   437

   (blanks.p | speech | blanks.list)+,

   438

   attribution?

   439

blanks-m.blockquote.content =

   440

   block.head?,

   441

   (blanks-m.p | speech | blanks-m.list)+,

   442

   attribution?

   443

pointing.blockquote.content =

   444

   block.head?,

   445

   (pointing.p | speech | pointing.list)+,

   446

   attribution?

   447

   448

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ speech ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   449

   450

# ~~~~~~ speech

   451

blanks.speech = element speech { blanks.speech.content }

   452

blanks-m.speech = element speech { blanks-m.speech.content }

   453

pointing.speech = element speech { pointing.speech.content }

   454

   455

blanks.speech.content =

   456

   blanks.speaker?,

   457

   stage?,

   458

   (blanks.p | blanks.blockquote)+

   459

blanks-m.speech.content =

   460

   blanks-m.speaker?,

   461

   stage?,

   462

   (blanks-m.p | blanks-m.blockquote)+

   463

pointing.speech.content =

   464

   pointing.speaker?,

   465

   stage?,

   466

   (pointing.p | pointing.blockquote)+

   467

   468

# ~~~~~~ speaker

   469

blanks.speaker = element speaker { blanks.speaker.content }

   470

blanks-m.speaker = element speaker { blanks-m.speaker.content }

   471

pointing.speaker = element speaker { pointing.speaker.content }

   472

   473

blanks.speaker.content = blanks.inlines

   474

blanks-m.speaker.content = blanks-m.inlines

   475

pointing.speaker.content = pointing.inlines

   476

   477

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   478

   479

# ~~~~~~ table

   480

blanks.table = element table { table.attributes, blanks.table.content }

   481

blanks-m.table = element table { table.attributes, blanks-m.table.content }

   482

pointing.table = element table { table.attributes, pointing.table.content }

   483

   484

blanks.table.content =

   485

   block.head?,

   486

   ((thead?, blanks.tbody+) | blanks.tr+),

   487

   blanks.table.caption?

   488

blanks-m.table.content =

   489

   block.head?,

   490

   ((thead?, blanks-m.tbody+) | blanks-m.tr+),

   491

   blanks-m.table.caption?

   492

pointing.table.content =

   493

   block.head?,

   494

   ((thead?, pointing.tbody+) | pointing.tr+),

   495

   pointing.table.caption?

   496

   497

# ~~~~~~ tbody

   498

blanks.tbody = element tbody { blanks.tbody.content }

   499

blanks-m.tbody = element tbody { blanks-m.tbody.content }

   500

pointing.tbody = element tbody { pointing.tbody.content }

   501

   502

blanks.tbody.content =

   503

   blanks.tr+

   504

blanks-m.tbody.content =

   505

   blanks-m.tr+

   506

pointing.tbody.content =

   507

   pointing.tr+

   508

   509

# ~~~~~~ tr

   510

blanks.tr = element tr { tr.attributes, blanks.tr.content }

   511

blanks-m.tr = element tr { tr.attributes, blanks-m.tr.content }

   512

pointing.tr = element tr { tr.attributes, pointing.tr.content }

   513

   514

blanks.tr.content =

   515

  (blanks.td | blanks.th)+

   516

blanks-m.tr.content =

   517

  (blanks-m.td | blanks-m.th)+

   518

pointing.tr.content =

   519

  (pointing.td | pointing.th)+

   520

   521

# ~~~~~~ td, th

   522

blanks.td = element td { td.attributes, blanks.td.content }

   523

blanks.th = element th { td.attributes, blanks.td.content }

   524

blanks-m.td = element td { td.attributes, blanks-m.td.content }

   525

blanks-m.th = element th { td.attributes, blanks-m.td.content }

   526

pointing.td = element td { td.attributes, pointing.td.content }

   527

pointing.th = element th { td.attributes, pointing.td.content }

   528

   529

blanks.td.content =

   530

   blanks.inlines

   531

 | (blanks.p | blanks.media)+

   532

blanks-m.td.content =

   533

   blanks-m.inlines

   534

 | (blanks-m.p | blanks-m.media)+

   535

pointing.td.content =

   536

   pointing.inlines

   537

 | (pointing.p | media)+

   538

   539

# ~~~~~~ table.caption

   540

blanks.table.caption = element caption { blanks.caption.content }

   541

blanks-m.table.caption = element caption { blanks-m.caption.content }

   542

pointing.table.caption = element caption { pointing.caption.content }

   543

   544

blanks.caption.content =

   545

   blanks.inlines

   546

 | (blanks.p | speech | blanks.list | blockquote)+

   547

blanks-m.caption.content =

   548

   blanks-m.inlines

   549

 | (blanks-m.p | speech | blanks-m.list | blockquote)+

   550

pointing.caption.content =

   551

   pointing.inlines

   552

 | (pointing.p | speech | pointing.list | blockquote)+

   553

   554

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ media ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   555

   556

# ~~~~~~ media

   557

blanks.media = element media { media.attributes, blanks.media.content }

   558

blanks-m.media = element media { media.attributes, blanks-m.media.content }

   559

pointing.media = element media { media.attributes, pointing.media.content }

   560

   561

blanks.media.content =

   562

   block.head?,

   563

   (blanks.image | audio | video)+,

   564

   blanks.media.caption?,

   565

   link?

   566

blanks-m.media.content =

   567

   block.head?,

   568

   (blanks-m.image | audio | video)+,

   569

   blanks-m.media.caption?,

   570

   link?

   571

pointing.media.content =

   572

   block.head?,

   573

   (image | audio | video)+,

   574

   pointing.media.caption?,

   575

   link?

   576

   577

# ~~~~~~ blanks.image

   578

blanks.image = element image { image.attributes, blanks.image.content }

   579

blanks-m.image = element image { image.attributes, blanks-m.image.content }

   580

mip.image = element image { image.attributes, mip.image.content }

   581

   582

blanks.image.content =

   583

   copyright?,

   584

   blanks.dropzone*

   585

blanks-m.image.content =

   586

   copyright?,

   587

   blanks-m.dropzone*

   588

mip.image.content =

   589

   mip.dropzone+

   590

   591

# ~~~~~~ dropzone

   592

blanks.dropzone = element dropzone {

   593

   blanks.dropzone.attributes, blanks.dropzone.content }

   594

blanks-m.dropzone = element dropzone {

   595

   blanks.dropzone.attributes, blanks-m.dropzone.content }

   596

mip.dropzone = element dropzone {

   597

   mip.dropzone.attributes, mip.dropzone.content }

   598

   599

blanks.dropzone.attributes =

   600

   x.attribute

   601

 & y.attribute

   602

mip.dropzone.attributes =

   603

   x.attribute

   604

 & y.attribute

   605

 & w.attribute

   606

 & h.attribute

   607

   608

blanks.dropzone.content =

   609

   blank

   610

blanks-m.dropzone.content =

   611

   blank-m

   612

mip.dropzone.content =

   613

   image?,

   614

   audio?

   615

   616

# ~~~~~~ media.caption

   617

blanks.media.caption = element caption {

   618

   caption.attributes, blanks.caption.content }

   619

blanks-m.media.caption = element caption {

   620

   caption.attributes, blanks-m.caption.content }

   621

pointing.media.caption = element caption {

   622

   caption.attributes, pointing.caption.content }

   623

   624

# ~~~~~~~~~~~~~~~~~~~~~~~~ choices.right, choices.wrong ~~~~~~~~~~~~~~~~~~~~~~~

   625

   626

choices.right = element right { choices.right.content }

   627

choices.wrong = element wrong { choices.right.content }

   628

   629

choices.right.content =

   630

   inlines

   631

 | ((p | image | (audio, image?) | video), help?, answer?)

   632

   633

# ~~~~~~~~~~~~~~~~~~~~ blanks.intruders, blanks-m.intruders  ~~~~~~~~~~~~~~~~~~

   634

   635

blanks.intruders = element intruders { blanks.intruders.content }

   636

blanks-m.intruders = element intruders { blanks-m.intruders.content }

   637

   638

blanks.intruders.content = blank+

   639

blanks-m.intruders.content = blank-m+

   640

   641

# ~~~~~~~~~~~~~~~~~~~~~~~ matching.intruders, match.item ~~~~~~~~~~~~~~~~~~~~~~

   642

   643

# ~~~~~~~ matching.intruders

   644

matching.intruders = element intruders { matching.intruders.content }

   645

   646

matching.intruders.content =

   647

   match.item+

   648

   649

# ~~~~~~~ match.item

   650

match.item = element item { match.item.content }

   651

   652

match.item.content =

   653

   inlines

   654

 | (p, help?, answer?)

   655

   656

# ~~~~~~~~~~~~~~~~~~~~~~~~ comparison, sort.item ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   657

   658

# ~~~~~~ comparison

   659

comparison = element comparison { comparison.content }

   660

   661

comparison.content = inlines

   662

   663

# ~~~~~~ sort.item

   664

sort.item = element item { sort.item.attributes, sort.item.content }

   665

   666

sort.item.attributes =

   667

   item.shuffle.attribute?

   668

item.shuffle.attribute = attribute shuffle { xsd:integer }

   669

   670

sort.item.content =

   671

   inlines

   672

 | (p, help?, answer?)

   673

   674

# ~~~~~~~~~~~~~~~~~~~~~ categories.intruders, category.item ~~~~~~~~~~~~~~~~~~~

   675

   676

# ~~~~~~ categories.intruders

   677

categories.intruders = element intruders { categories.intruders.content }

   678

   679

categories.intruders.content =

   680

   category.item+

   681

   682

# ~~~~~~ category.item

   683

category.item = element item { category.item.content }

   684

   685

category.item.content =

   686

   inlines

   687

 | (p, help?, answer?)

   688

   689

   690

# =============================================================================

   691

#                                 INLINE LEVEL

   692

# =============================================================================

   693

   694

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   695

   696

blanks.inlines = mixed {

   697

   sup*

   698

 & sub*

   699

 & var*

   700

 & number*

   701

 & acronym*

   702

 & warning*

   703

   704

 & highlight*

   705

 & emphasis*

   706

 & mentioned*

   707

 & literal*

   708

 & term*

   709

 & stage*

   710

 & name*

   711

 & foreign*

   712

 & date*

   713

 & math*

   714

 & quote*

   715

 & initial*

   716

 & note*

   717

 & link*

   718

 & anchor*

   719

 & index*

   720

 & image*

   721

 & audio*

   722

 & smil*

   723

   724

 & blank*

   725

}

   726

   727

blanks-m.inlines = mixed {

   728

   sup*

   729

 & sub*

   730

 & var*

   731

 & number*

   732

 & acronym*

   733

 & warning*

   734

   735

 & highlight*

   736

 & emphasis*

   737

 & mentioned*

   738

 & literal*

   739

 & term*

   740

 & stage*

   741

 & name*

   742

 & foreign*

   743

 & date*

   744

 & math*

   745

 & quote*

   746

 & initial*

   747

 & note*

   748

 & link*

   749

 & anchor*

   750

 & index*

   751

 & image*

   752

 & audio*

   753

 & smil*

   754

   755

 & blank-m*

   756

}

   757

   758

pointing.inlines = mixed {

   759

   sup*

   760

 & sub*

   761

 & var*

   762

 & number*

   763

 & acronym*

   764

 & warning*

   765

   766

 & highlight*

   767

 & emphasis*

   768

 & mentioned*

   769

 & literal*

   770

 & term*

   771

 & stage*

   772

 & name*

   773

 & foreign*

   774

 & date*

   775

 & math*

   776

 & quote*

   777

 & initial*

   778

 & note*

   779

 & link*

   780

 & anchor*

   781

 & index*

   782

 & image*

   783

 & audio*

   784

 & smil*

   785

   786

 & point*

   787

}

   788

   789

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blank, blank-m ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   790

   791

# ~~~~~~ blank

   792

blank = element blank { blank.attributes, blank.content }

   793

   794

blank.attributes =

   795

   area.attribute?

   796

 & long.attribute?

   797

 & function.attribute?

   798

area.attribute = attribute area { xsd:boolean }

   799

function.attribute = attribute function { 'accent' | 'uppercase' }

   800

   801

blank.content =

   802

   text

   803

 | (s+, help?, answer?)

   804

   805

# ~~~~~~ blank-m

   806

blank-m = element blank { blank-m.content }

   807

blank-m.content = math | image | audio | s-m+

   808

   809

# ~~~~~~ s

   810

s = element s { s.content }

   811

s.content = text

   812

   813

# ~~~~~~ s-m

   814

s-m = element s { s-m.content }

   815

s-m.content = math | image | audio

   816

   817

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ point ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   818

   819

point = element point { point.attributes, point.content }

   820

pip.point = element point { pip.point.attributes, point.content }

   821

   822

point.attributes =

   823

   point.ref.attribute?

   824

pip.point.attributes =

   825

   point.ref.attribute?

   826

 & x.attribute

   827

 & y.attribute

   828

 & w.attribute

   829

 & h.attribute

   830

   831

point.ref.attribute = attribute ref {

   832

   "right" | "cat1" | "cat2" | "cat3" | "cat4" | "cat5" }

   833

   834

point.content = inlines