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, subtitle?)?

    30

 & identifier*

    31

 & copyright?

    32

 & contributors?

    33

 & date?

    34

 & place?

    35

 & source*

    36

 & keywordset?

    37

 & subjectset?

    38

 & abstract?

    39

 & cover?

    40

 & annotation*

    41

    42

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

    43

    44

# ~~~~~~ document

    45

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

    46

    47

document.attributes =

    48

   document.id.attribute

    49

 & lang.attribute?

    50

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

    51

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

    52

    53

document.content =

    54

   top.head?,

    55

   (division | topic)+

    56

    57

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

    58

    59

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

    60

    61

top.topic.attributes =

    62

   topic.id.attribute

    63

 & topic.type.attribute?

    64

 & lang.attribute?

    65

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

    66

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

    67

    68

top.topic.content =

    69

   top.head?,

    70

   section+

    71

    72

    73

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

    74

#                                 DIVISION LEVEL

    75

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

    76

    77

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

    78

    79

# ~~~~~~ division

    80

division = element division { division.content }

    81

    82

division.content =

    83

   division.head?,

    84

   (division | topic)+

    85

    86

# ~~~~~~ division.head

    87

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

    88

    89

division.head.content =

    90

   (title, subtitle?)?

    91

 & abstract?

    92

 & annotation*

    93

    94

    95

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

    96

#                                COMPONENT LEVEL

    97

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

    98

    99

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

   100

   101

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

   102

   103

component.head.content =

   104

   (title, subtitle?)?

   105

 & contributors?

   106

 & abstract?

   107

 & annotation*

   108

   109

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

   110

   111

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

   112

   113

topic.attributes =

   114

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

   115

 & topic.type.attribute?

   116

 & lang.attribute?

   117

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

   118

   119

topic.content =

   120

   component.head?,

   121

   section+

   122

   123

   124

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

   125

#                                 SECTION LEVEL

   126

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

   127

   128

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

   129

   130

# ~~~~~~ section

   131

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

   132

   133

section.attributes =

   134

   section.type.attribute?

   135

 & lang.attribute?

   136

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

   137

   138

section.content =

   139

   section.head?,

   140

   (section+ | block+)

   141

   142

# ~~~~~~ section.head

   143

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

   144

   145

section.head.content =

   146

   (title, subtitle?)?

   147

 & abstract?

   148

 & audio*

   149

 & annotation*

   150

   151

   152

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

   153

#                                 BLOCK LEVEL

   154

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

   155

   156

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

   157

   158

# ~~~~~~ block

   159

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

   160

   161

# ~~~~~~ block.head

   162

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

   163

   164

block.head.content =

   165

   (title, subtitle?)?

   166

   167

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

   168

   169

p = element p { p.content }

   170

   171

p.content =

   172

   inlines

   173

   174

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

   175

   176

# ~~~~~~ speech

   177

speech = element speech { speech.content }

   178

   179

speech.content =

   180

   speaker?,

   181

   stage?,

   182

   p+

   183

   184

# ~~~~~~ speaker

   185

speaker = element speaker { speaker.content }

   186

   187

speaker.content = inlines

   188

   189

# ~~~~~~ stage

   190

stage = element stage { stage.content }

   191

   192

stage.content = inlines

   193

   194

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

   195

   196

# ~~~~~~ list

   197

\list = element list {

   198

   block.head?,

   199

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

   200

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

   201

}

   202

   203

# ~~~~~~ item

   204

item = element item { item.content }

   205

   206

item.content =

   207

   inlines

   208

 | block+

   209

   210

# ~~~~~~ glossary.item

   211

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

   212

   213

glossary.item.content =

   214

   label,

   215

   block+

   216

   217

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

   218

   219

# ~~~~~~ blockquote

   220

blockquote = element blockquote { blockquote.content }

   221

   222

blockquote.content =

   223

   block.head?,

   224

   (p | speech | \list)+,

   225

   attribution?

   226

   227

# ~~~~~~ attribution

   228

attribution = element attribution { attribution.content }

   229

   230

attribution.content =

   231

   inlines

   232

   233

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

   234

   235

# ~~~~~~ table

   236

table = element table { table.content }

   237

   238

table.content =

   239

   block.head?,

   240

   tgroup+,

   241

   table.caption?

   242

   243

# ~~~~~~ tgroup

   244

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

   245

   246

tgroup.content =

   247

   thead?,

   248

   tfoot?,

   249

   tbody

   250

   251

tgroup.attributes =

   252

   cols.attribute

   253

 & align.attribute?

   254

 & colsep.attribute?

   255

 & rowsep.attribute?

   256

cols.attribute = attribute cols { xsd:positiveInteger }

   257

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

   258

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

   259

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

   260

   261

