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*

    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.attributes, division.content }

    86

    87

division.attributes =

    88

   division.type.attribute?

    89

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

    90

    91

division.content =

    92

   division.head?,

    93

   front?,

    94

   (division | topic)+

    95

    96

# ~~~~~~ division.head

    97

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

    98

    99

division.head.content =

   100

   (title, shorttitle?, subtitle*)?

   101

 & abstract?

   102

 & annotation*

   103

   104

# ~~~~~~ front

   105

front = element front { front.content }

   106

   107

front.content =

   108

   section+

   109

   110

   111

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

   112

#                                COMPONENT LEVEL

   113

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

   114

   115

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

   116

   117

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

   118

   119

component.head.content =

   120

   (title, shorttitle?, subtitle*)?

   121

 & contributors?

   122

 & date?

   123

 & place?

   124

 & keywordset?

   125

 & subjectset?

   126

 & abstract?

   127

 & annotation*

   128

   129

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

   130

   131

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

   132

   133

topic.attributes =

   134

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

   135

 & topic.type.attribute?

   136

 & lang.attribute?

   137

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

   138

   139

topic.content =

   140

   component.head?,

   141

   header?,

   142

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

   143

   footer?

   144

   145

   146

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

   147

#                                 SECTION LEVEL

   148

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

   149

   150

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

   151

   152

header = element header { header.content }

   153

   154

header.content =

   155

   block+

   156

   157

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

   158

   159

# ~~~~~~ section

   160

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

   161

   162

section.attributes =

   163

   xmlid.attribute?

   164

 & section.type.attribute?

   165

 & lang.attribute?

   166

 & for.attribute?

   167

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

   168

for.attribute = attribute for { xsd:NCName }

   169

   170

section.content =

   171

   section.head?,

   172

   (section+ | block+)

   173

   174

# ~~~~~~ section.head

   175

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

   176

   177

section.head.content =

   178

   (title, shorttitle?, subtitle*)?

   179

 & keywordset?

   180

 & subjectset?

   181

 & abstract?

   182

 & audio*

   183

 & annotation*

   184

   185

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

   186

   187

# ~~~~~~ bibliography

   188

bibliography = element bibliography { bibliography.content }

   189

   190

bibliography.content =

   191

   bibliography.entry+

   192

   193

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

   194

   195

footer = element footer { footer.content }

   196

   197

footer.content =

   198

   block+

   199

   200

   201

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

   202

#                                 BLOCK LEVEL

   203

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

   204

   205

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

   206

   207

# ~~~~~~ block

   208

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

   209

   210

# ~~~~~~ block.head

   211

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

   212

   213

block.head.content =

   214

   (title, shorttitle?, subtitle*)?

   215

   216

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

   217

   218

p = element p { p.content }

   219

   220

p.content =

   221

   inlines

   222

   223

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

   224

   225

# ~~~~~~ speech

   226

speech = element speech { speech.content }

   227

   228

speech.content =

   229

   speaker?,

   230

   stage?,

   231

   (p | blockquote)+

   232

   233

# ~~~~~~ speaker

   234

speaker = element speaker { speaker.content }

   235

   236

speaker.content = inlines

   237

   238

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

   239

   240

# ~~~~~~ list

   241

\list = element list {

   242

   block.head?,

   243

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

   244

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

   245

}

   246

   247

# ~~~~~~ item

   248

item = element item { item.content }

   249

   250

item.content =

   251

   inlines

   252

 | block+

   253

   254

# ~~~~~~ glossary.item

   255

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

   256

   257

glossary.item.content =

   258

   label,

   259

   block+

   260

   261

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

   262

   263

# ~~~~~~ blockquote

   264

blockquote = element blockquote { blockquote.content }

   265

   266

blockquote.content =

   267

   block.head?,

   268

   (p | speech | \list)+,

   269

   attribution?

   270

   271

# ~~~~~~ attribution

   272

attribution = element attribution { attribution.content }

   273

   274

attribution.content = mixed {

   275

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

   276

 & highlight* & emphasis* & mentioned* & note* & warning* }

   277

   278

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

   279

   280

# ~~~~~~ table

   281

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

   282

   283

table.attributes =

   284

   table.type.attribute?

   285

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

   286

   287

table.content =

   288

   block.head?,

   289

   thead?,

   290

   (tbody+ | tr+),

   291

   table.caption?

   292

   293

# ~~~~~~ thead, tbody

   294

thead = element thead { thead.content }

   295

