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

   bibliography?,

    76

   footer?

    77

    78

    79

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

    80

#                                 DIVISION LEVEL

    81

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

    82

    83

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

    84

    85

# ~~~~~~ division

    86

division = element division { division.content }

    87

    88

division.content =

    89

   division.head?,

    90

   (division | topic)+

    91

    92

# ~~~~~~ division.head

    93

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

    94

    95

division.head.content =

    96

   (title, shorttitle?, subtitle?)?

    97

 & abstract?

    98

 & annotation*

    99

   100

   101

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

   102

#                                COMPONENT LEVEL

   103

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

   104

   105

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

   106

   107

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

   108

   109

component.head.content =

   110

   (title, shorttitle?, subtitle?)?

   111

 & contributors?

   112

 & date?

   113

 & place?

   114

 & keywordset?

   115

 & subjectset?

   116

 & abstract?

   117

 & annotation*

   118

   119

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

   120

   121

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

   122

   123

topic.attributes =

   124

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

   125

 & topic.type.attribute?

   126

 & lang.attribute?

   127

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

   128

   129

topic.content =

   130

   component.head?,

   131

   header?,

   132

   section+,

   133

   bibliography?,

   134

   footer?

   135

   136

   137

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

   138

#                                 SECTION LEVEL

   139

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

   140

   141

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

   142

   143

header = element header { header.content }

   144

   145

header.content =

   146

   block+

   147

   148

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

   149

   150

# ~~~~~~ section

   151

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

   152

   153

section.attributes =

   154

   section.type.attribute?

   155

 & lang.attribute?

   156

 & for.attribute?

   157

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

   158

for.attribute = attribute for { xsd:NCName }

   159

   160

section.content =

   161

   section.head?,

   162

   (section+ | block+)

   163

   164

# ~~~~~~ section.head

   165

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

   166

   167

section.head.content =

   168

   (title, shorttitle?, subtitle?)?

   169

 & keywordset?

   170

 & subjectset?

   171

 & abstract?

   172

 & audio*

   173

 & annotation*

   174

   175

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ bibliography ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   176

   177

# ~~~~~~ bibliography

   178

bibliography = element bibliography { bibliography.content }

   179

   180

bibliography.content =

   181

   bibliography.entry+

   182

   183

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

   184

   185

footer = element footer { footer.content }

   186

   187

footer.content =

   188

   block+

   189

   190

   191

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

   192

#                                 BLOCK LEVEL

   193

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

   194

   195

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

   196

   197

# ~~~~~~ block

   198

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

   199

   200

# ~~~~~~ block.head

   201

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

   202

   203

block.head.content =

   204

   (title, shorttitle?, subtitle?)?

   205

   206

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

   207

   208

p = element p { p.content }

   209

   210

p.content =

   211

   inlines

   212

   213

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

   214

   215

# ~~~~~~ speech

   216

speech = element speech { speech.content }

   217

   218

speech.content =

   219

   speaker?,

   220

   stage?,

   221

   p+

   222

   223

# ~~~~~~ speaker

   224

speaker = element speaker { speaker.content }

   225

   226

speaker.content = inlines

   227

   228

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

   229

   230

# ~~~~~~ list

   231

\list = element list {

   232

   block.head?,

   233

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

   234

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

   235

}

   236

   237

# ~~~~~~ item

   238

item = element item { item.content }

   239

   240

item.content =

   241

   inlines

   242

 | block+

   243

   244

# ~~~~~~ glossary.item

   245

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

   246

   247

glossary.item.content =

   248

   label,

   249

   block+

   250

   251

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

   252

   253

# ~~~~~~ blockquote

   254

blockquote = element blockquote { blockquote.content }

   255

   256

blockquote.content =

   257

   block.head?,

   258

   (p | speech | \list)+,

   259

   attribution?

   260

   261

# ~~~~~~ attribution

   262

