1

# $Id$

     2

     3

start = publidoc

     4

     5

     6

publidoc = element publidoc {

     7

   publidoc.attributes,

     8

   publidoc.content

     9

}

    10

    11

publidoc.attributes =

    12

   version.attribute

    13

version.attribute = attribute version { "1.0" }

    14

    15

publidoc.content =

    16

   document

    17

 | top.topic

    18

    19

    20

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

    21

#                                  TOP LEVEL

    22

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

    23

    24

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    25

    26

top.head = element head { top.head.content }

    27

    28

top.head.content =

    29

   (title, shorttitle?, subtitle?)?

    30

 & (identifier, identifier?)?

    31

 & copyright*

    32

 & collection?

    33

 & contributors?

    34

 & date?

    35

 & place?

    36

 & (source, source?)?

    37

 & keywordset?

    38

 & subjectset?

    39

 & abstract?

    40

 & cover?

    41

 & annotation*

    42

    43

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ document ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    44

    45

# ~~~~~~ document

    46

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

    47

    48

document.attributes =

    49

   document.id.attribute

    50

 & document.type.attribute?

    51

 & lang.attribute?

    52

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

    53

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

    54

lang.attribute = attribute xml:lang { xsd:language }

    55

    56

document.content =

    57

   top.head?,

    58

   (division | topic)+

    59

    60

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    61

    62

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

    63

    64

top.topic.attributes =

    65

   topic.id.attribute

    66

 & topic.type.attribute?

    67

 & lang.attribute?

    68

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

    69

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

    70

    71

top.topic.content =

    72

   top.head?,

    73

   header?,

    74

   section+,

    75

   footer?

    76

    77

    78

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

    79

#                                 DIVISION LEVEL

    80

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

    81

    82

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    83

    84

# ~~~~~~ division

    85

division = element division { division.content }

    86

    87

division.content =

    88

   division.head?,

    89

   (division | topic)+

    90

    91

# ~~~~~~ division.head

    92

division.head = element head { division.head.content }

    93

    94

division.head.content =

    95

   (title, shorttitle?, subtitle?)?

    96

 & abstract?

    97

 & annotation*

    98

    99

   100

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

   101

#                                COMPONENT LEVEL

   102

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

   103

   104

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ component.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   105

   106

component.head = element head { component.head.content }

   107

   108

component.head.content =

   109

   (title, shorttitle?, subtitle?)?

   110

 & contributors?

   111

 & date?

   112

 & place?

   113

 & keywordset?

   114

 & subjectset?

   115

 & abstract?

   116

 & annotation*

   117

   118

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   119

   120

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

   121

   122

topic.attributes =

   123

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

   124

 & topic.type.attribute?

   125

 & lang.attribute?

   126

topic.xmlid.attribute = attribute xml:id { xsd:ID }

   127

   128

topic.content =

   129

   component.head?,

   130

   header?,

   131

   section+,

   132

   footer?

   133

   134

   135

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

   136

#                                 SECTION LEVEL

   137

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

   138

   139

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ header ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   140

   141

header = element header { header.content }

   142

   143

header.content =

   144

   block+

   145

   146

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

   147

   148

# ~~~~~~ section

   149

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

   150

   151

section.attributes =

   152

   section.type.attribute?

   153

 & lang.attribute?

   154

 & for.attribute?

   155

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

   156

for.attribute = attribute for { xsd:NCName }

   157

   158

section.content =

   159

   section.head?,

   160

   (section+ | block+)

   161

   162

# ~~~~~~ section.head

   163

section.head = element head { section.head.content }

   164

   165

section.head.content =

   166

   (title, shorttitle?, subtitle?)?

   167

 & keywordset?

   168

 & subjectset?

   169

 & abstract?

   170

 & audio*

   171

 & annotation*

   172

   173

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ footer ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   174

   175

footer = element footer { footer.content }

   176

   177

footer.content =

   178

   block+

   179

   180

   181

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

   182

#                                 BLOCK LEVEL

   183

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

   184

   185

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

   186

   187

# ~~~~~~ block

   188

block = (p | speech | \list | blockquote | table | media)

   189

   190

# ~~~~~~ block.head

   191

block.head = element head { block.head.content }

   192

   193

block.head.content =

   194

   (title, shorttitle?, subtitle?)?

   195

   196

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

   197

   198

p = element p { p.content }

   199

   200

p.content =

   201

   inlines

   202

   203

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

   204

   205

# ~~~~~~ speech

   206

speech = element speech { speech.content }

   207

   208

speech.content =

   209

   speaker?,

   210

   stage?,

   211

   p+

   212

   213

# ~~~~~~ speaker

   214

speaker = element speaker { speaker.content }

   215

   216

speaker.content = inlines

   217

   218

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

   219

   220

