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

   front?,

    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

# ~~~~~~ front

   101

front = element front { front.content }

   102

   103

front.content =

   104

   section+

   105

   106

   107

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

   108

#                                COMPONENT LEVEL

   109

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

   110

   111

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

   112

   113

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

   114

   115

component.head.content =

   116

   (title, shorttitle?, subtitle*)?

   117

 & contributors?

   118

 & date?

   119

 & place?

   120

 & keywordset?

   121

 & subjectset?

   122

 & abstract?

   123

 & annotation*

   124

   125

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

   126

   127

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

   128

   129

topic.attributes =

   130

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

   131

 & topic.type.attribute?

   132

 & lang.attribute?

   133

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

   134

   135

topic.content =

   136

   component.head?,

   137

   header?,

   138

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

   139

   footer?

   140

   141

   142

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

   143

#                                 SECTION LEVEL

   144

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

   145

   146

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

   147

   148

header = element header { header.content }

   149

   150

header.content =

   151

   block+

   152

   153

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

   154

   155

# ~~~~~~ section

   156

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

   157

   158

section.attributes =

   159

   section.type.attribute?

   160

 & lang.attribute?

   161

 & for.attribute?

   162

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

   163

for.attribute = attribute for { xsd:NCName }

   164

   165

section.content =

   166

   section.head?,

   167

   (section+ | block+)

   168

   169

# ~~~~~~ section.head

   170

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

   171

   172

section.head.content =

   173

   (title, shorttitle?, subtitle*)?

   174

 & keywordset?

   175

 & subjectset?

   176

 & abstract?

   177

 & audio*

   178

 & annotation*

   179

   180

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

   181

   182

# ~~~~~~ bibliography

   183

bibliography = element bibliography { bibliography.content }

   184

   185

bibliography.content =

   186

   bibliography.entry+

   187

   188

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

   189

   190

footer = element footer { footer.content }

   191

   192

footer.content =

   193

   block+

   194

   195

   196

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

   197

#                                 BLOCK LEVEL

   198

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

   199

   200

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

   201

   202

# ~~~~~~ block

   203

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

   204

   205

# ~~~~~~ block.head

   206

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

   207

   208

block.head.content =

   209

   (title, shorttitle?, subtitle*)?

   210

   211

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

   212

   213

p = element p { p.content }

   214

   215

p.content =

   216

   inlines

   217

   218

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

   219

   220

# ~~~~~~ speech

   221

speech = element speech { speech.content }

   222

   223

speech.content =

   224

   speaker?,

   225

   stage?,

   226

   (p | blockquote)+

   227

   228

# ~~~~~~ speaker

   229

speaker = element speaker { speaker.content }

   230

   231

speaker.content = inlines

   232

   233

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

   234

   235

# ~~~~~~ list

   236

\list = element list {

   237

   block.head?,

   238

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

   239

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

   240

}

   241

   242

# ~~~~~~ item

   243

item = element item { item.content }

   244

   245

item.content =

   246

   inlines

   247

 | block+

   248

   249

# ~~~~~~ glossary.item

   250

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

   251

   252

glossary.item.content =

   253

   label,

   254

   block+

   255

   256

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

   257

   258

# ~~~~~~ blockquote

   259

blockquote = element blockquote { blockquote.content }

   260

   261

blockquote.content =

   262

   block.head?,

   263

   (p | speech | \list)+,

   264

   attribution?

   265

   266

# ~~~~~~ attribution

   267

attribution = element attribution { attribution.content }

   268

   269

attribution.content = mixed {

   270

   sup* & number* & date* & name* & foreign* & acronym* & term* & literal*

   271

 & highlight* & mentioned* & warning* }

   272

   273

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

   274

   275

# ~~~~~~ table

   276

table = element table { table.content }

   277

   278

table.content =

   279

   block.head?,

   280

   tgroup+,

   281

   table.caption?

   282

   283

# ~~~~~~ tgroup

   284

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

   285

   286

tgroup.content =

   287

   thead?,

   288

   tbody

   289

   290

