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+, bibliography?) | bibliography),

    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 | xmlid.attribute)?

   124

 & topic.type.attribute?

   125

 & lang.attribute?

   126

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

   127

   128

topic.content =

   129

   component.head?,

   130

   header?,

   131

   ((section+, bibliography?) | bibliography),

   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

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

   174

   175

# ~~~~~~ bibliography

   176

bibliography = element bibliography { bibliography.content }

   177

   178

bibliography.content =

   179

   bibliography.entry+

   180

   181

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

   182

   183

footer = element footer { footer.content }

   184

   185

footer.content =

   186

   block+

   187

   188

   189

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

   190

#                                 BLOCK LEVEL

   191

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

   192

   193

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

   194

   195

# ~~~~~~ block

   196

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

   197

   198

# ~~~~~~ block.head

   199

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

   200

   201

block.head.content =

   202

   (title, shorttitle?, subtitle?)?

   203

   204

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

   205

   206

p = element p { p.content }

   207

   208

p.content =

   209

   inlines

   210

   211

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

   212

   213

# ~~~~~~ speech

   214

speech = element speech { speech.content }

   215

   216

speech.content =

   217

   speaker?,

   218

   stage?,

   219

   (p | blockquote)+

   220

   221

# ~~~~~~ speaker

   222

speaker = element speaker { speaker.content }

   223

   224

speaker.content = inlines

   225

   226

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

   227

   228

# ~~~~~~ list

   229

\list = element list {

   230

   block.head?,

   231

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

   232

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

   233

}

   234

   235

# ~~~~~~ item

   236

item = element item { item.content }

   237

   238

item.content =

   239

   inlines

   240

 | block+

   241

   242

# ~~~~~~ glossary.item

   243

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

   244

   245

glossary.item.content =

   246

   label,

   247

   block+

   248

   249

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

   250

   251

# ~~~~~~ blockquote

   252

blockquote = element blockquote { blockquote.content }

   253

   254

blockquote.content =

   255

   block.head?,

   256

   (p | speech | \list)+,

   257

   attribution?

   258

   259

# ~~~~~~ attribution

   260

attribution = element attribution { attribution.content }

   261

   262

attribution.content =

   263

   inlines

   264

   265

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

   266

   267

# ~~~~~~ table

   268

table = element table { table.content }

   269

   270

table.content =

   271

   block.head?,

   272

   tgroup+,

   273

   table.caption?

   274

   275

# ~~~~~~ tgroup

   276

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

   277

   278

tgroup.content =

   279

   thead?,

   280

   tbody

   281

   282

tgroup.attributes =

   283

   cols.attribute

   284

 & align.attribute?

   285

 & colsep.attribute?

   286

 & rowsep.attribute?

   287

cols.attribute = attribute cols { xsd:positiveInteger }

   288

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

   289

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

   290

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

   291

   292

# ~~~~~~ thead, tbody

   293

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

   294

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

   295

   296

thead.attributes =

   297

   valign.attribute?

   298

tbody.attributes =

   299

   valign.attribute?

   300

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

   301

   302

thead.content =

   303

   row+

   304

tbody.content =

   305

   row+

   306

   307

# ~~~~~~ row

   308

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

   309

   310

row.attributes =

   311

   valign.attribute?

   312

 & rowsep.attribute?

   313

   314

row.content =

   315

  table.entry+

   316

   317

# ~~~~~~ table.entry

   318

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

   319

   320

table.entry.attributes =

   321

   align.attribute?

   322

 & valign.attribute?

   323

 & colsep.attribute?

   324

 & rowsep.attribute?

   325

   326

table.entry.content =

   327

   inlines

   328

 | (p | media)+

   329

   330

# ~~~~~~ table.caption

   331

table.caption = element caption { caption.content }

   332

   333

caption.content =

   334

   inlines

   335

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

   336

   337

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

   338

   339

# ~~~~~~ media

   340

media = element media { media.content }

   341

   342

media.content =

   343

   block.head?,

   344

   (image | audio | video)+,

   345

   media.caption?,

   346

   link?

   347

   348

# ~~~~~~ image

   349

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

   350

hotspot.image = element image {image.attributes }

   351

   352

image.attributes =

   353

   media.id.attribute

   354

 & image.type?

   355

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

   356

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

   357

   358

image.content =

   359

   copyright?,

   360

   hotspot*

   361

   362

# ~~~~~~ audio

   363

audio = element audio { audio.attributes }

   364

   365

audio.attributes =

   366

   media.id.attribute

   367

 & audio.type?

   368

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

   369

   370

# ~~~~~~ video

   371

video = element video { video.attributes }

   372

   373

video.attributes =

   374

   media.id.attribute

   375

   376

