equal
deleted
inserted
replaced
204 keywordset.content = keyword+ |
204 keywordset.content = keyword+ |
205 |
205 |
206 # ~~~~~~ keyword |
206 # ~~~~~~ keyword |
207 keyword = element keyword { keyword.content } |
207 keyword = element keyword { keyword.content } |
208 |
208 |
209 keyword.content = text |
209 keyword.content = mixed { sup*, sub* } |
210 |
210 |
211 # ~~~~~~ subjectset |
211 # ~~~~~~ subjectset |
212 subjectset = element subjectset { subjectset.content } |
212 subjectset = element subjectset { subjectset.content } |
213 |
213 |
214 subjectset.content = subject+ |
214 subjectset.content = subject+ |