tgroup.attributes =

   291

   cols.attribute

   292

 & align.attribute?

   293

 & colsep.attribute?

   294

 & rowsep.attribute?

   295

cols.attribute = attribute cols { xsd:positiveInteger }

   296

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

   297

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

   298

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

   299

   300

# ~~~~~~ thead, tbody

   301

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

   302

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

   303

   304

thead.attributes =

   305

   valign.attribute?

   306

tbody.attributes =

   307

   valign.attribute?

   308

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

   309

   310

thead.content =

   311

   row+

   312

tbody.content =

   313

   row+

   314

   315

# ~~~~~~ row

   316

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

   317

   318

row.attributes =

   319

   valign.attribute?

   320

 & rowsep.attribute?

   321

   322

row.content =

   323

  table.entry+

   324

   325

# ~~~~~~ table.entry

   326

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

   327

   328

table.entry.attributes =

   329

   align.attribute?

   330

 & valign.attribute?

   331

 & colsep.attribute?

   332

 & rowsep.attribute?

   333

   334

table.entry.content =

   335

   inlines

   336

 | (p | media)+

   337

   338

# ~~~~~~ table.caption

   339

table.caption = element caption { caption.content }

   340

   341

caption.content =

   342

   inlines

   343

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

   344

   345

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

   346

   347

# ~~~~~~ media

   348

media = element media { media.content }

   349

   350

media.content =

   351

   block.head?,

   352

   (image | audio | video)+,

   353

   media.caption?,

   354

   link?

   355

   356

# ~~~~~~ image

   357

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

   358

hotspot.image = element image {image.attributes }

   359

   360

image.attributes =

   361

   media.id.attribute

   362

 & image.type?

   363

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

   364

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

   365

   366

image.content =

   367

   copyright?,

   368

   hotspot*

   369

   370

# ~~~~~~ audio

   371

audio = element audio { audio.attributes }

   372

   373

audio.attributes =

   374

   media.id.attribute

   375

 & audio.type?

   376

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

   377

   378

# ~~~~~~ video

   379

video = element video { video.attributes }

   380

   381

video.attributes =

   382

   media.id.attribute

   383

   384

# ~~~~~~ hotspot

   385

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

   386

   387

hotspot.attributes =

   388

   x.attribute

   389

 & y.attribute

   390

 & w.attribute

   391

 & h.attribute?

   392

 & hotspot.type.attribute?

   393

 & xmlid.attribute?

   394

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

   395

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

   396

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

   397

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

   398

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

   399

   400

hotspot.content =

   401

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

   402

 | (spot, scenario?)

   403

   404

# ~~~~~~ spot

   405

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

   406

   407

spot.attributes =

   408

   dx.attribute?

   409

 & dy.attribute?

   410

 & dw.attribute?

   411

 & dh.attribute?

   412

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

   413

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

   414

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

   415

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

   416

   417

spot.content =

   418

   ((p+ | image), audio?)

   419

 | audio

   420

 | video

   421

   422

# ~~~~~~ media.caption

   423

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

   424

   425

caption.attributes =

   426

   x.attribute?

   427

 & y.attribute?

   428

   429

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

   430

   431

# ~~~~~~ scenario

   432

scenario = element scenario { scenario.content }

   433

   434

scenario.content =

   435

   init*,

   436

   onclick*

   437

   438

# ~~~~~~ init

   439

init = element init { init.attributes }

   440

   441

init.attributes =

   442

   init.action.attribute

   443

 & target.attribute?

   444

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

   445

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

   446

   447

# ~~~~~~ onclick

   448

onclick = element onclick { onclick.attributes }

   449

   450

onclick.attributes =

   451

   onclick.action.attribute

   452

 & target.attribute?

   453

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

   454

   455

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

   456

   457

# ~~~~~~ bibliography.entry

   458

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

   459

   460