# ~~~~~~ thead, tfoot, tbody

   262

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

   263

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

   264

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

   265

   266

thead.attributes =

   267

   valign.attribute?

   268

tfoot.attributes =

   269

   valign.attribute?

   270

tbody.attributes =

   271

   valign.attribute?

   272

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

   273

   274

thead.content =

   275

   row+

   276

tfoot.content =

   277

   row+

   278

tbody.content =

   279

   row+

   280

   281

# ~~~~~~ row

   282

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

   283

   284

row.attribute =

   285

   valign.attribute?

   286

   287

row.content =

   288

  entry+

   289

   290

# ~~~~~~ entry

   291

entry = element entry { entry.content }

   292

   293

entry.content =

   294

   inlines

   295

 | (p | media)+

   296

   297

# ~~~~~~ table.caption

   298

table.caption = element caption { caption.content }

   299

   300

caption.content =

   301

   inlines

   302

 | p+

   303

   304

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

   305

   306

# ~~~~~~ media

   307

media = element media { media.content }

   308

   309

media.content =

   310

   block.head?,

   311

   (image | audio | video)+,

   312

   media.caption?,

   313

   link?

   314

   315

# ~~~~~~ image

   316

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

   317

   318

image.attributes =

   319

   media.id.attribute

   320

 & image.type?

   321

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

   322

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

   323

   324

image.content =

   325

   copyright?,

   326

   hotspot*,

   327

   tooltip*

   328

   329

# ~~~~~~ audio

   330

audio = element audio { audio.attributes }

   331

   332

audio.attributes =

   333

   media.id.attribute

   334

 & audio.type?

   335

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

   336

   337

# ~~~~~~ video

   338

video = element video { video.attributes }

   339

   340

video.attributes =

   341

   media.id.attribute

   342

   343

# ~~~~~~ hotspot

   344

   345

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

   346

   347

hotspot.attributes =

   348

   x.attribute

   349

 & y.attribute

   350

 & (width.attribute & height.attribute)?

   351

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

   352

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

   353

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

   354

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

   355

   356

hotspot.content =

   357

   (link | audio | video)

   358

   359

# ~~~~~~ tooltip

   360

   361

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

   362

   363

tooltip.attributes =

   364

   x.attribute

   365

 & y.attribute

   366

 & dx.attribute?

   367

 & dy.attribute?

   368

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

   369

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

   370

   371

tooltip.content =

   372

   (p+ | image)

   373

   374

# ~~~~~~ media.caption

   375

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

   376

   377

caption.attributes =

   378

   x.attribute?

   379

 & y.attribute?

   380

   381

   382

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

   383

#                                 HEAD LEVEL

   384

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

   385

   386

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

   387

   388

title = element title { title.content }

   389

subtitle = element subtitle { title.content }

   390

   391

title.content = inlines

   392

   393

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

   394

   395

identifier.uri = element identifier {

   396

   attribute type { "uri" }, xsd:anyURI

   397

}

   398

   399

identifier.ean = element identifier {

   400

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

   401

}

   402

   403

identifier = identifier.uri | identifier.ean

   404

   405

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

   406

   407

copyright = element copyright { copyright.content }

   408

   409

copyright.content = inlines

   410

   411

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

   412

   413

# ~~~~~~ contributors

   414

contributors = element contributors { contributors.content }

   415

   416

contributors.content =

   417

   contributor+

   418

   419

# ~~~~~~ contributor

   420

contributor = element contributor { contributor.content }

   421

   422

contributor.content =

   423

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

   424

   address?,

   425

   link?,

   426

   role+

   427

   428

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

   429

firstname = element firstname { firstname.content }

   430

secondname = element secondname { secondname.content }

   431

lastname = element lastname { lastname.content }

   432

label = element label { label.content }

   433

   434

firstname.content = inlines

   435

secondname.content = inlines

   436

lastname.content = inlines

   437

label.content = inlines

   438

   439

# ~~~~~~ address

   440

address = element address { address.content }

   441

   442

address.content = inlines

   443

   444

# ~~~~~~ role

   445

role = element role { role.content }

   446

   447

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

   448

   449

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

   450

   451

place = element place { place.content }

   452

   453

place.content = inlines

   454

   455

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

   456

   457

# ~~~~~~ source

   458

source = element source {

   459

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

   460

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

   461

   source.content

   462

}

   463

   464

source.content.book =

   465

   identifier.ean,

   466

   title?,

   467

   pagenumber*

   468

source.content.file =

   469

   identifier.uri

   470

source.content =

   471

   annotation*

   472

   473

# ~~~~~~ pagenumber

   474

pagenumber = element pagenumber { pagenumber.content }

   475

   476

