24 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
24 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
25 |
25 |
26 top.head = element head { top.head.content } |
26 top.head = element head { top.head.content } |
27 |
27 |
28 top.head.content = |
28 top.head.content = |
29 (title, shorttitle?, subtitle?)? |
29 (title, shorttitle?, subtitle*)? |
30 & (identifier, identifier?)? |
30 & (identifier, identifier?)? |
31 & copyright* |
31 & copyright* |
32 & collection? |
32 & collection? |
33 & contributors? |
33 & contributors? |
34 & date? |
34 & date? |
84 # ~~~~~~ division |
84 # ~~~~~~ division |
85 division = element division { division.content } |
85 division = element division { division.content } |
86 |
86 |
87 division.content = |
87 division.content = |
88 division.head?, |
88 division.head?, |
|
89 front?, |
89 (division | topic)+ |
90 (division | topic)+ |
90 |
91 |
91 # ~~~~~~ division.head |
92 # ~~~~~~ division.head |
92 division.head = element head { division.head.content } |
93 division.head = element head { division.head.content } |
93 |
94 |
94 division.head.content = |
95 division.head.content = |
95 (title, shorttitle?, subtitle?)? |
96 (title, shorttitle?, subtitle*)? |
96 & abstract? |
97 & abstract? |
97 & annotation* |
98 & annotation* |
98 |
99 |
|
100 # ~~~~~~ front |
|
101 front = element front { front.content } |
|
102 |
|
103 front.content = |
|
104 section+ |
|
105 |
99 |
106 |
100 # ============================================================================= |
107 # ============================================================================= |
101 # COMPONENT LEVEL |
108 # COMPONENT LEVEL |
102 # ============================================================================= |
109 # ============================================================================= |
103 |
110 |
104 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ component.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
111 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ component.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
105 |
112 |
106 component.head = element head { component.head.content } |
113 component.head = element head { component.head.content } |
107 |
114 |
108 component.head.content = |
115 component.head.content = |
109 (title, shorttitle?, subtitle?)? |
116 (title, shorttitle?, subtitle*)? |
110 & contributors? |
117 & contributors? |
111 & date? |
118 & date? |
112 & place? |
119 & place? |
113 & keywordset? |
120 & keywordset? |
114 & subjectset? |
121 & subjectset? |
197 |
204 |
198 # ~~~~~~ block.head |
205 # ~~~~~~ block.head |
199 block.head = element head { block.head.content } |
206 block.head = element head { block.head.content } |
200 |
207 |
201 block.head.content = |
208 block.head.content = |
202 (title, shorttitle?, subtitle?)? |
209 (title, shorttitle?, subtitle*)? |
203 |
210 |
204 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
211 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
205 |
212 |
206 p = element p { p.content } |
213 p = element p { p.content } |
207 |
214 |