equal
deleted
inserted
replaced
306 |
306 |
307 name = element name { name.attributes, name.content } |
307 name = element name { name.attributes, name.content } |
308 |
308 |
309 name.attributes = |
309 name.attributes = |
310 name.of.attribute? |
310 name.of.attribute? |
311 name.of.attribute = attribute of |
311 name.of.attribute = attribute of { |
312 { "person" | "company" | "book" | "newspaper" | "party" | "painting" } |
312 "person" | "company" | "book" | "newspaper" | "party" | "painting" |
313 |
313 | "movie" } |
314 name.content = inlines |
314 |
|
315 name.content = mixed { sup* } |
315 |
316 |
316 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ highlight ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
317 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ highlight ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
317 |
318 |
318 highlight = element highlight { highlight.content } |
319 highlight = element highlight { highlight.content } |
319 |
320 |
325 |
326 |
326 link.attributes = |
327 link.attributes = |
327 uri.attribute |
328 uri.attribute |
328 uri.attribute = attribute uri { xsd:anyURI } |
329 uri.attribute = attribute uri { xsd:anyURI } |
329 |
330 |
330 link.content = inlines |
331 link.content = mixed { sup* & sub* & date* & name* & highlight* } |
331 |
332 |
332 |
333 |
333 # ============================================================================= |
334 # ============================================================================= |
334 # REMAP ATTRIBUTES |
335 # REMAP ATTRIBUTES |
335 # ============================================================================= |
336 # ============================================================================= |