bibliography.entry.content =

   461

   identifier.ean?

   462

 & title

   463

 & subtitle?

   464

 & copyright?

   465

 & collection?

   466

 & contributors?

   467

 & date?

   468

 & place?

   469

 & folio?

   470

 & pages?

   471

   472

# ~~~~~~ folio

   473

folio = element folio { folio.content }

   474

   475

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

   476

   477

# ~~~~~~ pages

   478

pages = element pages { pages.content }

   479

   480

pages.content = xsd:positiveInteger

   481

   482

   483

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

   484

#                                 HEAD LEVEL

   485

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

   486

   487

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

   488

   489

title = element title { title.content }

   490

shorttitle = element shorttitle { title.content }

   491

subtitle = element subtitle { title.content }

   492

   493

title.content = inlines

   494

   495

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

   496

   497

identifier = element identifier {

   498

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

   499

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

   500

}

   501

   502

identifier.ean = element identifier {

   503

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

   504

}

   505

   506

identifier.uri = element identifier {

   507

   attribute type { "uri" }, xsd:anyURI

   508

}

   509

   510

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

   511

   512

copyright = element copyright { copyright.content }

   513

   514

copyright.content = inlines

   515

   516

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

   517

   518

collection = element collection { collection.content }

   519

   520

collection.content = inlines

   521

   522

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

   523

   524

# ~~~~~~ contributors

   525

contributors = element contributors { contributors.content }

   526

   527

contributors.content =

   528

   contributor+

   529

   530

# ~~~~~~ contributor

   531

contributor = element contributor { contributor.content }

   532

   533

contributor.content =

   534

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

   535

   address?,

   536

   link?,

   537

   role+

   538

   539

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

   540

firstname = element firstname { firstname.content }

   541

secondname = element secondname { secondname.content }

   542

lastname = element lastname { lastname.content }

   543

label = element label { label.content }

   544

   545

firstname.content = inlines

   546

secondname.content = inlines

   547

lastname.content = inlines

   548

label.content = inlines

   549

   550

# ~~~~~~ address

   551

address = element address { address.content }

   552

   553

address.content = inlines

   554

   555

# ~~~~~~ role

   556

role = element role { role.content }

   557

   558

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

   559

   560

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

   561

   562

place = element place { place.content }

   563

   564

place.content = inlines

   565

   566

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

   567

   568

source = element source {

   569

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

   570

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

   571

   source.content

   572

}

   573

   574

source.content.file =

   575

   identifier.uri

   576

source.content =

   577

   annotation*

   578

   579

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

   580

   581

# ~~~~~~ keywordset

   582

keywordset = element keywordset { keywordset.content }

   583

   584

keywordset.content = keyword+

   585

   586

# ~~~~~~ keyword

   587

keyword = element keyword { keyword.content }

   588

   589

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

   590

   591

# ~~~~~~ subjectset

   592

subjectset = element subjectset { subjectset.content }

   593

   594

subjectset.content = subject+

   595

   596

# ~~~~~~ subject

   597

subject = element subject { subject.content }

   598

   599

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

   600

   601

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

   602

   603

abstract = element abstract { abstract.content }

   604

   605

abstract.content =

   606

   p+

   607

   608

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

   609

   610

cover = element cover { cover.content }

   611

   612

cover.content =

   613

   cover.image

   614

   615

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

   616

   617

cover.image.attributes =

   618

   cover.image.id.attribute

   619

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

   620

   621

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

   622

   623

annotation = element annotation { annotation.content }

   624

   625

annotation.content = inlines

   626

   627

   628

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

   629

#                                 INLINE LEVEL

   630

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

   631

   632

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

   633

   634

inlines = mixed {

   635

   sup*

   636

 & sub*

   637

 & var*

   638

 & number*

   639

 & math*

   640

 & date*

   641

 & name*

   642

 & foreign*

   643

 & acronym*

   644

 & term*

   645

 & literal*

   646

 & stage*

   647

 & highlight*

   648

 & mentioned*

   649

 & initial*

   650

 & note*

   651

 & quote*

   652

 & link*

   653

 & anchor*

   654

 & image*

   655

 & audio*

   656

 & smil*

   657

 & warning*

   658

}

   659

   660

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

   661

   662