# ~~~~~~ hotspot

   377

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

   378

   379

hotspot.attributes =

   380

   x.attribute

   381

 & y.attribute

   382

 & w.attribute

   383

 & h.attribute?

   384

 & hotspot.type.attribute?

   385

 & xmlid.attribute?

   386

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

   387

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

   388

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

   389

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

   390

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

   391

   392

hotspot.content =

   393

   ((link | p+ | hotspot.image | audio | video), (spot, scenario?)?)

   394

 | (spot, scenario?)

   395

   396

# ~~~~~~ spot

   397

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

   398

   399

spot.attributes =

   400

   dx.attribute?

   401

 & dy.attribute?

   402

 & dw.attribute?

   403

 & dh.attribute?

   404

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

   405

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

   406

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

   407

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

   408

   409

spot.content =

   410

   ((p+ | image), audio?)

   411

 | audio

   412

 | video

   413

   414

# ~~~~~~ media.caption

   415

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

   416

   417

caption.attributes =

   418

   x.attribute?

   419

 & y.attribute?

   420

   421

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

   422

   423

# ~~~~~~ scenario

   424

scenario = element scenario { scenario.content }

   425

   426

scenario.content =

   427

   init*,

   428

   onclick*

   429

   430

# ~~~~~~ init

   431

init = element init { init.attributes }

   432

   433

init.attributes =

   434

   init.action.attribute

   435

 & target.attribute?

   436

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

   437

target.attribute = attribute target { "hotspot" | "spot" }

   438

   439

# ~~~~~~ onclick

   440

onclick = element onclick { onclick.attributes }

   441

   442

onclick.attributes =

   443

   onclick.action.attribute

   444

 & target.attribute?

   445

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

   446

   447

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

   448

   449

# ~~~~~~ bibliography.entry

   450

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

   451

   452

bibliography.entry.content =

   453

   identifier.ean?

   454

 & title

   455

 & subtitle?

   456

 & copyright?

   457

 & collection?

   458

 & contributors?

   459

 & date?

   460

 & place?

   461

 & folio?

   462

 & pages?

   463

   464

# ~~~~~~ folio

   465

folio = element folio { folio.content }

   466

   467

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

   468

   469

# ~~~~~~ pages

   470

pages = element pages { pages.content }

   471

   472

pages.content = xsd:positiveInteger

   473

   474

   475

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

   476

#                                 HEAD LEVEL

   477

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

   478

   479

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

   480

   481

title = element title { title.content }

   482

shorttitle = element shorttitle { title.content }

   483

subtitle = element subtitle { title.content }

   484

   485

title.content = inlines

   486

   487

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

   488

   489

identifier = element identifier {

   490

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

   491

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

   492

}

   493

   494

identifier.ean = element identifier {

   495

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

   496

}

   497

   498

identifier.uri = element identifier {

   499

   attribute type { "uri" }, xsd:anyURI

   500

}

   501

   502

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

   503

   504

copyright = element copyright { copyright.content }

   505

   506

copyright.content = inlines

   507

   508

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

   509

   510

collection = element collection { collection.content }

   511

   512

collection.content = inlines

   513

   514

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

   515

   516

# ~~~~~~ contributors

   517

contributors = element contributors { contributors.content }

   518

   519

contributors.content =

   520

   contributor+

   521

   522

# ~~~~~~ contributor

   523

contributor = element contributor { contributor.content }

   524

   525

contributor.content =

   526

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

   527

   address?,

   528

   link?,

   529

   role+

   530

   531

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

   532

firstname = element firstname { firstname.content }

   533

secondname = element secondname { secondname.content }

   534

lastname = element lastname { lastname.content }

   535

label = element label { label.content }

   536

   537

firstname.content = inlines

   538

secondname.content = inlines

   539

lastname.content = inlines

   540

label.content = inlines

   541

   542

# ~~~~~~ address

   543

address = element address { address.content }

   544

   545

address.content = inlines

   546

   547

# ~~~~~~ role

   548

role = element role { role.content }

   549

   550

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

   551

   552

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

   553

   554

place = element place { place.content }

   555

   556

place.content = inlines

   557

   558

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

   559

   560

source = element source {

   561

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

   562

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

   563

   source.content

   564

}

   565

   566

source.content.file =

   567

   identifier.uri

   568

source.content =

   569

   annotation*

   570

   571

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

   572

   573

# ~~~~~~ keywordset

   574

keywordset = element keywordset { keywordset.content }

   575

   576

keywordset.content = keyword+

   577

   578

# ~~~~~~ keyword

   579

keyword = element keyword { keyword.content }

   580

   581

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

   582

   583

# ~~~~~~ subjectset

   584

subjectset = element subjectset { subjectset.content }

   585

   586

