1

start = publidoc

     2

     3

publidoc = element publidoc {

     4

               publidoc.attributes,

     5

               publidoc.content

     6

           }

     7

     8

publidoc.attributes =

     9

    version.attribute

    10

version.attribute = attribute version { "1.0" }

    11

    12

publidoc.content =

    13

    document

    14

    | glossary

    15

    | topic

    16

    17

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

    18

#                                    HEAD

    19

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

    20

    21

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

    22

    23

title = element title { title.content }

    24

shorttitle = element shorttitle { title.content }

    25

subtitle = element subtitle { title.content }

    26

    27

title.content = inlines

    28

    29

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

    30

    31

# ~~~~~~ identifier

    32

identifier =

    33

    element identifier {

    34

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

    35

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

    36

    }

    37

    38

# ~~~~~~ identifier.ean

    39

identifier.ean =

    40

    element identifier {

    41

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

    42

    }

    43

    44

# ~~~~~~ identifier.uri

    45

identifier.uri =

    46

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

    47

    48

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

    49

    50

copyright = element copyright { copyright.content }

    51

    52

copyright.content = simple.inlines

    53

    54

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

    55

    56

collection = element collection { collection.content }

    57

    58

collection.content = simple.inlines

    59

    60

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

    61

    62

# ~~~~~~ contributors

    63

contributors = element contributors { contributors.content }

    64

    65

contributors.content =

    66

    contributor+

    67

    68

# ~~~~~~ contributor

    69

contributor = element contributor { contributor.content }

    70

    71

contributor.content =

    72

    identifier.uri?,

    73

    ((firstname?, lastname) | label),

    74

    address?,

    75

    link?,

    76

    role+

    77

    78

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

    79

firstname = element firstname { firstname.content }

    80

lastname = element lastname { lastname.content }

    81

label = element label { label.content }

    82

    83

firstname.content = simple.inlines

    84

lastname.content = simple.inlines

    85

label.content = simple.inlines

    86

    87

# ~~~~~~ address

    88

address = element address { address.content }

    89

    90

address.content = simple.inlines

    91

    92

# ~~~~~~ role

    93

role = element role { role.content }

    94

    95

role.content =

    96

    "author" | "illustrator" | "publisher" | "packager" | "translator"

    97

    98

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

    99

   100

place = element place { place.content }

   101

   102

place.content = simple.inlines

   103

   104

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

   105

   106

source =

   107

    element source {

   108

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

   109

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

   110

        source.content

   111

    }

   112

   113

source.content.file =

   114

    identifier.uri

   115

source.content =

   116

    annotation?

   117

   118

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

   119

   120

# ~~~~~~ keywordset

   121

keywordset = element keywordset { keywordset.content }

   122

   123

keywordset.content = keyword+

   124

   125

# ~~~~~~ keyword

   126

keyword = element keyword { keyword.content }

   127

   128

keyword.content = simple.inlines

   129

   130

# ~~~~~~ subjectset

   131

subjectset = element subjectset { subjectset.content }

   132

   133

subjectset.content = subject+

   134

   135

# ~~~~~~ subject

   136

subject = element subject { subject.content }

   137

   138

subject.content = simple.inlines

   139

   140

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ index ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   141

   142

# ~~~~~~ indexset

   143

indexset = element indexset { indexset.content }

   144

   145

indexset.content = head.index+

   146

   147

# ~~~~~~ index

   148

index = element index { index.content }

   149

head.index = element index { head.index.content }

   150

   151

index.content =

   152

    (index.w, index.entry?)

   153

    | (index.entry, (index.w | index.entry)?)

   154

head.index.content =

   155

    index.entry, index.entry?

   156

   157

# ~~~~~~ index.w

   158

index.w = element w { simple.inlines }

   159

   160

# ~~~~~~ index.entry

   161

index.entry = element entry { simple.inlines }

   162

   163

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

   164

   165

abstract = element abstract { abstract.content }

   166

   167

abstract.content =

   168

    p+

   169

   170

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

   171

   172

cover = element cover { cover.content }

   173

   174

cover.content =

   175

    cover.image

   176

   177

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

   178

   179

cover.image.attributes =

   180

    media.id.attribute

   181

   182

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

   183

   184

annotation = element annotation { annotation.content }

   185

   186

annotation.content =

   187

    inlines | p+

   188

   189

   190

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

   191

#                                    DOCUMENT

   192

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

   193

   194

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ document.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   195

   196