# ~~~~~~ list

   221

\list = element list {

   222

   block.head?,

   223

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

   224

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

   225

}

   226

   227

# ~~~~~~ item

   228

item = element item { item.content }

   229

   230

item.content =

   231

   inlines

   232

 | block+

   233

   234

# ~~~~~~ glossary.item

   235

glossary.item = element item { glossary.item.content }

   236

   237

glossary.item.content =

   238

   label,

   239

   block+

   240

   241

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

   242

   243

# ~~~~~~ blockquote

   244

blockquote = element blockquote { blockquote.content }

   245

   246

blockquote.content =

   247

   block.head?,

   248

   (p | speech | \list)+,

   249

   attribution?

   250

   251

# ~~~~~~ attribution

   252

attribution = element attribution { attribution.content }

   253

   254

attribution.content =

   255

   inlines

   256

   257

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

   258

   259

# ~~~~~~ table

   260

table = element table { table.content }

   261

   262

table.content =

   263

   block.head?,

   264

   tgroup+,

   265

   table.caption?

   266

   267

# ~~~~~~ tgroup

   268

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

   269

   270

tgroup.content =

   271

   thead?,

   272

   tbody

   273

   274

tgroup.attributes =

   275

   cols.attribute

   276

 & align.attribute?

   277

 & colsep.attribute?

   278

 & rowsep.attribute?

   279

cols.attribute = attribute cols { xsd:positiveInteger }

   280

align.attribute = attribute align { "left"  |  "right"  | "center" | "justify" }

   281

colsep.attribute = attribute colsep { "0" | "1" }

   282

rowsep.attribute = attribute rowsep { "0" | "1" }

   283

   284

# ~~~~~~ thead, tbody

   285

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

   286

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

   287

   288

thead.attributes =

   289

   valign.attribute?

   290

tbody.attributes =

   291

   valign.attribute?

   292

valign.attribute = attribute valign { "top" | "middle" | "bottom" }

   293

   294

thead.content =

   295

   row+

   296

tbody.content =

   297

   row+

   298

   299

# ~~~~~~ row

   300

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

   301

   302

row.attributes =

   303

   valign.attribute?

   304

 & rowsep.attribute?

   305

   306

row.content =

   307

  entry+

   308

   309

# ~~~~~~ entry

   310

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

   311

   312

entry.attributes =

   313

   align.attribute?

   314

 & valign.attribute?

   315

 & colsep.attribute?

   316

 & rowsep.attribute?

   317

   318

entry.content =

   319

   inlines

   320

 | (p | media)+

   321

   322

# ~~~~~~ table.caption

   323

table.caption = element caption { caption.content }

   324

   325

caption.content =

   326

   inlines

   327

 | (p | speech | \list | blockquote)+

   328

   329

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

   330

   331

# ~~~~~~ media

   332

media = element media { media.content }

   333

   334

media.content =

   335

   block.head?,

   336

   (image | audio | video)+,

   337

   media.caption?,

   338

   link?

   339

   340

# ~~~~~~ image

   341

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

   342

   343

image.attributes =

   344

   media.id.attribute

   345

 & image.type?

   346

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

   347

image.type = attribute type { "cover" | "thumbnail" | "icon" | "animation" }

   348

   349

image.content =

   350

   copyright?,

   351

   hotspot*

   352

   353

# ~~~~~~ audio

   354

audio = element audio { audio.attributes }

   355

   356

audio.attributes =

   357

   media.id.attribute

   358

 & audio.type?

   359

audio.type = attribute type { "music" | "voice" | "background" | "smil" }

   360

   361

# ~~~~~~ video

   362

video = element video { video.attributes }

   363

   364

video.attributes =

   365

   media.id.attribute

   366

   367

# ~~~~~~ hotspot

   368

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

   369

   370

hotspot.attributes =

   371

   x.attribute

   372

 & y.attribute

   373

 & w.attribute

   374

 & h.attribute?

   375

 & (hotspot.type.attribute

   376

  & dx.attribute?

   377

  & dy.attribute?

   378

  & dw.attribute?

   379

  & dh.attribute?)?

   380

x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

   381

y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

   382