tbody = element tbody { tbody.content }

   296

   297

thead.content =

   298

   tr+

   299

tbody.content =

   300

   tr+

   301

   302

# ~~~~~~ tr

   303

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

   304

   305

tr.attributes =

   306

   align.attribute?

   307

 & valign.attribute?

   308

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

   309

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

   310

   311

tr.content =

   312

   (td | th)+

   313

   314

# ~~~~~~ td, th

   315

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

   316

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

   317

   318

td.attributes =

   319

   align.attribute?

   320

 & valign.attribute?

   321

 & colspan.attribute?

   322

 & rowspan.attribute?

   323

colspan.attribute = attribute colspan { xsd:positiveInteger }

   324

rowspan.attribute = attribute rowspan { xsd:positiveInteger }

   325

   326

td.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

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table.cals ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   338

   339

# ~~~~~~ table.cals

   340

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

   341

   342

table.cals.content =

   343

   block.head?,

   344

   tgroup+,

   345

   table.caption?

   346

   347

# ~~~~~~ tgroup

   348

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

   349

   350

tgroup.attributes =

   351

   cols.attribute

   352

cols.attribute = attribute cols { xsd:positiveInteger }

   353

   354

tgroup.content =

   355

   thead.cals?,

   356

   tbody.cals

   357

   358

# ~~~~~~ thead, tbody

   359

thead.cals = element thead { thead.cals.content }

   360

tbody.cals = element tbody { tbody.cals.content }

   361

   362

thead.cals.content =

   363

   row+

   364

tbody.cals.content =

   365

   row+

   366

   367

# ~~~~~~ row

   368

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

   369

   370

row.attributes =

   371

   valign.attribute?

   372

   373

row.content =

   374

  table.cals.entry+

   375

   376

# ~~~~~~ table.cals.entry

   377

table.cals.entry = element entry {

   378

   table.cals.entry.attributes, table.cals.entry.content }

   379

   380

table.cals.entry.attributes =

   381

   align.attribute?

   382

 & valign.attribute?

   383

   384

table.cals.entry.content =

   385

   inlines

   386

 | (p | media)+

   387

   388

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

   389

   390

# ~~~~~~ media

   391

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

   392

   393

media.attributes =

   394

   xmlid.attribute?

   395

 & media.type.attribute?

   396

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

   397

   398

media.content =

   399

   block.head?,

   400

   (image | audio | video)+,

   401

   media.caption?,

   402

   link?

   403

   404

# ~~~~~~ image

   405

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

   406

hotspot.image = element image { image.attributes }

   407

   408

image.attributes =

   409

   media.id.attribute

   410

 & image.type?

   411

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

   412

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

   413

   414

image.content =

   415

   copyright?,

   416

   hotspot*

   417

   418

# ~~~~~~ audio

   419

audio = element audio { audio.attributes }

   420

   421

audio.attributes =

   422

   media.id.attribute

   423

 & audio.type?

   424

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

   425

   426

# ~~~~~~ video

   427

video = element video { video.attributes }

   428

   429

video.attributes =

   430

   media.id.attribute

   431

   432

# ~~~~~~ hotspot

   433

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

   434

   435

hotspot.attributes =

   436

   x.attribute

   437

 & y.attribute

   438

 & w.attribute

   439

 & h.attribute?

   440

 & hotspot.display.attribute?

   441

 & hotspot.type.attribute?

   442

 & xmlid.attribute?

   443

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

   444

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

   445

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

   446

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

   447

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

   448

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

   449

   450

hotspot.content =

   451

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

   452

 | (spot, scenario?)

   453

 | empty 

   454

   455

# ~~~~~~ spot

   456

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

   457

   458

spot.attributes =

   459

   dx.attribute?

   460

 & dy.attribute?

   461

 & dw.attribute?

   462

 & dh.attribute?

   463

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

   464

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

   465

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

   466

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

   467

   468

spot.content =

   469

   ((p+ | image), audio?)

   470

 | audio

   471

 | video

   472

   473

# ~~~~~~ media.caption

   474

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

   475

   476

caption.attributes =

   477

   x.attribute?

   478

 & y.attribute?

   479

   480

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

   481

   482

# ~~~~~~ scenario

   483

scenario = element scenario { scenario.content }

   484

   485

scenario.content =

   486

   init*,

   487

   onclick*

   488

   489

# ~~~~~~ init

   490

init = element init { init.attributes }

   491

   492