attribution = element attribution { attribution.content }

   263

   264

attribution.content =

   265

   inlines

   266

   267

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

   268

   269

# ~~~~~~ table

   270

table = element table { table.content }

   271

   272

table.content =

   273

   block.head?,

   274

   tgroup+,

   275

   table.caption?

   276

   277

# ~~~~~~ tgroup

   278

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

   279

   280

tgroup.content =

   281

   thead?,

   282

   tbody

   283

   284

tgroup.attributes =

   285

   cols.attribute

   286

 & align.attribute?

   287

 & colsep.attribute?

   288

 & rowsep.attribute?

   289

cols.attribute = attribute cols { xsd:positiveInteger }

   290

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

   291

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

   292

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

   293

   294

# ~~~~~~ thead, tbody

   295

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

   296

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

   297

   298

thead.attributes =

   299

   valign.attribute?

   300

tbody.attributes =

   301

   valign.attribute?

   302

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

   303

   304

thead.content =

   305

   row+

   306

tbody.content =

   307

   row+

   308

   309

# ~~~~~~ row

   310

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

   311

   312

row.attributes =

   313

   valign.attribute?

   314

 & rowsep.attribute?

   315

   316

row.content =

   317

  table.entry+

   318

   319

# ~~~~~~ table.entry

   320

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

   321

   322

table.entry.attributes =

   323

   align.attribute?

   324

 & valign.attribute?

   325

 & colsep.attribute?

   326

 & rowsep.attribute?

   327

   328

table.entry.content =

   329

   inlines

   330

 | (p | media)+

   331

   332

# ~~~~~~ table.caption

   333

table.caption = element caption { caption.content }

   334

   335

caption.content =

   336

   inlines

   337

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

   338

   339

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

   340

   341

# ~~~~~~ media

   342

media = element media { media.content }

   343

   344

media.content =

   345

   block.head?,

   346

   (image | audio | video)+,

   347

   media.caption?,

   348

   link?

   349

   350

# ~~~~~~ image

   351

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

   352

   353

image.attributes =

   354

   media.id.attribute

   355

 & image.type?

   356

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

   357

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

   358

   359

image.content =

   360

   copyright?,

   361

   hotspot*

   362

   363

# ~~~~~~ audio

   364

audio = element audio { audio.attributes }

   365

   366

audio.attributes =

   367

   media.id.attribute

   368

 & audio.type?

   369

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

   370

   371

# ~~~~~~ video

   372

video = element video { video.attributes }

   373

   374

video.attributes =

   375

   media.id.attribute

   376

   377

# ~~~~~~ hotspot

   378

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

   379

   380

hotspot.attributes =

   381

   x.attribute

   382

 & y.attribute

   383

 & w.attribute

   384

 & h.attribute?

   385

 & (hotspot.type.attribute

   386

  & dx.attribute?

   387

  & dy.attribute?

   388

  & dw.attribute?

   389

  & dh.attribute?)?

   390

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

   391

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

   392

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

   393

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

   394

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

   395

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

   396

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

   397

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

   398

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

   399

   400

hotspot.content =

   401

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

   402

   scenario?

   403

   404

# ~~~~~~ media.caption

   405

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

   406

   407

caption.attributes =

   408

   x.attribute?

   409

 & y.attribute?

   410

   411

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ bibliograpgy.entry ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   412

   413

# ~~~~~~ bibliography.entry

   414

bibliography.entry = element entry { bibliography.entry.content }

   415

   416

bibliography.entry.content =

   417

   identifier.ean?

   418

 & title

   419

 & subtitle?

   420

 & copyright?

   421

 & collection?

   422

 & contributors?

   423

 & date?

   424

 & place?

   425

 & folio?

   426

 & pages?

   427

   428

# ~~~~~~ folio

   429

folio = element folio { folio.content }

   430

   431

folio.content = xsd:positiveInteger | xsd:token {pattern = "[DLXVI]+"}

   432

   433