w.attribute = attribute w { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

   383

h.attribute = attribute h { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

   384

hotspot.type.attribute = attribute type { "normal" | "visible" | "pulse" }

   385

dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?"} }

   386

dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?"} }

   387

dw.attribute = attribute dw { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?"} }

   388

dh.attribute = attribute dh { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?"} }

   389

   390

hotspot.content =

   391

   (p | link | image | audio | video),

   392

   scenario?

   393

   394

# ~~~~~~ media.caption

   395

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

   396

   397

caption.attributes =

   398

   x.attribute?

   399

 & y.attribute?

   400

   401

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ scenario ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   402

   403

# ~~~~~~ scenario

   404

scenario = element scenario { scenario.content }

   405

   406

scenario.content =

   407

   init*,

   408

   onclick*

   409

   410

# ~~~~~~ init

   411

init = element init { init.attributes }

   412

   413

init.attributes =

   414

   init.action.attribute

   415

init.action.attribute = attribute action { "hide" }

   416

   417

# ~~~~~~ onclick

   418

onclick = element onclick { onclick.attributes }

   419

   420

onclick.attributes =

   421

   onclick.action.attribute

   422

onclick.action.attribute = attribute action { "show" }

   423

   424

   425

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

   426

#                                 HEAD LEVEL

   427

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

   428

   429

# ~~~~~~~~~~~~~~~~~~~~~~~ title, shorttitle, subtitle ~~~~~~~~~~~~~~~~~~~~~~~~~

   430

   431

title = element title { title.content }

   432

shorttitle = element shorttitle { title.content }

   433

subtitle = element subtitle { title.content }

   434

   435

title.content = inlines

   436

   437

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ identifier ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   438

   439

identifier = element identifier {

   440

   (attribute type { "ean" }, xsd:token {pattern = "\d{13}"})

   441

 | (attribute type { "uri" }, xsd:anyURI)

   442

}

   443

   444

identifier.ean = element identifier {

   445

   attribute type { "ean" }, xsd:token {pattern = "\d{13}"}

   446

}

   447

   448

identifier.uri = element identifier {

   449

   attribute type { "uri" }, xsd:anyURI

   450

}

   451

   452

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ copyright ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   453

   454

copyright = element copyright { copyright.content }

   455

   456

copyright.content = inlines

   457

   458

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ collection ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   459

   460

collection = element collection { collection.content }

   461

   462

collection.content = inlines

   463

   464

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ contributors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   465

   466

# ~~~~~~ contributors

   467

contributors = element contributors { contributors.content }

   468

   469

contributors.content =

   470

   contributor+

   471

   472

# ~~~~~~ contributor

   473

contributor = element contributor { contributor.content }

   474

   475

contributor.content =

   476

   (((firstname, secondname?)?, lastname) | label),

   477

   address?,

   478

   link?,

   479

   role+

   480

   481

# ~~~~~~ firstname, secondname, lastname, label

   482

firstname = element firstname { firstname.content }

   483

secondname = element secondname { secondname.content }

   484

lastname = element lastname { lastname.content }

   485

label = element label { label.content }

   486

   487

firstname.content = inlines

   488

secondname.content = inlines

   489

lastname.content = inlines

   490

label.content = inlines

   491

   492

# ~~~~~~ address

   493

address = element address { address.content }

   494

   495

address.content = inlines

   496

   497

# ~~~~~~ role

   498

role = element role { role.content }

   499

   500

role.content = "author" | "illustrator" | "publisher" | "packager"

   501

   502

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ place ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   503

   504

place = element place { place.content }

   505

   506

place.content = inlines

   507

   508

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   509

   510

# ~~~~~~ source

   511

source = element source {

   512

   (  (attribute type { "book" }, source.content.book)

   513

    | (attribute type { "file" }, source.content.file)),

   514

   source.content

   515

}

   516

   517

source.content.book =

   518

   identifier.ean,

   519

   title?,

   520

   pagenumber*

   521

source.content.file =

   522

   identifier.uri

   523

source.content =

   524

   annotation*

   525

   526

# ~~~~~~ pagenumber

   527

pagenumber = element pagenumber { pagenumber.content }

   528

   529

pagenumber.content = xsd:positiveInteger

   530

   531

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~ keyword & subject ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   532

   533

# ~~~~~~ keywordset

   534

keywordset = element keywordset { keywordset.content }

   535

   536

keywordset.content = keyword+

   537

   538

# ~~~~~~ keyword

   539

keyword = element keyword { keyword.content }

   540

   541

keyword.content = mixed { sup*, sub* }

   542

   543

# ~~~~~~ subjectset

   544

subjectset = element subjectset { subjectset.content }

   545

   546

subjectset.content = subject+

   547

   548

# ~~~~~~ subject

   549

subject = element subject { subject.content }

   550

   551

subject.content = xsd:NMTOKEN

   552

   553

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ abstract ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   554

   555

abstract = element abstract { abstract.content }

   556

   557

abstract.content =

   558

   p+

   559

   560

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cover ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   561

   562

cover = element cover { cover.content }

   563

   564

cover.content =

   565

   cover.image

   566

   567

cover.image = element image { cover.image.attributes }

   568

   569

cover.image.attributes =

   570

   cover.image.id.attribute

   571

cover.image.id.attribute = attribute id { xsd:NMTOKEN }

   572

   573

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   574

   575

annotation = element annotation { annotation.content }

   576

   577

annotation.content = inlines

   578

   579

   580

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

   581

#                                 INLINE LEVEL

   582

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

   583

   584

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

   585

   586

inlines = mixed {

   587

   sup*

   588

 & sub*

   589

 & var*

   590

 & number*

   591

 & math*

   592

 & date*

   593

 & name*

   594

 & note*

   595

 & foreign*

   596

 & highlight*

   597

 & quote*

   598

 & acronym*

   599

 & mentioned*

   600

 & term*

   601

 & stage*

   602

 & literal*

   603

 & initial*

   604

 & link*

   605

 & anchor*

   606

 & image*

   607

 & smil*

   608

}

   609

   610

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   611

   612

sup = element sup { text }

   613

   614

sub = element sub { text }

   615

   616

var = element var { text }

   617

   618

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ number ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   619

   620

number = element number {

   621

   ( attribute type {"roman"}, number.attributes, number.roman.content )

   622

 | ( number.attributes, number.content)

   623

}

   624

   625

number.attributes =

   626

   number.value.attribute?

   627

number.value.attribute = attribute value { xsd:integer | xsd:decimal }

   628

   629

number.content = mixed { sup* }

   630

number.roman.content = xsd:token {pattern = "[DLXVI]+"}

   631

   632

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ math ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   633

   634

math = element math {

   635

   ( attribute notation {"tex"}, math.attributes, math.tex.content )

   636

 | ( math.attributes, math.content)

   637

}

   638

   639

math.attributes =

   640

   wide.attribute?

   641

wide.attribute = attribute wide { xsd:boolean }

   642

   643

math.content = mixed { sup* & sub* & var* }

   644

math.tex.content = text

   645

   646

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ date ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   647

   648

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

   649

   650

date.attributes =

   651

   date.value.attribute

   652

 & date.of.attribute?

   653

date.value.attribute = attribute value { xsd:date | xsd:gYearMonth | xsd:gYear }

   654

date.of.attribute = attribute of { "birth" | "death" }

   655

   656

date.content = mixed { sup* }

   657

   658

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ name ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   659

   660

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

   661

   662

name.attributes =

   663

   name.of.attribute?

   664

name.of.attribute = attribute of

   665

   { "person" | "company" | "book" | "newspaper" | "party" | "painting" }

   666

   667

name.content = inlines

   668

   669

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ note ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   670

   671

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

   672

   673

note.attributes =

   674

   note.label.attribute?

   675

note.label.attribute = attribute label { text }

   676

   677

note.content =

   678

   (w?, block+) | inlines

   679

   680

w = element w { inlines }

   681

   682

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   683

   684

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

   685

   686

foreign.attributes =

   687

   lang.attribute?

   688

   689

foreign.content = inlines

   690

   691

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ highlight ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   692

   693

highlight = element highlight { highlight.content }

   694

   695

highlight.content = inlines

   696

   697

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ quote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   698

   699

quote = element quote { quote.content }

   700

   701

quote.content =

   702

   (phrase, attribution) | inlines

   703

   704

phrase = element phrase { phrase.content }

   705

   706

phrase.content = inlines

   707

   708

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ acronym ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   709

   710

acronym = element acronym { acronym.content }

   711

   712

acronym.content = inlines

   713

   714

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ mentioned ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   715

   716

mentioned = element mentioned { mentioned.content }

   717

   718

mentioned.content = inlines

   719

   720

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ term ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   721

   722

term = element term { term.content }

   723

   724

term.content = inlines

   725

   726

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ stage ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   727

   728

stage = element stage { stage.content }

   729

   730

stage.content = inlines

   731

   732

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ literal ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   733

   734

literal = element literal { literal.content }

   735

   736

literal.content = text

   737

   738

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ initial ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   739

   740

initial = element initial { initial.content }

   741

   742

initial.content =

   743

   c,

   744

   w?

   745

   746

c = element c { text }

   747

   748

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   749

   750

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

   751

   752

link.attributes =

   753

   (uri.attribute | idref.attribute)

   754

uri.attribute = attribute uri { xsd:anyURI }

   755

idref.attribute = attribute idref { xsd:IDREF }

   756

   757

link.content = inlines

   758

   759

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ anchor ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   760

   761

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

   762

   763

anchor.attributes =

   764

   anchor.id.attribute

   765

anchor.id.attribute = attribute xml:id { xsd:ID }

   766

   767

anchor.content = inlines

   768

   769

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ smil ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   770

   771

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

   772

   773

smil.attributes =

   774

   begin.attribute?

   775

 & end.attribute?

   776

begin.attribute = attribute begin { xsd:decimal }

   777

end.attribute = attribute end { xsd:decimal }

   778

   779

smil.content = inlines