subjectset.content = subject+

   587

   588

# ~~~~~~ subject

   589

subject = element subject { subject.content }

   590

   591

subject.content = xsd:NMTOKEN

   592

   593

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

   594

   595

abstract = element abstract { abstract.content }

   596

   597

abstract.content =

   598

   p+

   599

   600

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

   601

   602

cover = element cover { cover.content }

   603

   604

cover.content =

   605

   cover.image

   606

   607

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

   608

   609

cover.image.attributes =

   610

   cover.image.id.attribute

   611

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

   612

   613

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

   614

   615

annotation = element annotation { annotation.content }

   616

   617

annotation.content = inlines

   618

   619

   620

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

   621

#                                 INLINE LEVEL

   622

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

   623

   624

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

   625

   626

inlines = mixed {

   627

   sup*

   628

 & sub*

   629

 & var*

   630

 & number*

   631

 & math*

   632

 & date*

   633

 & name*

   634

 & note*

   635

 & foreign*

   636

 & highlight*

   637

 & quote*

   638

 & acronym*

   639

 & mentioned*

   640

 & term*

   641

 & stage*

   642

 & literal*

   643

 & initial*

   644

 & link*

   645

 & anchor*

   646

 & image*

   647

 & smil*

   648

 & warning*

   649

}

   650

   651

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

   652

   653

sup = element sup { text }

   654

   655

sub = element sub { text }

   656

   657

var = element var { text }

   658

   659

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

   660

   661

number = element number {

   662

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

   663

 | ( number.attributes, number.content)

   664

}

   665

   666

number.attributes =

   667

   number.value.attribute?

   668

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

   669

   670

number.content = mixed { sup* }

   671

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

   672

   673

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

   674

   675

math = element math {

   676

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

   677

 | ( math.attributes, math.content)

   678

}

   679

   680

math.attributes =

   681

   wide.attribute?

   682

wide.attribute = attribute wide { xsd:boolean }

   683

   684

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

   685

math.tex.content = text

   686

   687

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

   688

   689

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

   690

   691

date.attributes =

   692

   date.value.attribute

   693

 & date.of.attribute?

   694

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

   695

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

   696

   697

date.content = mixed { sup* }

   698

   699

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

   700

   701

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

   702

   703

name.attributes =

   704

   name.of.attribute?

   705

name.of.attribute = attribute of

   706

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

   707

   708

name.content = inlines

   709

   710

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

   711

   712

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

   713

   714

note.attributes =

   715

   note.label.attribute?

   716

note.label.attribute = attribute label { text }

   717

   718

note.content =

   719

   (w?, block+) | inlines

   720

   721

w = element w { inlines }

   722

   723

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

   724

   725

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

   726

   727

foreign.attributes =

   728

   lang.attribute?

   729

   730

foreign.content = inlines

   731

   732

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

   733

   734

highlight = element highlight { highlight.content }

   735

   736

highlight.content = inlines

   737

   738

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

   739

   740

quote = element quote { quote.content }

   741

   742

quote.content =

   743

   (phrase, attribution) | inlines

   744

   745

phrase = element phrase { phrase.content }

   746

   747

phrase.content = inlines

   748

   749

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

   750

   751

acronym = element acronym { acronym.content }

   752

   753

acronym.content = inlines

   754

   755

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

   756

   757

mentioned = element mentioned { mentioned.content }

   758

   759

mentioned.content = inlines

   760

   761

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

   762

   763

term = element term { term.content }

   764

   765

term.content = inlines

   766

   767

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

   768

   769

stage = element stage { stage.content }

   770

   771

stage.content = inlines

   772

   773

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

   774

   775

literal = element literal { literal.content }

   776

   777

literal.content = text

   778

   779

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

   780

   781

initial = element initial { initial.content }

   782

   783

initial.content =

   784

   c,

   785

   w?

   786

   787

c = element c { text }

   788

   789

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

   790

   791

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

   792

   793

link.attributes =

   794

   (uri.attribute | idref.attribute)

   795

uri.attribute = attribute uri { xsd:anyURI }

   796

idref.attribute = attribute idref { xsd:IDREF }

   797

   798

link.content = inlines

   799

   800

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

   801

   802

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

   803

   804

anchor.attributes =

   805

   anchor.id.attribute

   806

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

   807

   808

anchor.content = inlines

   809

   810

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

   811

   812

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

   813

   814

smil.attributes =

   815

   begin.attribute?

   816

 & end.attribute?

   817

begin.attribute = attribute begin { xsd:decimal }

   818

end.attribute = attribute end { xsd:decimal }

   819

   820

smil.content = inlines

   821

   822

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   823

   824

warning = element warning { warning.content }

   825

   826

warning.content = inlines