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

        ( (list.type.attribute?, item, item+) |

   458

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

   459

   460

list.type.attribute = attribute type { "ordered" | "alpha" | "Alpha" }

   461

   462

# ~~~~~~ item

   463

item = element item { item.content }

   464

   465

item.content =

   466

    inlines

   467

    | block+

   468

   469

# ~~~~~~ item.glossary

   470

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

   471

   472

item.glossary.content =

   473

    label,

   474

    block+

   475

   476

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

   477

   478

# ~~~~~~ blockquote

   479

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

   480

   481

blockquote.attributes =

   482

    blockquote.type.attribute?

   483

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

   484

   485

blockquote.content =

   486

    block.head?,

   487

    (p | speech | \list)+,

   488

    attribution?

   489

   490

# ~~~~~~ attribution

   491

attribution = element attribution { attribution.content }

   492

   493

attribution.content =

   494

    mixed {

   495

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

   496

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

   497

   498

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

   499

   500

# ~~~~~~ speech

   501

speech = element speech { speech.content }

   502

   503

speech.content =

   504

    speaker?,

   505

    stage?,

   506

    (p | blockquote)+

   507

   508

# ~~~~~~ speaker

   509

speaker = element speaker { speaker.content }

   510

   511

speaker.content = inlines

   512

   513

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

   514

   515

# ~~~~~~ table

   516

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

   517

   518

table.attributes =

   519

    table.type.attribute?

   520

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

   521

   522

table.content =

   523

    block.head?,

   524

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

   525

    table.caption?

   526

   527

# ~~~~~~ thead, tbody

   528

thead = element thead { thead.content }

   529

tbody = element tbody { tbody.content }

   530

   531

thead.content =

   532

    tr+

   533

tbody.content =

   534

    tr+

   535

   536

# ~~~~~~ tr

   537

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

   538

   539

tr.attributes =

   540

    align.attribute?

   541

    & valign.attribute?

   542

    & cell.type.attribute?

   543

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

   544

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

   545

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

   546

   547

tr.content =

   548

    (td | th)+

   549

   550

# ~~~~~~ td, th

   551

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

   552

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

   553

   554

td.attributes =

   555

    align.attribute?

   556

    & valign.attribute?

   557

    & colspan.attribute?

   558

    & rowspan.attribute?

   559

    & cell.type.attribute?

   560

colspan.attribute = attribute colspan { xsd:positiveInteger }

   561

rowspan.attribute = attribute rowspan { xsd:positiveInteger }

   562

   563

td.content =

   564

    inlines

   565

    | (p | media)+

   566

   567

# ~~~~~~ table.caption

   568

table.caption = element caption { caption.content }

   569

   570

caption.content =

   571

    inlines

   572

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

   573

   574

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

   575

   576

# ~~~~~~ table.cals

   577

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

   578

   579

table.cals.content =

   580

    block.head?,

   581

    tgroup+,

   582

    table.caption?

   583

   584

# ~~~~~~ tgroup

   585

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

   586

   587

tgroup.attributes =

   588

    cols.attribute

   589

cols.attribute = attribute cols { xsd:positiveInteger }

   590

   591

tgroup.content =

   592

    thead.cals?,

   593

    tbody.cals

   594

   595

# ~~~~~~ thead, tbody

   596

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

   597

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

   598

   599

thead.cals.content =

   600

    row+

   601

tbody.cals.content =

   602

    row+

   603

   604

# ~~~~~~ row

   605

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

   606

   607

row.attributes =

   608

    valign.attribute?

   609

   610

row.content =

   611

    table.cals.entry+

   612

   613

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

   614

table.cals.entry =

   615

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

   616

   617

table.cals.entry.attributes =

   618

    align.attribute?

   619

    & valign.attribute?

   620

   621

table.cals.entry.content =

   622

    inlines

   623

    | (p | media)+

   624

   625

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

   626

   627

# ~~~~~~ media

   628

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

   629

   630

media.attributes =

   631

    xmlid.attribute?

   632

    & media.type.attribute?

   633

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

   634

   635

media.content =

   636

    block.head?,

   637

    (media.image | audio | video)+,

   638

    media.caption?,

   639

    link?

   640

   641

# ~~~~~~ image

   642

image = element image { image.attributes }

   643

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

   644

   645

image.attributes =

   646

    media.id.attribute

   647

    & image.type.attribute?

   648

    & image.zoom.attribute?

   649

    & alt.attribute?

   650

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

   651

image.type.attribute =

   652

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

   653

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

   654

alt.attribute = attribute alt { text }

   655

   656

media.image.content =

   657

    copyright?,

   658

    hotspot*

   659

   660

# ~~~~~~ audio

   661

audio = element audio { audio.attributes }

   662

   663

audio.attributes =

   664

    media.id.attribute

   665

    & audio.type?

   666

audio.type =

   667

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

   668

   669

# ~~~~~~ video

   670

video = element video { video.attributes }

   671

   672

video.attributes =

   673

    media.id.attribute

   674

   675

# ~~~~~~ media.caption

   676

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

   677

   678

caption.attributes =

   679

    x.attribute?

   680

    & y.attribute?

   681

   682

# ~~~~~~ hotspot

   683

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

   684

   685

hotspot.attributes =

   686

    x.attribute

   687

    & y.attribute

   688

    & w.attribute

   689

    & h.attribute?

   690

    & hotspot.display.attribute?

   691

    & hotspot.type.attribute?

   692

    & xmlid.attribute?

   693

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

   694

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

   695

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

   696

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

   697

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

   698

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

   699

   700

hotspot.content =

   701

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

   702

    | (spot, scenario?)

   703

    | empty

   704

   705

# ~~~~~~ spot

   706

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

   707

   708

spot.attributes =

   709

    dx.attribute?

   710

    & dy.attribute?

   711

    & dw.attribute?

   712

    & dh.attribute?

   713

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

   714

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

   715

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

   716

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

   717

   718

spot.content =

   719

    ((p+ | image), audio?)

   720

    | audio

   721

    | video

   722

   723

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

   724

   725

# ~~~~~~ scenario

   726

scenario = element scenario { scenario.content }

   727

   728

scenario.content =

   729

    init*,

   730

    onclick*

   731

   732

# ~~~~~~ init

   733

init = element init { init.attributes }

   734

   735

init.attributes =

   736

    init.action.attribute

   737

    & target.attribute?

   738

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

   739

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

   740

   741

# ~~~~~~ onclick

   742

onclick = element onclick { onclick.attributes }

   743

   744

onclick.attributes =

   745

    onclick.action.attribute

   746

    & target.attribute?

   747

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

   748

   749

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

   750

   751

# ~~~~~~ bibliography.entry

   752

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

   753

   754

bibliography.entry.content =

   755

    identifier.ean?

   756

    & title

   757

    & subtitle?

   758

    & copyright?

   759

    & collection?

   760

    & contributors?

   761

    & date?

   762

    & place?

   763

    & folio?

   764

    & pages?

   765

   766

# ~~~~~~ folio

   767

folio = element folio { folio.content }

   768

   769

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

   770

   771

# ~~~~~~ pages

   772

pages = element pages { pages.content }

   773

   774

pages.content = xsd:positiveInteger

   775

   776

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

   777

   778

# ~~~~~~ meanings

   779

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

   780

   781

meanings.attributes =

   782

    gramcode.attribute?

   783

gramcode.attribute = attribute gramcode { xsd:NMTOKEN }

   784

   785

meanings.content =

   786

    meaning+

   787

   788

# ~~~~~~ meaning

   789

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

   790

   791

meaning.attributes =

   792

    meaning.domain.attribute?

   793

    & langlevel.attribute?

   794

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

   795

langlevel.attribute = attribute langlevel { xsd:NMTOKEN }

   796

   797

meaning.content =

   798

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

   799

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

   800

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

   801

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

   802

    dictum*

   803

   804

# ~~~~~~ definition

   805

definition = element definition { inlines }

   806

   807

# ~~~~~~ synonym, antonym

   808

synonym = element synonym { simple.inlines }

   809

antonym = element antonym { simple.inlines }

   810

   811

# ~~~~~~ translation

   812

translation = element translation { simple.inlines }

   813

   814

# ~~~~~~ dictum

   815

dictum = element dictum { dictum.content }

   816

dictum.content =  p+

   817

   818

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

   819

   820

seealso = element seealso { seealso.attributes }

   821

   822

seealso.attributes =

   823

    gloss.ref.attribute

   824

   825

   826

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

   827

#                                 INLINE LEVEL

   828

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

   829

   830

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

   831

   832

simple.inlines =

   833

    mixed {

   834

        sup* & sub*

   835

        & var*

   836

        & number*

   837

        & acronym*

   838

        & warning*

   839

    }

   840

   841

inlines =

   842

    mixed {

   843

        sup* & sub*

   844

        & var*

   845

        & number*

   846

        & acronym*

   847

        & warning*

   848

   849

        & highlight*

   850

        & emphasis*

   851

        & mentioned*

   852

        & literal*

   853

        & term*

   854

        & example*

   855

        & stage*

   856

        & name*

   857

        & foreign*

   858

        & date*

   859

        & math*

   860

        & quote*

   861

        & initial*

   862

        & note*

   863

        & link*

   864

        & anchor*

   865

        & index*

   866

        & gloss*

   867

        & image*

   868

        & audio*

   869

        & smil*

   870

   871

        & nowrap*

   872

    }

   873

   874

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

   875

   876

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

   877

   878

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

   879

   880

var = element var { mixed { warning* } }

   881

   882

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

   883

   884

number =

   885

    element number {

   886

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

   887

        ( number.attributes, number.content)

   888

    }

   889

   890

number.attributes =

   891

    number.value.attribute?

   892

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

   893

   894

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

   895

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

   896

   897

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

   898

   899

acronym = element acronym { acronym.content }

   900

   901

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

   902

   903

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

   904

   905

highlight = element highlight { highlight.content }

   906

   907

highlight.content = inlines

   908

   909

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

   910

   911

emphasis = element emphasis { emphasis.content }

   912

   913

emphasis.content = inlines

   914

   915

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

   916

   917

mentioned = element mentioned { mentioned.content }

   918

   919

mentioned.content = inlines

   920

   921

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

   922

   923

literal = element literal { literal.content }

   924

   925

literal.content = inlines

   926

   927

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

   928

   929

term = element term { term.content }

   930

   931

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

   932

   933

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

   934

   935

example = element example { example.content }

   936

   937

example.content = inlines

   938

   939

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

   940

   941

stage = element stage { stage.content }

   942

   943

stage.content = inlines

   944

   945

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

   946

   947

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

   948

   949

name.attributes =

   950

    name.of.attribute?

   951

name.of.attribute =

   952

    attribute of {

   953

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

   954

        | "painting" }

   955

   956

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

   957

   958

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

   959

   960

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

   961

   962

foreign.attributes =

   963

    lang.attribute?

   964

   965

foreign.content = inlines

   966

   967

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

   968

   969

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

   970

   971

date.attributes =

   972

    date.value.attribute

   973

    & date.of.attribute?

   974

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

   975

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

   976

   977

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

   978

   979

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

   980

   981

# ~~~~~~ math

   982

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

   983

   984

math.attributes =

   985

    xmlid.attribute?

   986

    & math.display.attribute?

   987

    & math.type.attribute?

   988

math.display.attribute =

   989

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

   990

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

   991

   992

math.content =

   993

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

   994

    | (preambule?, latex)