equal
deleted
inserted
replaced
701 date.value.attribute |
701 date.value.attribute |
702 & date.of.attribute? |
702 & date.of.attribute? |
703 date.value.attribute = attribute value { xsd:date | xsd:gYearMonth | xsd:gYear } |
703 date.value.attribute = attribute value { xsd:date | xsd:gYearMonth | xsd:gYear } |
704 date.of.attribute = attribute of { "birth" | "death" } |
704 date.of.attribute = attribute of { "birth" | "death" } |
705 |
705 |
706 date.content = mixed { sup* & warning* } |
706 date.content = mixed { sup* & number* & warning* } |
707 |
707 |
708 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ name ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
708 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ name ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
709 |
709 |
710 name = element name { name.attributes, name.content } |
710 name = element name { name.attributes, name.content } |
711 |
711 |
712 name.attributes = |
712 name.attributes = |
713 name.of.attribute? |
713 name.of.attribute? |
714 name.of.attribute = attribute of |
714 name.of.attribute = attribute of { |
715 { "person" | "company" | "book" | "newspaper" | "party" | "painting" } |
715 "person" | "company" | "book" | "newspaper" | "party" | "movie" |
|
716 | "painting" } |
716 |
717 |
717 name.content = mixed { sup* & number* & acronym* & warning* } |
718 name.content = mixed { sup* & number* & acronym* & warning* } |
718 |
719 |
719 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
720 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
720 |
721 |