document.head = element head { document.head.content }

   197

   198

document.head.content =

   199

    (title & shorttitle? & subtitle*)?

   200

    & identifier*

   201

    & copyright*

   202

    & collection?

   203

    & contributors?

   204

    & date?

   205

    & place?

   206

    & (source, source?)?

   207

    & keywordset?

   208

    & subjectset?

   209

    & indexset?

   210

    & abstract?

   211

    & cover?

   212

    & annotation?

   213

   214

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

   215

   216

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

   217

   218

document.attributes =

   219

    document.id.attribute?

   220

    & document.type.attribute?

   221

    & lang.attribute?

   222

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

   223

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

   224

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

   225

   226

document.content =

   227

    document.head?,

   228

    (division | document.topic | glossary)+

   229

   230

   231

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

   232

#                                   GLOSSARY

   233

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

   234

   235

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

   236

   237

glossary.attributes =

   238

    glossary.type.attribute?

   239

    & lang.attribute?

   240

    & langto.attribute?

   241

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

   242

langto.attribute = attribute langto { xsd:language }

   243

   244

glossary.content =

   245

    glossary.entry+

   246

   247

   248

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

   249

#                                   DIVISION

   250

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

   251

   252

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   253

   254

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

   255

   256

division.head.content =

   257

    (title & shorttitle? & subtitle*)?

   258

    & indexset?

   259

    & abstract?

   260

    & annotation?

   261

   262

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

   263

   264

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

   265

   266

division.attributes =

   267

    division.type.attribute?

   268

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

   269

   270

division.content =

   271

    division.head?,

   272

    front?,

   273

    (division | document.topic)+

   274

   275

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ front ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   276

   277

front = element front { front.content }

   278

   279

front.content =

   280

    section+

   281

   282

   283

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

   284

#                                 COMPONENTS

   285

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

   286

   287

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

   288

   289

# ~~~~~~ component.head

   290

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

   291

   292

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

   293

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

   294

   295

document.component.head.content =

   296

    (title & shorttitle? & subtitle*)?

   297

    & contributors?

   298

    & date?

   299

    & place?

   300

    & keywordset?

   301

    & subjectset?

   302

    & indexset?

   303

    & abstract?

   304

    & annotation?

   305

   306

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

   307

   308

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

   309

document.topic =

   310

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

   311

   312

topic.attributes =

   313

    topic.id.attribute?

   314

    & topic.type.attribute?

   315

    & lang.attribute?

   316

document.topic.attributes =

   317

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

   318

    & topic.type.attribute?

   319

    & lang.attribute?

   320

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

   321

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

   322

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

   323

   324

topic.content =

   325

    component.head?,

   326

    header?,

   327

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

   328

    footer?

   329

document.topic.content =

   330

    document.component.head?,

   331

    header?,

   332

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

   333

    footer?

   334

   335

   336

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

   337

#                                 SECTION LEVEL

   338

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

   339

   340

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   341

   342

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

   343

   344

section.head.content =

   345

    (title & shorttitle? & subtitle*)?

   346

    & keywordset?

   347

    & subjectset?

   348

    & indexset?

   349

    & abstract?

   350

    & audio*

   351

    & annotation?

   352

   353

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

   354

   355

header = element header { header.content }

   356

   357

header.content =

   358

    block+

   359

   360

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

   361

   362

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

   363

   364

section.attributes =

   365

    xmlid.attribute?

   366

    & section.type.attribute?

   367

    & lang.attribute?

   368

    & for.attribute?

   369

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

   370

for.attribute = attribute for { xsd:NCName }

   371

   372

section.content =

   373

    section.head?,

   374

    (section+ | block+)

   375

   376

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

   377

   378

bibliography = element bibliography { bibliography.content }

   379

   380

bibliography.content =

   381

    bibliography.entry+

   382

   383

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

   384

   385

footer = element footer { footer.content }

   386

   387

footer.content =

   388

    block+

   389

   390

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ glossary.entry ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   391

   392

# ~~~~~~ glossary.entry

   393

glossary.entry=

   394

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

   395

   396

glossary.entry.attributes =

   397

    xmlid.attribute?

   398

   399

glossary.entry.content =

   400

    mainterm,

   401

    alt-terms?,

   402

    media?,

   403

    meanings+,

   404

    seealso*

   405

   406

# ~~~~~~ mainterm

   407

mainterm = element mainterm { mainterm.content }

   408

   409