# ~~~~~~ pages

   434

pages = element pages { pages.content }

   435

   436

pages.content = xsd:positiveInteger

   437

   438

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

   439

   440

# ~~~~~~ scenario

   441

scenario = element scenario { scenario.content }

   442

   443

scenario.content =

   444

   init*,

   445

   onclick*

   446

   447

# ~~~~~~ init

   448

init = element init { init.attributes }

   449

   450

init.attributes =

   451

   init.action.attribute

   452

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

   453

   454

# ~~~~~~ onclick

   455

onclick = element onclick { onclick.attributes }

   456

   457

onclick.attributes =

   458

   onclick.action.attribute

   459

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

   460

   461

   462

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

   463

#                                 HEAD LEVEL

   464

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

   465

   466

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

   467

   468

title = element title { title.content }

   469

shorttitle = element shorttitle { title.content }

   470

subtitle = element subtitle { title.content }

   471

   472

title.content = inlines

   473

   474

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

   475

   476

identifier = element identifier {

   477

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

   478

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

   479

}

   480

   481

identifier.ean = element identifier {

   482

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

   483

}

   484

   485

identifier.uri = element identifier {

   486

   attribute type { "uri" }, xsd:anyURI

   487

}

   488

   489

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

   490

   491

copyright = element copyright { copyright.content }

   492

   493

copyright.content = inlines

   494

   495

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

   496

   497

collection = element collection { collection.content }

   498

   499

collection.content = inlines

   500

   501

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

   502

   503

# ~~~~~~ contributors

   504

contributors = element contributors { contributors.content }

   505

   506

contributors.content =

   507

   contributor+

   508

   509

# ~~~~~~ contributor

   510

contributor = element contributor { contributor.content }

   511

   512

contributor.content =

   513

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

   514

   address?,

   515

   link?,

   516

   role+

   517

   518

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

   519

firstname = element firstname { firstname.content }

   520

secondname = element secondname { secondname.content }

   521

lastname = element lastname { lastname.content }

   522

label = element label { label.content }

   523

   524

firstname.content = inlines

   525

secondname.content = inlines

   526

lastname.content = inlines

   527

label.content = inlines

   528

   529

# ~~~~~~ address

   530

address = element address { address.content }

   531

   532

address.content = inlines

   533

   534

# ~~~~~~ role

   535

role = element role { role.content }

   536

   537

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

   538

   539

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

   540

   541

place = element place { place.content }

   542

   543

place.content = inlines

   544

   545

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

   546

   547