sup = element sup { mixed { warning* } }

   663

   664

sub = element sub { mixed { warning* } }

   665

   666

var = element var { mixed { warning* } }

   667

   668

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

   669

   670

number = element number {

   671

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

   672

 | ( number.attributes, number.content)

   673

}

   674

   675

number.attributes =

   676

   number.value.attribute?

   677

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

   678

   679

number.content = mixed { sup* & warning* }

   680

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

   681

   682

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

   683

   684

math = element math {

   685

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

   686

 | ( math.attributes, math.content)

   687

}

   688

   689

math.attributes =

   690

   wide.attribute?

   691

wide.attribute = attribute wide { xsd:boolean }

   692

   693

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

   694

math.tex.content = text

   695

   696

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

   697

   698

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

   699

   700

date.attributes =

   701

   date.value.attribute

   702

 & date.of.attribute?

   703

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

   704

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

   705

   706

date.content = mixed { sup* & warning* }

   707

   708

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

   709

   710

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

   711

   712

name.attributes =

   713

   name.of.attribute?

   714

name.of.attribute = attribute of

   715

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

   716

   717

name.content = mixed { sup* & number* & acronym* & warning* }

   718

   719

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

   720

   721

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

   722

   723

foreign.attributes =

   724

   lang.attribute?

   725

   726

foreign.content = mixed { sup* & sub* & number* & warning* }

   727

   728

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

   729

   730

acronym = element acronym { acronym.content }

   731

   732

acronym.content = mixed { sup* & warning* }

   733

   734

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

   735

   736

term = element term { term.content }

   737

   738

term.content = mixed { sup* & warning* }

   739

   740

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

   741

   742

literal = element literal { literal.content }

   743

   744

literal.content = mixed { sup* & warning* }

   745

   746

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

   747

   748

stage = element stage { stage.content }

   749

   750

stage.content = inlines

   751

   752

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

   753

   754

highlight = element highlight { highlight.content }

   755

   756

highlight.content = inlines

   757

   758

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

   759

   760

mentioned = element mentioned { mentioned.content }

   761

   762

mentioned.content = inlines

   763

   764

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

   765

   766

initial = element initial { initial.content }

   767

   768

initial.content =

   769

   c,

   770

   w?

   771

   772

c = element c { text }

   773

w = element w { inlines }

   774

   775

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

   776

   777

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

   778

   779

note.attributes =

   780

   note.label.attribute?

   781

note.label.attribute = attribute label { text }

   782

   783

note.content =

   784

   (w?, block+) | inlines

   785

   786

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

   787

   788

quote = element quote { quote.content }

   789

   790

quote.content =

   791

   (phrase, attribution) | inlines

   792

   793

phrase = element phrase { phrase.content }

   794

   795

phrase.content = inlines

   796

   797

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

   798

   799

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

   800

   801

link.attributes =

   802

   (uri.attribute | idref.attribute)

   803

uri.attribute = attribute uri { xsd:anyURI }

   804

idref.attribute = attribute idref { xsd:IDREF }

   805

   806

link.content = mixed {

   807

   sup* & sub* & var* & number* & math* & date* & name* & foreign* & acronym*

   808

 & term* & literal* & stage* & highlight* & mentioned* & warning* }

   809

   810

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

   811

   812

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

   813

   814

anchor.attributes =

   815

   anchor.id.attribute

   816

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

   817

   818

anchor.content = inlines

   819

   820

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

   821

   822

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

   823

   824

smil.attributes =

   825

   audio.attribute?

   826

 & begin.attribute?

   827

 & end.attribute?

   828

audio.attribute = attribute audio { xsd:anyURI }

   829

begin.attribute = attribute begin { xsd:decimal }

   830

end.attribute = attribute end { xsd:decimal }

   831

   832

smil.content = inlines

   833

   834

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

   835

   836

warning = element warning { warning.content }

   837

   838

warning.content = text