init.attributes =

   493

   init.action.attribute

   494

 & target.attribute?

   495

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

   496

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

   497

   498

# ~~~~~~ onclick

   499

onclick = element onclick { onclick.attributes }

   500

   501

onclick.attributes =

   502

   onclick.action.attribute

   503

 & target.attribute?

   504

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

   505

   506

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

   507

   508

# ~~~~~~ bibliography.entry

   509

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

   510

   511

bibliography.entry.content =

   512

   identifier.ean?

   513

 & title

   514

 & subtitle?

   515

 & copyright?

   516

 & collection?

   517

 & contributors?

   518

 & date?

   519

 & place?

   520

 & folio?

   521

 & pages?

   522

   523

# ~~~~~~ folio

   524

folio = element folio { folio.content }

   525

   526

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

   527

   528

# ~~~~~~ pages

   529

pages = element pages { pages.content }

   530

   531

pages.content = xsd:positiveInteger

   532

   533

   534

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

   535

#                                 HEAD LEVEL

   536

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

   537

   538

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

   539

   540

title = element title { title.content }

   541

shorttitle = element shorttitle { title.content }

   542

subtitle = element subtitle { title.content }

   543

   544

title.content = inlines

   545

   546

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

   547

   548

# ~~~~~~ identifier

   549

identifier = element identifier {

   550

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

   551

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

   552

}

   553

   554

# ~~~~~~ identifier.ean

   555

identifier.ean = element identifier {

   556

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

   557

}

   558

   559

# ~~~~~~ identifier.uri

   560

identifier.uri = element identifier {

   561

   attribute type { "uri" }, for.attribute?, xsd:anyURI

   562

}

   563

   564

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

   565

   566

copyright = element copyright { copyright.content }

   567

   568

copyright.content = inlines

   569

   570

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

   571

   572

collection = element collection { collection.content }

   573

   574

collection.content = inlines

   575

   576

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

   577

   578

# ~~~~~~ contributors

   579

contributors = element contributors { contributors.content }

   580

   581

contributors.content =

   582

   contributor+

   583

   584

# ~~~~~~ contributor

   585

contributor = element contributor { contributor.content }

   586

   587

contributor.content =

   588

   identifier.uri?,

   589

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

   590

   address?,

   591

   link?,

   592

   role+

   593

   594

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

   595

firstname = element firstname { firstname.content }

   596

secondname = element secondname { secondname.content }

   597

lastname = element lastname { lastname.content }

   598

label = element label { label.content }

   599

   600

firstname.content = inlines

   601

secondname.content = inlines

   602

lastname.content = inlines

   603

label.content = inlines

   604

   605

# ~~~~~~ address

   606

address = element address { address.content }

   607

   608

address.content = inlines

   609

   610

# ~~~~~~ role

   611

role = element role { role.content }

   612

   613

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

   614

   615

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

   616

   617

place = element place { place.content }

   618

   619

place.content = inlines

   620

   621

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

   622

   623

source = element source {

   624

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

   625

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

   626

   source.content

   627

}

   628

   629

source.content.file =

   630

   identifier.uri

   631

source.content =

   632

   annotation*

   633

   634

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

   635

   636

# ~~~~~~ keywordset

   637

keywordset = element keywordset { keywordset.content }

   638

   639

keywordset.content = keyword+

   640

   641

# ~~~~~~ keyword

   642

keyword = element keyword { keyword.content }

   643

   644

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

   645

   646

# ~~~~~~ subjectset

   647

subjectset = element subjectset { subjectset.content }

   648

   649

subjectset.content = subject+

   650

   651

# ~~~~~~ subject

   652

subject = element subject { subject.content }

   653

   654

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

   655

   656

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

   657

   658

abstract = element abstract { abstract.content }

   659

   660

abstract.content =

   661

   p+

   662

   663

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

   664

   665

cover = element cover { cover.content }

   666

   667

cover.content =

   668

   cover.image

   669

   670

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

   671

   672

cover.image.attributes =

   673

   cover.image.id.attribute

   674

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

   675

   676

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

   677

   678

annotation = element annotation { annotation.content }

   679

   680

annotation.content = inlines

   681

   682

   683

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

   684

#                                 INLINE LEVEL

   685

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

   686

   687

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

   688

   689