mainterm.content = simple.inlines

   410

   411

# ~~~~~~ alt-terms

   412

alt-terms = element alt-terms { alt-terms.content }

   413

   414

alt-terms.content =

   415

    alt-term+

   416

   417

# ~~~~~~ alt-term

   418

alt-term = element alt-term { alt-term.attributes, alt-term.content }

   419

   420

alt-term.content = inlines

   421

   422

alt-term.attributes =

   423

    alt-term.type.attribute?

   424

alt-term.type.attribute = attribute type { xsd:NCName }

   425

   426

   427

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

   428

#                                 BLOCK LEVEL

   429

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

   430

   431

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ block.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   432

   433

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

   434

   435

block.head.content =

   436

    (title & shorttitle? & subtitle*)?

   437

    & indexset?

   438

    & annotation?

   439

   440

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

   441

   442

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

   443

   444

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

   445

   446

p = element p { p.content }

   447

   448

p.content =

   449

    inlines

   450

   451

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

   452

   453

# ~~~~~~ list

   454

\list =

   455

    element list {

   456

        block.head?,

   457

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

   458

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

   459

   460

# ~~~~~~ item

   461

item = element item { item.content }

   462

   463

item.content =

   464

    inlines

   465

    | block+

   466

   467

# ~~~~~~ item.glossary

   468

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

   469

   470

item.glossary.content =

   471

    label,

   472

    block+

   473

   474

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

   475

   476

# ~~~~~~ blockquote

   477

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

   478

   479

blockquote.attributes =

   480

    blockquote.type.attribute?

   481

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

   482

   483

blockquote.content =

   484

    block.head?,

   485

    (p | speech | \list)+,

   486

    attribution?

   487

   488

# ~~~~~~ attribution

   489

attribution = element attribution { attribution.content }

   490

   491

attribution.content =

   492

    mixed {

   493

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

   494

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

   495

   496

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

   497

   498

# ~~~~~~ speech

   499

speech = element speech { speech.content }

   500

   501

speech.content =

   502

    speaker?,

   503

    stage?,

   504

    (p | blockquote)+

   505

   506

# ~~~~~~ speaker

   507

speaker = element speaker { speaker.content }

   508

   509

speaker.content = inlines

   510

   511

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

   512

   513

# ~~~~~~ table

   514

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

   515

   516

table.attributes =

   517

    table.type.attribute?

   518

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

   519

   520

table.content =

   521

    block.head?,

   522

    ((thead?, tbody+) | tr+),

   523

    table.caption?

   524

   525

# ~~~~~~ thead, tbody

   526

thead = element thead { thead.content }

   527

tbody = element tbody { tbody.content }

   528

   529

thead.content =

   530

    tr+

   531

tbody.content =

   532

    tr+

   533

   534

# ~~~~~~ tr

   535

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

   536

   537

tr.attributes =

   538

    align.attribute?

   539

    & valign.attribute?

   540

    & cell.type.attribute?

   541

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

   542

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

   543

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

   544

   545

tr.content =

   546

    (td | th)+

   547

   548

# ~~~~~~ td, th

   549

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

   550

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

   551

   552

td.attributes =

   553

    align.attribute?

   554

    & valign.attribute?

   555

    & colspan.attribute?

   556

    & rowspan.attribute?

   557

    & cell.type.attribute?

   558

colspan.attribute = attribute colspan { xsd:positiveInteger }

   559

rowspan.attribute = attribute rowspan { xsd:positiveInteger }

   560

   561

td.content =

   562

    inlines

   563

    | (p | media)+

   564

   565

# ~~~~~~ table.caption

   566

table.caption = element caption { caption.content }

   567

   568

caption.content =

   569

    inlines

   570

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

   571

   572

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

   573

   574

# ~~~~~~ table.cals

   575

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

   576

   577

table.cals.content =

   578

    block.head?,

   579

    tgroup+,

   580

    table.caption?

   581

   582

# ~~~~~~ tgroup

   583

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

   584

   585

tgroup.attributes =

   586

    cols.attribute

   587

cols.attribute = attribute cols { xsd:positiveInteger }

   588

   589

tgroup.content =

   590

    thead.cals?,

   591

    tbody.cals

   592

   593

# ~~~~~~ thead, tbody

   594

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

   595

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

   596

   597

thead.cals.content =

   598

    row+

   599

tbody.cals.content =

   600

    row+

   601

   602

# ~~~~~~ row

   603

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

   604

   605

row.attributes =

   606

    valign.attribute?

   607

   608

row.content =

   609

    table.cals.entry+

   610

   611

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

   612

table.cals.entry =

   613

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

   614

   615

table.cals.entry.attributes =

   616

    align.attribute?

   617

    & valign.attribute?

   618

   619

table.cals.entry.content =

   620

    inlines

   621

    | (p | media)+

   622

   623

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

   624

   625

# ~~~~~~ media

   626

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

   627

   628

media.attributes =

   629

    xmlid.attribute?

   630

    & media.type.attribute?

   631

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

   632

   633

media.content =

   634

    block.head?,

   635

    (media.image | audio | video)+,

   636

    media.caption?,

   637

    link?

   638

   639

# ~~~~~~ image

   640

image = element image { image.attributes }

   641

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

   642

   643

image.attributes =

   644

    media.id.attribute

   645

    & image.type.attribute?

   646

    & image.zoom.attribute?

   647

    & alt.attribute?

   648

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

   649

image.type.attribute =

   650

    attribute type { "cover" | "thumbnail" | "icon" | "animation" }

   651

image.zoom.attribute = attribute zoom {"true" | "false"}

   652

alt.attribute = attribute alt { text }

   653

   654

media.image.content =

   655

    copyright?,

   656

    hotspot*

   657

   658

# ~~~~~~ audio

   659

audio = element audio { audio.attributes }

   660

   661

audio.attributes =

   662

    media.id.attribute

   663

    & audio.type?

   664

audio.type =

   665

    attribute type { "music" | "voice" | "en" | "fr" | "background" | "smil" }

   666

   667

# ~~~~~~ video

   668

video = element video { video.attributes }

   669

   670

video.attributes =

   671

    media.id.attribute

   672

   673

# ~~~~~~ media.caption

   674

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

   675

   676

caption.attributes =

   677

    x.attribute?

   678

    & y.attribute?

   679

   680

# ~~~~~~ hotspot

   681

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

   682

   683

hotspot.attributes =

   684

    x.attribute

   685

    & y.attribute

   686

    & w.attribute

   687

    & h.attribute?

   688

    & hotspot.display.attribute?

   689

    & hotspot.type.attribute?

   690

    & xmlid.attribute?

   691

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

   692

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

   693

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

   694

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

   695

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

   696

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

   697

   698

hotspot.content =

   699

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

   700

    | (spot, scenario?)

   701

    | empty

   702

   703

# ~~~~~~ spot

   704

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

   705

   706

spot.attributes =

   707

    dx.attribute?

   708

    & dy.attribute?

   709

    & dw.attribute?

   710

    & dh.attribute?

   711

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

   712

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

   713

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

   714

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

   715

   716

spot.content =

   717

    ((p+ | image), audio?)

   718

    | audio

   719

    | video

   720

   721

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

   722

   723

# ~~~~~~ scenario

   724

scenario = element scenario { scenario.content }

   725

   726

scenario.content =

   727

    init*,

   728

    onclick*

   729

   730

# ~~~~~~ init

   731

init = element init { init.attributes }

   732

   733

init.attributes =

   734

    init.action.attribute

   735

    & target.attribute?

   736

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

   737

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

   738

   739

# ~~~~~~ onclick

   740

onclick = element onclick { onclick.attributes }

   741

   742

onclick.attributes =

   743

    onclick.action.attribute

   744

    & target.attribute?

   745

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

   746

   747

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ bibliography.entry ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   748

   749

# ~~~~~~ bibliography.entry

   750

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

   751

   752

bibliography.entry.content =

   753

    identifier.ean?

   754

    & title

   755

    & subtitle?

   756

    & copyright?

   757

    & collection?

   758

    & contributors?

   759

    & date?

   760

    & place?

   761

    & folio?

   762

    & pages?

   763

   764

# ~~~~~~ folio

   765

folio = element folio { folio.content }

   766

   767

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

   768

   769

# ~~~~~~ pages

   770

pages = element pages { pages.content }

   771

   772

pages.content = xsd:positiveInteger

   773

   774

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ meanings ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   775

   776

# ~~~~~~ meanings

   777

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

   778

   779

meanings.attributes =

   780

    gramcode.attribute?

   781

gramcode.attribute = attribute gramcode { xsd:NMTOKEN }

   782

   783

meanings.content =

   784

    meaning+

   785

   786

# ~~~~~~ meaning

   787

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

   788

   789

meaning.attributes =

   790

    meaning.domain.attribute?

   791

    & langlevel.attribute?

   792

meaning.domain.attribute = attribute domain { xsd:NMTOKEN }

   793

langlevel.attribute = attribute langlevel { xsd:NMTOKEN }

   794

   795

meaning.content =

   796

    ((definition, example*, synonym*, antonym*, translation*)

   797

    | (definition?, example*, synonym*, antonym*, translation+)

   798

    | (definition?, example*, synonym+, antonym*, translation*)

   799

    | (definition?, example*, synonym*, antonym+, translation*)),

   800

    dictum*

   801

   802

# ~~~~~~ definition

   803

definition = element definition { inlines }

   804

   805

# ~~~~~~ synonym, antonym

   806

synonym = element synonym { simple.inlines }

   807

antonym = element antonym { simple.inlines }

   808

   809

# ~~~~~~ translation

   810

translation = element translation { simple.inlines }

   811

   812

# ~~~~~~ dictum

   813

dictum = element dictum { dictum.content }

   814

dictum.content =  p+

   815

   816

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ seealso ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   817

   818

seealso = element seealso { seealso.attributes }

   819

   820

seealso.attributes =

   821

    gloss.ref.attribute

   822

   823

   824

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

   825

#                                 INLINE LEVEL

   826

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

   827

   828

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

   829

   830

simple.inlines =

   831

    mixed {

   832

        sup* & sub*

   833

        & var*

   834

        & number*

   835

        & acronym*

   836

        & warning*

   837

    }

   838

   839

inlines =

   840

    mixed {

   841

        sup* & sub*

   842

        & var*

   843

        & number*

   844

        & acronym*

   845

        & warning*

   846

   847

        & highlight*

   848

        & emphasis*

   849

        & mentioned*

   850

        & literal*

   851

        & term*

   852

        & example*

   853

        & stage*

   854

        & name*

   855

        & foreign*

   856

        & date*

   857

        & math*

   858

        & quote*

   859

        & initial*

   860

        & note*

   861

        & link*

   862

        & anchor*

   863

        & index*

   864

        & gloss*

   865

        & image*

   866

        & audio*

   867

        & smil*

   868

   869

        & nowrap*

   870

    }

   871

   872

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

   873

   874

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

   875

   876

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

   877

   878

var = element var { mixed { warning* } }

   879

   880

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

   881

   882

number =

   883

    element number {

   884

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

   885

        ( number.attributes, number.content)

   886

    }

   887

   888

number.attributes =

   889

    number.value.attribute?

   890

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

   891

   892

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

   893

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

   894

   895

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

   896

   897

acronym = element acronym { acronym.content }

   898

   899

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

   900

   901

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

   902

   903

highlight = element highlight { highlight.content }

   904

   905

highlight.content = inlines

   906

   907

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

   908

   909

emphasis = element emphasis { emphasis.content }

   910

   911

emphasis.content = inlines

   912

   913

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

   914

   915

mentioned = element mentioned { mentioned.content }

   916

   917

mentioned.content = inlines

   918

   919

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

   920

   921

literal = element literal { literal.content }

   922

   923

literal.content = inlines

   924

   925

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

   926

   927

term = element term { term.content }

   928

   929

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

   930

   931

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ example ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   932

   933

example = element example { example.content }

   934

   935

example.content = inlines

   936

   937

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

   938

   939

stage = element stage { stage.content }

   940

   941

stage.content = inlines

   942

   943

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

   944

   945

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

   946

   947

name.attributes =

   948

    name.of.attribute?

   949

name.of.attribute =

   950

    attribute of {

   951

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

   952

        | "painting" }

   953

   954

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

   955

   956

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

   957

   958

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

   959

   960

foreign.attributes =

   961

    lang.attribute?

   962

   963

foreign.content = inlines

   964

   965

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

   966

   967

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

   968

   969

date.attributes =

   970

    date.value.attribute

   971

    & date.of.attribute?

   972

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

   973

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

   974

   975

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

   976

   977

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

   978

   979

# ~~~~~~ math

   980

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

   981

   982

math.attributes =

   983

    xmlid.attribute?

   984

    & math.display.attribute?

   985

    & math.type.attribute?

   986

math.display.attribute =

   987

    attribute display { "wide" | "numbered" | "box"  | "numbered-box" }

   988

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

   989

   990

math.content =

   991

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

   992

    | (preambule?, latex)

   993