pagenumber.content = xsd:positiveInteger

   477

   478

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

   479

   480

# ~~~~~~ keywordset

   481

keywordset = element keywordset { keywordset.content }

   482

   483

keywordset.content = keyword+

   484

   485

# ~~~~~~ keyword

   486

keyword = element keyword { keyword.content }

   487

   488

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

   489

   490

# ~~~~~~ subjectset

   491

subjectset = element subjectset { subjectset.content }

   492

   493

subjectset.content = subject+

   494

   495

# ~~~~~~ subject

   496

subject = element subject { subject.attributes }

   497

   498

subject.attributes =

   499

   subject.id.attribute

   500

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

   501

   502

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

   503

   504

abstract = element abstract { abstract.content }

   505

   506

abstract.content =

   507

   p+

   508

   509

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

   510

   511

cover = element cover { cover.content }

   512

   513

cover.content =

   514

   cover.image

   515

   516

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

   517

   518

cover.image.attributes =

   519

   cover.image.id.attribute

   520

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

   521

   522

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

   523

   524

annotation = element annotation { annotation.content }

   525

   526

annotation.content = inlines

   527

   528

   529

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

   530

#                                 INLINE LEVEL

   531

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

   532

   533

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

   534

   535

inlines = mixed {

   536

   sup*

   537

 & sub*

   538

 & var*

   539

 & number*

   540

 & math*

   541

 & date*

   542

 & name*

   543

 & note*

   544

 & foreign*

   545

 & highlight*

   546

 & mentioned*

   547

 & quote*

   548

 & acronym*

   549

 & term*

   550

 & link*

   551

 & anchor*

   552

 & initial*

   553

 & image*

   554

 & smil*

   555

}

   556

   557

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

   558

   559

sup = element sup { text }

   560

   561

sub = element sub { text }

   562

   563

var = element var { text }

   564

   565

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

   566

   567

number = element number {

   568

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

   569

 | ( number.attributes, number.content)

   570

}

   571

   572

number.attributes =

   573

   number.value.attribute?

   574

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

   575

   576

number.content = mixed { sup* }

   577

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

   578

   579

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

   580

   581

math = element math {

   582

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

   583

 | ( math.attributes, math.content)

   584

}

   585

   586

math.attributes =

   587

   wide.attribute?

   588

wide.attribute = attribute wide { xsd:boolean }

   589

   590

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

   591

math.tex.content = text

   592

   593

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

   594

   595

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

   596

   597

date.attributes =

   598

   date.value.attribute

   599

 & date.of.attribute?

   600

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

   601

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

   602

   603

date.content = mixed { sup* }

   604

   605

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

   606

   607

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

   608

   609

name.attributes =

   610

   name.of.attribute?

   611

name.of.attribute = attribute of

   612

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

   613

   614

name.content = inlines

   615

   616

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

   617

   618

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

   619

   620

note.attributes =

   621

   note.label.attribute?

   622

note.label.attribute = attribute label { text }

   623

   624

note.content =

   625

   (w, p+) | inlines

   626

   627

w = element w { inlines }

   628

   629

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

   630

   631

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

   632

   633

foreign.attributes =

   634

   lang.attribute?

   635

   636

foreign.content = inlines

   637

   638

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

   639

   640

highlight = element highlight { highlight.content }

   641

   642

highlight.content = inlines

   643

   644

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

   645

   646

mentioned = element mentioned { mentioned.content }

   647

   648

mentioned.content = inlines

   649

   650

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

   651

   652

quote = element quote { quote.content }

   653

   654

quote.content = inlines

   655

   656

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

   657

   658

acronym = element acronym { acronym.content }

   659

   660

acronym.content = inlines

   661

   662

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

   663

   664

term = element term { term.content }

   665

   666

term.content = inlines

   667

   668

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

   669

   670

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

   671

   672

link.attributes =

   673

   (uri.attribute | idref.attribute)

   674

uri.attribute = attribute uri { xsd:anyURI }

   675

idref.attribute = attribute idref { xsd:IDREF }

   676

   677

link.content = inlines

   678

   679

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

   680

   681

anchor = element anchor { anchor.attributes }

   682

   683

anchor.attributes =

   684

   anchor.id.attribute

   685

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

   686

   687

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

   688

   689

initial = element initial { initial.content }

   690

   691

initial.content =

   692

   c,

   693

   w?

   694

   695

c = element c { text }

   696

   697

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

   698

   699

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

   700

   701

smil.attributes =

   702

   begin.attribute?

   703

 & end.attribute?

   704

begin.attribute = attribute begin { xsd:decimal }

   705

end.attribute = attribute end { xsd:decimal }

   706

   707

smil.content = inlines