inlines = mixed {

   690

   sup*

   691

 & sub*

   692

 & var*

   693

 & number*

   694

 & math*

   695

 & date*

   696

 & name*

   697

 & foreign*

   698

 & acronym*

   699

 & term*

   700

 & literal*

   701

 & stage*

   702

 & highlight*

   703

 & emphasis*

   704

 & mentioned*

   705

 & initial*

   706

 & note*

   707

 & quote*

   708

 & link*

   709

 & anchor*

   710

 & image*

   711

 & audio*

   712

 & smil*

   713

 & warning*

   714

}

   715

   716

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

   717

   718

sup = element sup { mixed { var* & warning* } }

   719

   720

sub = element sub { mixed { var* & warning* } }

   721

   722

var = element var { mixed { warning* } }

   723

   724

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

   725

   726

number = element number {

   727

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

   728

 | ( number.attributes, number.content)

   729

}

   730

   731

number.attributes =

   732

   number.value.attribute?

   733

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

   734

   735

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

   736

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

   737

   738

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

   739

   740

# ~~~~~~ math

   741

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

   742

   743

math.attributes =

   744

   xmlid.attribute?

   745

 & math.display.attribute?

   746

math.display.attribute = attribute display {

   747

   "wide" | "numbered" | "box"  | "numbered-box" }

   748

   749

math.content =

   750

   mixed { sup* & sub* & var* & warning* }

   751

 | latex

   752

   753

# ~~~~~~ latex

   754

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

   755

   756

latex.attributes =

   757

   plain.attritute?

   758

plain.attritute = attribute plain { xsd:boolean }

   759

   760

latex.content = text

   761

   762

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

   763

   764

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

   765

   766

date.attributes =

   767

   date.value.attribute

   768

 & date.of.attribute?

   769

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

   770

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

   771

   772

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

   773

   774

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

   775

   776

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

   777

   778

name.attributes =

   779

   name.of.attribute?

   780

name.of.attribute = attribute of {

   781

   "person" | "company" | "book" | "newspaper" | "party" | "movie"

   782

 | "painting" }

   783

   784

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

   785

   786

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

   787

   788

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

   789

   790

foreign.attributes =

   791

   lang.attribute?

   792

   793

foreign.content = inlines

   794

   795

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

   796

   797

acronym = element acronym { acronym.content }

   798

   799

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

   800

   801

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

   802

   803

term = element term { term.content }

   804

   805

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

   806

   807

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

   808

   809

literal = element literal { literal.content }

   810

   811

literal.content = inlines

   812

   813

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

   814

   815

stage = element stage { stage.content }

   816

   817

stage.content = inlines

   818

   819

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

   820

   821

highlight = element highlight { highlight.content }

   822

   823

highlight.content = inlines

   824

   825

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ emphasis ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   826

   827

emphasis = element emphasis { emphasis.content }

   828

   829

emphasis.content = inlines

   830

   831

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

   832

   833

mentioned = element mentioned { mentioned.content }

   834

   835

mentioned.content = inlines

   836

   837

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

   838

   839

initial = element initial { initial.content }

   840

   841

initial.content =

   842

   c,

   843

   w?

   844

   845

c = element c { text }

   846

w = element w { inlines }

   847

   848

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

   849

   850

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

   851

   852

note.attributes =

   853

   note.label.attribute?

   854

note.label.attribute = attribute label { text }

   855

   856

note.content =

   857

   (w?, block+) | inlines

   858

   859

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

   860

   861

quote = element quote { quote.content }

   862

   863

quote.content =

   864

   (phrase, attribution) | inlines

   865

   866

phrase = element phrase { phrase.content }

   867

   868

phrase.content = inlines

   869

   870

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

   871

   872

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

   873

   874

link.attributes =

   875

   (uri.attribute | idref.attribute)

   876

uri.attribute = attribute uri { xsd:anyURI }

   877

idref.attribute = attribute idref { xsd:IDREF }

   878

   879

link.content = mixed {

   880

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

   881

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

   882

   883

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

   884

   885

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

   886

   887

anchor.attributes =

   888

   anchor.id.attribute

   889

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

   890

   891

anchor.content = inlines

   892

   893

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

   894

   895

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

   896

   897

smil.attributes =

   898

   audio.attribute?

   899

 & begin.attribute?

   900

 & end.attribute?

   901

audio.attribute = attribute audio { xsd:anyURI }

   902

begin.attribute = attribute begin { xsd:decimal }

   903

end.attribute = attribute end { xsd:decimal }

   904

   905

smil.content = inlines

   906

   907

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

   908

   909

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

   910

   911

warning.attributes =

   912

   warning.type.attribute?

   913

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

   914

   915

warning.content = inlines