source = element source {

   548

   (  (attribute type { "book" }, bibliography.entry.content)

   549

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

   550

   source.content

   551

}

   552

   553

source.content.file =

   554

   identifier.uri

   555

source.content =

   556

   annotation*

   557

   558

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

   559

   560

# ~~~~~~ keywordset

   561

keywordset = element keywordset { keywordset.content }

   562

   563

keywordset.content = keyword+

   564

   565

# ~~~~~~ keyword

   566

keyword = element keyword { keyword.content }

   567

   568

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

   569

   570

# ~~~~~~ subjectset

   571

subjectset = element subjectset { subjectset.content }

   572

   573

subjectset.content = subject+

   574

   575

# ~~~~~~ subject

   576

subject = element subject { subject.content }

   577

   578

subject.content = xsd:NMTOKEN

   579

   580

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

   581

   582

abstract = element abstract { abstract.content }

   583

   584

abstract.content =

   585

   p+

   586

   587

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

   588

   589

cover = element cover { cover.content }

   590

   591

cover.content =

   592

   cover.image

   593

   594

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

   595

   596

cover.image.attributes =

   597

   cover.image.id.attribute

   598

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

   599

   600

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

   601

   602

annotation = element annotation { annotation.content }

   603

   604

annotation.content = inlines

   605

   606

   607

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

   608

#                                 INLINE LEVEL

   609

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

   610

   611

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

   612

   613

inlines = mixed {

   614

   sup*

   615

 & sub*

   616

 & var*

   617

 & number*

   618

 & math*

   619

 & date*

   620

 & name*

   621

 & note*

   622

 & foreign*

   623

 & highlight*

   624

 & quote*

   625

 & acronym*

   626

 & mentioned*

   627

 & term*

   628

 & stage*

   629

 & literal*

   630

 & initial*

   631

 & link*

   632

 & anchor*

   633

 & image*

   634

 & smil*

   635

}

   636

   637

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

   638

   639

sup = element sup { text }

   640

   641

sub = element sub { text }

   642

   643

var = element var { text }

   644

   645

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

   646

   647

number = element number {

   648

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

   649

 | ( number.attributes, number.content)

   650

}

   651

   652

number.attributes =

   653

   number.value.attribute?

   654

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

   655

   656

number.content = mixed { sup* }

   657

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

   658

   659

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

   660

   661

math = element math {

   662

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

   663

 | ( math.attributes, math.content)

   664

}

   665

   666

math.attributes =

   667

   wide.attribute?

   668

wide.attribute = attribute wide { xsd:boolean }

   669

   670

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

   671

math.tex.content = text

   672

   673

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

   674

   675

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

   676

   677

date.attributes =

   678

   date.value.attribute

   679

 & date.of.attribute?

   680

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

   681

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

   682

   683

date.content = mixed { sup* }

   684

   685

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

   686

   687

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

   688

   689

name.attributes =

   690

   name.of.attribute?

   691

name.of.attribute = attribute of

   692

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

   693

   694

name.content = inlines

   695

   696

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

   697

   698

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

   699

   700

note.attributes =

   701

   note.label.attribute?

   702

note.label.attribute = attribute label { text }

   703

   704

note.content =

   705

   (w?, block+) | inlines

   706

   707

w = element w { inlines }

   708

   709

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

   710

   711

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

   712

   713

foreign.attributes =

   714

   lang.attribute?

   715

   716

foreign.content = inlines

   717

   718

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

   719

   720

highlight = element highlight { highlight.content }

   721

   722

highlight.content = inlines

   723

   724

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

   725

   726

quote = element quote { quote.content }

   727

   728

quote.content =

   729

   (phrase, attribution) | inlines

   730

   731

phrase = element phrase { phrase.content }

   732

   733

phrase.content = inlines

   734

   735

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

   736

   737

acronym = element acronym { acronym.content }

   738

   739

acronym.content = inlines

   740

   741

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

   742

   743

mentioned = element mentioned { mentioned.content }

   744

   745

mentioned.content = inlines

   746

   747

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

   748

   749

term = element term { term.content }

   750

   751

term.content = inlines

   752

   753

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

   754

   755

stage = element stage { stage.content }

   756

   757

stage.content = inlines

   758

   759

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

   760

   761

literal = element literal { literal.content }

   762

   763

literal.content = text

   764

   765

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

   766

   767

initial = element initial { initial.content }

   768

   769

initial.content =

   770

   c,

   771

   w?

   772

   773

c = element c { text }

   774

   775

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

   776

   777

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

   778

   779

link.attributes =

   780

   (uri.attribute | idref.attribute)

   781

uri.attribute = attribute uri { xsd:anyURI }

   782

idref.attribute = attribute idref { xsd:IDREF }

   783

   784

link.content = inlines

   785

   786

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

   787

   788

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

   789

   790

anchor.attributes =

   791

   anchor.id.attribute

   792

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

   793

   794

anchor.content = inlines

   795

   796

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

   797

   798

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

   799

   800

smil.attributes =

   801

   begin.attribute?

   802

 & end.attribute?

   803

begin.attribute = attribute begin { xsd:decimal }

   804

end.attribute = attribute end { xsd:decimal }

   805

   806

smil.content = inlines