metanorma-cc 2.8.8 → 2.8.9
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/.rubocop.yml +13 -1
- data/lib/isodoc/cc/cc.standard.xsl +46 -15
- data/lib/metanorma/cc/basicdoc.rng +31 -6
- data/lib/metanorma/cc/isodoc.rng +22 -3
- data/lib/metanorma/cc/mathml3-common.rng +257 -0
- data/lib/metanorma/cc/mathml3-content.rng +1544 -0
- data/lib/metanorma/cc/mathml3-presentation.rng +2324 -0
- data/lib/metanorma/cc/mathml3-strict-content.rng +205 -0
- data/lib/metanorma/cc/mathml3.rng +23 -0
- data/lib/metanorma/cc/metanorma-mathml.rng +45 -0
- data/lib/metanorma/cc/reqt.rng +10 -2
- data/lib/metanorma/cc/version.rb +1 -1
- data/metanorma-cc.gemspec +1 -1
- metadata +10 -7
|
@@ -0,0 +1,1544 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="UTF-8"?>
|
|
2
|
+
<grammar xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes">
|
|
3
|
+
<!--
|
|
4
|
+
This is the Mathematical Markup Language (MathML) 3.0, an XML
|
|
5
|
+
application for describing mathematical notation and capturing
|
|
6
|
+
both its structure and content.
|
|
7
|
+
|
|
8
|
+
Copyright 1998-2014 W3C (MIT, ERCIM, Keio, Beihang)
|
|
9
|
+
|
|
10
|
+
Use and distribution of this code are permitted under the terms
|
|
11
|
+
W3C Software Notice and License
|
|
12
|
+
http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231
|
|
13
|
+
-->
|
|
14
|
+
<include href="mathml3-strict-content.rng">
|
|
15
|
+
<define name="cn.content">
|
|
16
|
+
<zeroOrMore>
|
|
17
|
+
<choice>
|
|
18
|
+
<text/>
|
|
19
|
+
<ref name="mglyph"/>
|
|
20
|
+
<ref name="sep"/>
|
|
21
|
+
<ref name="PresentationExpression"/>
|
|
22
|
+
</choice>
|
|
23
|
+
</zeroOrMore>
|
|
24
|
+
</define>
|
|
25
|
+
<define name="cn.attributes">
|
|
26
|
+
<ref name="CommonAtt"/>
|
|
27
|
+
<ref name="DefEncAtt"/>
|
|
28
|
+
<optional>
|
|
29
|
+
<attribute name="type"/>
|
|
30
|
+
</optional>
|
|
31
|
+
<optional>
|
|
32
|
+
<ref name="base"/>
|
|
33
|
+
</optional>
|
|
34
|
+
</define>
|
|
35
|
+
<define name="ci.attributes">
|
|
36
|
+
<ref name="CommonAtt"/>
|
|
37
|
+
<ref name="DefEncAtt"/>
|
|
38
|
+
<optional>
|
|
39
|
+
<ref name="ci.type"/>
|
|
40
|
+
</optional>
|
|
41
|
+
</define>
|
|
42
|
+
<define name="ci.type">
|
|
43
|
+
<attribute name="type"/>
|
|
44
|
+
</define>
|
|
45
|
+
<define name="ci.content">
|
|
46
|
+
<zeroOrMore>
|
|
47
|
+
<choice>
|
|
48
|
+
<text/>
|
|
49
|
+
<ref name="mglyph"/>
|
|
50
|
+
<ref name="PresentationExpression"/>
|
|
51
|
+
</choice>
|
|
52
|
+
</zeroOrMore>
|
|
53
|
+
</define>
|
|
54
|
+
<define name="csymbol.attributes">
|
|
55
|
+
<ref name="CommonAtt"/>
|
|
56
|
+
<ref name="DefEncAtt"/>
|
|
57
|
+
<optional>
|
|
58
|
+
<attribute name="type"/>
|
|
59
|
+
</optional>
|
|
60
|
+
<optional>
|
|
61
|
+
<ref name="cd"/>
|
|
62
|
+
</optional>
|
|
63
|
+
</define>
|
|
64
|
+
<define name="csymbol.content">
|
|
65
|
+
<zeroOrMore>
|
|
66
|
+
<choice>
|
|
67
|
+
<text/>
|
|
68
|
+
<ref name="mglyph"/>
|
|
69
|
+
<ref name="PresentationExpression"/>
|
|
70
|
+
</choice>
|
|
71
|
+
</zeroOrMore>
|
|
72
|
+
</define>
|
|
73
|
+
<define name="bvar">
|
|
74
|
+
<element name="bvar">
|
|
75
|
+
<ref name="CommonAtt"/>
|
|
76
|
+
<interleave>
|
|
77
|
+
<choice>
|
|
78
|
+
<ref name="ci"/>
|
|
79
|
+
<ref name="semantics-ci"/>
|
|
80
|
+
</choice>
|
|
81
|
+
<optional>
|
|
82
|
+
<ref name="degree"/>
|
|
83
|
+
</optional>
|
|
84
|
+
</interleave>
|
|
85
|
+
</element>
|
|
86
|
+
</define>
|
|
87
|
+
<define name="cbytes.attributes">
|
|
88
|
+
<ref name="CommonAtt"/>
|
|
89
|
+
<ref name="DefEncAtt"/>
|
|
90
|
+
</define>
|
|
91
|
+
<define name="cs.attributes">
|
|
92
|
+
<ref name="CommonAtt"/>
|
|
93
|
+
<ref name="DefEncAtt"/>
|
|
94
|
+
</define>
|
|
95
|
+
<define name="apply.content">
|
|
96
|
+
<choice>
|
|
97
|
+
<oneOrMore>
|
|
98
|
+
<ref name="ContExp"/>
|
|
99
|
+
</oneOrMore>
|
|
100
|
+
<group>
|
|
101
|
+
<ref name="ContExp"/>
|
|
102
|
+
<ref name="BvarQ"/>
|
|
103
|
+
<zeroOrMore>
|
|
104
|
+
<ref name="Qualifier"/>
|
|
105
|
+
</zeroOrMore>
|
|
106
|
+
<zeroOrMore>
|
|
107
|
+
<ref name="ContExp"/>
|
|
108
|
+
</zeroOrMore>
|
|
109
|
+
</group>
|
|
110
|
+
</choice>
|
|
111
|
+
</define>
|
|
112
|
+
<define name="bind.content">
|
|
113
|
+
<ref name="apply.content"/>
|
|
114
|
+
</define>
|
|
115
|
+
</include>
|
|
116
|
+
<define name="base">
|
|
117
|
+
<attribute name="base"/>
|
|
118
|
+
</define>
|
|
119
|
+
<define name="sep">
|
|
120
|
+
<element name="sep">
|
|
121
|
+
<empty/>
|
|
122
|
+
</element>
|
|
123
|
+
</define>
|
|
124
|
+
<define name="PresentationExpression" combine="choice">
|
|
125
|
+
<notAllowed/>
|
|
126
|
+
</define>
|
|
127
|
+
<define name="DomainQ">
|
|
128
|
+
<zeroOrMore>
|
|
129
|
+
<choice>
|
|
130
|
+
<ref name="domainofapplication"/>
|
|
131
|
+
<ref name="condition"/>
|
|
132
|
+
<ref name="interval"/>
|
|
133
|
+
<group>
|
|
134
|
+
<ref name="lowlimit"/>
|
|
135
|
+
<optional>
|
|
136
|
+
<ref name="uplimit"/>
|
|
137
|
+
</optional>
|
|
138
|
+
</group>
|
|
139
|
+
</choice>
|
|
140
|
+
</zeroOrMore>
|
|
141
|
+
</define>
|
|
142
|
+
<define name="domainofapplication">
|
|
143
|
+
<element name="domainofapplication">
|
|
144
|
+
<ref name="ContExp"/>
|
|
145
|
+
</element>
|
|
146
|
+
</define>
|
|
147
|
+
<define name="condition">
|
|
148
|
+
<element name="condition">
|
|
149
|
+
<ref name="ContExp"/>
|
|
150
|
+
</element>
|
|
151
|
+
</define>
|
|
152
|
+
<define name="uplimit">
|
|
153
|
+
<element name="uplimit">
|
|
154
|
+
<ref name="ContExp"/>
|
|
155
|
+
</element>
|
|
156
|
+
</define>
|
|
157
|
+
<define name="lowlimit">
|
|
158
|
+
<element name="lowlimit">
|
|
159
|
+
<ref name="ContExp"/>
|
|
160
|
+
</element>
|
|
161
|
+
</define>
|
|
162
|
+
<define name="Qualifier">
|
|
163
|
+
<choice>
|
|
164
|
+
<ref name="DomainQ"/>
|
|
165
|
+
<ref name="degree"/>
|
|
166
|
+
<ref name="momentabout"/>
|
|
167
|
+
<ref name="logbase"/>
|
|
168
|
+
</choice>
|
|
169
|
+
</define>
|
|
170
|
+
<define name="degree">
|
|
171
|
+
<element name="degree">
|
|
172
|
+
<ref name="ContExp"/>
|
|
173
|
+
</element>
|
|
174
|
+
</define>
|
|
175
|
+
<define name="momentabout">
|
|
176
|
+
<element name="momentabout">
|
|
177
|
+
<ref name="ContExp"/>
|
|
178
|
+
</element>
|
|
179
|
+
</define>
|
|
180
|
+
<define name="logbase">
|
|
181
|
+
<element name="logbase">
|
|
182
|
+
<ref name="ContExp"/>
|
|
183
|
+
</element>
|
|
184
|
+
</define>
|
|
185
|
+
<define name="type">
|
|
186
|
+
<attribute name="type"/>
|
|
187
|
+
</define>
|
|
188
|
+
<define name="order">
|
|
189
|
+
<attribute name="order">
|
|
190
|
+
<choice>
|
|
191
|
+
<value>numeric</value>
|
|
192
|
+
<value>lexicographic</value>
|
|
193
|
+
</choice>
|
|
194
|
+
</attribute>
|
|
195
|
+
</define>
|
|
196
|
+
<define name="closure">
|
|
197
|
+
<attribute name="closure"/>
|
|
198
|
+
</define>
|
|
199
|
+
<define name="ContExp" combine="choice">
|
|
200
|
+
<ref name="piecewise"/>
|
|
201
|
+
</define>
|
|
202
|
+
<define name="piecewise">
|
|
203
|
+
<element name="piecewise">
|
|
204
|
+
<ref name="CommonAtt"/>
|
|
205
|
+
<ref name="DefEncAtt"/>
|
|
206
|
+
<interleave>
|
|
207
|
+
<zeroOrMore>
|
|
208
|
+
<ref name="piece"/>
|
|
209
|
+
</zeroOrMore>
|
|
210
|
+
<optional>
|
|
211
|
+
<ref name="otherwise"/>
|
|
212
|
+
</optional>
|
|
213
|
+
</interleave>
|
|
214
|
+
</element>
|
|
215
|
+
</define>
|
|
216
|
+
<define name="piece">
|
|
217
|
+
<element name="piece">
|
|
218
|
+
<ref name="CommonAtt"/>
|
|
219
|
+
<ref name="DefEncAtt"/>
|
|
220
|
+
<ref name="ContExp"/>
|
|
221
|
+
<ref name="ContExp"/>
|
|
222
|
+
</element>
|
|
223
|
+
</define>
|
|
224
|
+
<define name="otherwise">
|
|
225
|
+
<element name="otherwise">
|
|
226
|
+
<ref name="CommonAtt"/>
|
|
227
|
+
<ref name="DefEncAtt"/>
|
|
228
|
+
<ref name="ContExp"/>
|
|
229
|
+
</element>
|
|
230
|
+
</define>
|
|
231
|
+
<define name="DeprecatedContExp">
|
|
232
|
+
<choice>
|
|
233
|
+
<ref name="reln"/>
|
|
234
|
+
<ref name="fn"/>
|
|
235
|
+
<ref name="declare"/>
|
|
236
|
+
</choice>
|
|
237
|
+
</define>
|
|
238
|
+
<define name="ContExp" combine="choice">
|
|
239
|
+
<ref name="DeprecatedContExp"/>
|
|
240
|
+
</define>
|
|
241
|
+
<define name="reln">
|
|
242
|
+
<element name="reln">
|
|
243
|
+
<zeroOrMore>
|
|
244
|
+
<ref name="ContExp"/>
|
|
245
|
+
</zeroOrMore>
|
|
246
|
+
</element>
|
|
247
|
+
</define>
|
|
248
|
+
<define name="fn">
|
|
249
|
+
<element name="fn">
|
|
250
|
+
<ref name="ContExp"/>
|
|
251
|
+
</element>
|
|
252
|
+
</define>
|
|
253
|
+
<define name="declare">
|
|
254
|
+
<element name="declare">
|
|
255
|
+
<optional>
|
|
256
|
+
<attribute name="type">
|
|
257
|
+
<data type="string"/>
|
|
258
|
+
</attribute>
|
|
259
|
+
</optional>
|
|
260
|
+
<optional>
|
|
261
|
+
<attribute name="scope">
|
|
262
|
+
<data type="string"/>
|
|
263
|
+
</attribute>
|
|
264
|
+
</optional>
|
|
265
|
+
<optional>
|
|
266
|
+
<attribute name="nargs">
|
|
267
|
+
<data type="nonNegativeInteger"/>
|
|
268
|
+
</attribute>
|
|
269
|
+
</optional>
|
|
270
|
+
<optional>
|
|
271
|
+
<attribute name="occurrence">
|
|
272
|
+
<choice>
|
|
273
|
+
<value>prefix</value>
|
|
274
|
+
<value>infix</value>
|
|
275
|
+
<value>function-model</value>
|
|
276
|
+
</choice>
|
|
277
|
+
</attribute>
|
|
278
|
+
</optional>
|
|
279
|
+
<ref name="DefEncAtt"/>
|
|
280
|
+
<oneOrMore>
|
|
281
|
+
<ref name="ContExp"/>
|
|
282
|
+
</oneOrMore>
|
|
283
|
+
</element>
|
|
284
|
+
</define>
|
|
285
|
+
<define name="interval.class">
|
|
286
|
+
<ref name="interval"/>
|
|
287
|
+
</define>
|
|
288
|
+
<define name="ContExp" combine="choice">
|
|
289
|
+
<ref name="interval.class"/>
|
|
290
|
+
</define>
|
|
291
|
+
<define name="interval">
|
|
292
|
+
<element name="interval">
|
|
293
|
+
<ref name="CommonAtt"/>
|
|
294
|
+
<ref name="DefEncAtt"/>
|
|
295
|
+
<optional>
|
|
296
|
+
<ref name="closure"/>
|
|
297
|
+
</optional>
|
|
298
|
+
<ref name="ContExp"/>
|
|
299
|
+
<ref name="ContExp"/>
|
|
300
|
+
</element>
|
|
301
|
+
</define>
|
|
302
|
+
<define name="unary-functional.class">
|
|
303
|
+
<choice>
|
|
304
|
+
<ref name="inverse"/>
|
|
305
|
+
<ref name="ident"/>
|
|
306
|
+
<ref name="domain"/>
|
|
307
|
+
<ref name="codomain"/>
|
|
308
|
+
<ref name="image"/>
|
|
309
|
+
<ref name="ln"/>
|
|
310
|
+
<ref name="log"/>
|
|
311
|
+
<ref name="moment"/>
|
|
312
|
+
</choice>
|
|
313
|
+
</define>
|
|
314
|
+
<define name="ContExp" combine="choice">
|
|
315
|
+
<ref name="unary-functional.class"/>
|
|
316
|
+
</define>
|
|
317
|
+
<define name="inverse">
|
|
318
|
+
<element name="inverse">
|
|
319
|
+
<ref name="CommonAtt"/>
|
|
320
|
+
<ref name="DefEncAtt"/>
|
|
321
|
+
<empty/>
|
|
322
|
+
</element>
|
|
323
|
+
</define>
|
|
324
|
+
<define name="ident">
|
|
325
|
+
<element name="ident">
|
|
326
|
+
<ref name="CommonAtt"/>
|
|
327
|
+
<ref name="DefEncAtt"/>
|
|
328
|
+
<empty/>
|
|
329
|
+
</element>
|
|
330
|
+
</define>
|
|
331
|
+
<define name="domain">
|
|
332
|
+
<element name="domain">
|
|
333
|
+
<ref name="CommonAtt"/>
|
|
334
|
+
<ref name="DefEncAtt"/>
|
|
335
|
+
<empty/>
|
|
336
|
+
</element>
|
|
337
|
+
</define>
|
|
338
|
+
<define name="codomain">
|
|
339
|
+
<element name="codomain">
|
|
340
|
+
<ref name="CommonAtt"/>
|
|
341
|
+
<ref name="DefEncAtt"/>
|
|
342
|
+
<empty/>
|
|
343
|
+
</element>
|
|
344
|
+
</define>
|
|
345
|
+
<define name="image">
|
|
346
|
+
<element name="image">
|
|
347
|
+
<ref name="CommonAtt"/>
|
|
348
|
+
<ref name="DefEncAtt"/>
|
|
349
|
+
<empty/>
|
|
350
|
+
</element>
|
|
351
|
+
</define>
|
|
352
|
+
<define name="ln">
|
|
353
|
+
<element name="ln">
|
|
354
|
+
<ref name="CommonAtt"/>
|
|
355
|
+
<ref name="DefEncAtt"/>
|
|
356
|
+
<empty/>
|
|
357
|
+
</element>
|
|
358
|
+
</define>
|
|
359
|
+
<define name="log">
|
|
360
|
+
<element name="log">
|
|
361
|
+
<ref name="CommonAtt"/>
|
|
362
|
+
<ref name="DefEncAtt"/>
|
|
363
|
+
<empty/>
|
|
364
|
+
</element>
|
|
365
|
+
</define>
|
|
366
|
+
<define name="moment">
|
|
367
|
+
<element name="moment">
|
|
368
|
+
<ref name="CommonAtt"/>
|
|
369
|
+
<ref name="DefEncAtt"/>
|
|
370
|
+
<empty/>
|
|
371
|
+
</element>
|
|
372
|
+
</define>
|
|
373
|
+
<define name="lambda.class">
|
|
374
|
+
<ref name="lambda"/>
|
|
375
|
+
</define>
|
|
376
|
+
<define name="ContExp" combine="choice">
|
|
377
|
+
<ref name="lambda.class"/>
|
|
378
|
+
</define>
|
|
379
|
+
<define name="lambda">
|
|
380
|
+
<element name="lambda">
|
|
381
|
+
<ref name="CommonAtt"/>
|
|
382
|
+
<ref name="DefEncAtt"/>
|
|
383
|
+
<ref name="BvarQ"/>
|
|
384
|
+
<ref name="DomainQ"/>
|
|
385
|
+
<ref name="ContExp"/>
|
|
386
|
+
</element>
|
|
387
|
+
</define>
|
|
388
|
+
<define name="nary-functional.class">
|
|
389
|
+
<ref name="compose"/>
|
|
390
|
+
</define>
|
|
391
|
+
<define name="ContExp" combine="choice">
|
|
392
|
+
<ref name="nary-functional.class"/>
|
|
393
|
+
</define>
|
|
394
|
+
<define name="compose">
|
|
395
|
+
<element name="compose">
|
|
396
|
+
<ref name="CommonAtt"/>
|
|
397
|
+
<ref name="DefEncAtt"/>
|
|
398
|
+
<empty/>
|
|
399
|
+
</element>
|
|
400
|
+
</define>
|
|
401
|
+
<define name="binary-arith.class">
|
|
402
|
+
<choice>
|
|
403
|
+
<ref name="quotient"/>
|
|
404
|
+
<ref name="divide"/>
|
|
405
|
+
<ref name="minus"/>
|
|
406
|
+
<ref name="power"/>
|
|
407
|
+
<ref name="rem"/>
|
|
408
|
+
<ref name="root"/>
|
|
409
|
+
</choice>
|
|
410
|
+
</define>
|
|
411
|
+
<define name="ContExp" combine="choice">
|
|
412
|
+
<ref name="binary-arith.class"/>
|
|
413
|
+
</define>
|
|
414
|
+
<define name="quotient">
|
|
415
|
+
<element name="quotient">
|
|
416
|
+
<ref name="CommonAtt"/>
|
|
417
|
+
<ref name="DefEncAtt"/>
|
|
418
|
+
<empty/>
|
|
419
|
+
</element>
|
|
420
|
+
</define>
|
|
421
|
+
<define name="divide">
|
|
422
|
+
<element name="divide">
|
|
423
|
+
<ref name="CommonAtt"/>
|
|
424
|
+
<ref name="DefEncAtt"/>
|
|
425
|
+
<empty/>
|
|
426
|
+
</element>
|
|
427
|
+
</define>
|
|
428
|
+
<define name="minus">
|
|
429
|
+
<element name="minus">
|
|
430
|
+
<ref name="CommonAtt"/>
|
|
431
|
+
<ref name="DefEncAtt"/>
|
|
432
|
+
<empty/>
|
|
433
|
+
</element>
|
|
434
|
+
</define>
|
|
435
|
+
<define name="power">
|
|
436
|
+
<element name="power">
|
|
437
|
+
<ref name="CommonAtt"/>
|
|
438
|
+
<ref name="DefEncAtt"/>
|
|
439
|
+
<empty/>
|
|
440
|
+
</element>
|
|
441
|
+
</define>
|
|
442
|
+
<define name="rem">
|
|
443
|
+
<element name="rem">
|
|
444
|
+
<ref name="CommonAtt"/>
|
|
445
|
+
<ref name="DefEncAtt"/>
|
|
446
|
+
<empty/>
|
|
447
|
+
</element>
|
|
448
|
+
</define>
|
|
449
|
+
<define name="root">
|
|
450
|
+
<element name="root">
|
|
451
|
+
<ref name="CommonAtt"/>
|
|
452
|
+
<ref name="DefEncAtt"/>
|
|
453
|
+
<empty/>
|
|
454
|
+
</element>
|
|
455
|
+
</define>
|
|
456
|
+
<define name="unary-arith.class">
|
|
457
|
+
<choice>
|
|
458
|
+
<ref name="factorial"/>
|
|
459
|
+
<ref name="minus"/>
|
|
460
|
+
<ref name="root"/>
|
|
461
|
+
<ref name="abs"/>
|
|
462
|
+
<ref name="conjugate"/>
|
|
463
|
+
<ref name="arg"/>
|
|
464
|
+
<ref name="real"/>
|
|
465
|
+
<ref name="imaginary"/>
|
|
466
|
+
<ref name="floor"/>
|
|
467
|
+
<ref name="ceiling"/>
|
|
468
|
+
<ref name="exp"/>
|
|
469
|
+
</choice>
|
|
470
|
+
</define>
|
|
471
|
+
<define name="ContExp" combine="choice">
|
|
472
|
+
<ref name="unary-arith.class"/>
|
|
473
|
+
</define>
|
|
474
|
+
<define name="factorial">
|
|
475
|
+
<element name="factorial">
|
|
476
|
+
<ref name="CommonAtt"/>
|
|
477
|
+
<ref name="DefEncAtt"/>
|
|
478
|
+
<empty/>
|
|
479
|
+
</element>
|
|
480
|
+
</define>
|
|
481
|
+
<define name="abs">
|
|
482
|
+
<element name="abs">
|
|
483
|
+
<ref name="CommonAtt"/>
|
|
484
|
+
<ref name="DefEncAtt"/>
|
|
485
|
+
<empty/>
|
|
486
|
+
</element>
|
|
487
|
+
</define>
|
|
488
|
+
<define name="conjugate">
|
|
489
|
+
<element name="conjugate">
|
|
490
|
+
<ref name="CommonAtt"/>
|
|
491
|
+
<ref name="DefEncAtt"/>
|
|
492
|
+
<empty/>
|
|
493
|
+
</element>
|
|
494
|
+
</define>
|
|
495
|
+
<define name="arg">
|
|
496
|
+
<element name="arg">
|
|
497
|
+
<ref name="CommonAtt"/>
|
|
498
|
+
<ref name="DefEncAtt"/>
|
|
499
|
+
<empty/>
|
|
500
|
+
</element>
|
|
501
|
+
</define>
|
|
502
|
+
<define name="real">
|
|
503
|
+
<element name="real">
|
|
504
|
+
<ref name="CommonAtt"/>
|
|
505
|
+
<ref name="DefEncAtt"/>
|
|
506
|
+
<empty/>
|
|
507
|
+
</element>
|
|
508
|
+
</define>
|
|
509
|
+
<define name="imaginary">
|
|
510
|
+
<element name="imaginary">
|
|
511
|
+
<ref name="CommonAtt"/>
|
|
512
|
+
<ref name="DefEncAtt"/>
|
|
513
|
+
<empty/>
|
|
514
|
+
</element>
|
|
515
|
+
</define>
|
|
516
|
+
<define name="floor">
|
|
517
|
+
<element name="floor">
|
|
518
|
+
<ref name="CommonAtt"/>
|
|
519
|
+
<ref name="DefEncAtt"/>
|
|
520
|
+
<empty/>
|
|
521
|
+
</element>
|
|
522
|
+
</define>
|
|
523
|
+
<define name="ceiling">
|
|
524
|
+
<element name="ceiling">
|
|
525
|
+
<ref name="CommonAtt"/>
|
|
526
|
+
<ref name="DefEncAtt"/>
|
|
527
|
+
<empty/>
|
|
528
|
+
</element>
|
|
529
|
+
</define>
|
|
530
|
+
<define name="exp">
|
|
531
|
+
<element name="exp">
|
|
532
|
+
<ref name="CommonAtt"/>
|
|
533
|
+
<ref name="DefEncAtt"/>
|
|
534
|
+
<empty/>
|
|
535
|
+
</element>
|
|
536
|
+
</define>
|
|
537
|
+
<define name="nary-minmax.class">
|
|
538
|
+
<choice>
|
|
539
|
+
<ref name="max"/>
|
|
540
|
+
<ref name="min"/>
|
|
541
|
+
</choice>
|
|
542
|
+
</define>
|
|
543
|
+
<define name="ContExp" combine="choice">
|
|
544
|
+
<ref name="nary-minmax.class"/>
|
|
545
|
+
</define>
|
|
546
|
+
<define name="max">
|
|
547
|
+
<element name="max">
|
|
548
|
+
<ref name="CommonAtt"/>
|
|
549
|
+
<ref name="DefEncAtt"/>
|
|
550
|
+
<empty/>
|
|
551
|
+
</element>
|
|
552
|
+
</define>
|
|
553
|
+
<define name="min">
|
|
554
|
+
<element name="min">
|
|
555
|
+
<ref name="CommonAtt"/>
|
|
556
|
+
<ref name="DefEncAtt"/>
|
|
557
|
+
<empty/>
|
|
558
|
+
</element>
|
|
559
|
+
</define>
|
|
560
|
+
<define name="nary-arith.class">
|
|
561
|
+
<choice>
|
|
562
|
+
<ref name="plus"/>
|
|
563
|
+
<ref name="times"/>
|
|
564
|
+
<ref name="gcd"/>
|
|
565
|
+
<ref name="lcm"/>
|
|
566
|
+
</choice>
|
|
567
|
+
</define>
|
|
568
|
+
<define name="ContExp" combine="choice">
|
|
569
|
+
<ref name="nary-arith.class"/>
|
|
570
|
+
</define>
|
|
571
|
+
<define name="plus">
|
|
572
|
+
<element name="plus">
|
|
573
|
+
<ref name="CommonAtt"/>
|
|
574
|
+
<ref name="DefEncAtt"/>
|
|
575
|
+
<empty/>
|
|
576
|
+
</element>
|
|
577
|
+
</define>
|
|
578
|
+
<define name="times">
|
|
579
|
+
<element name="times">
|
|
580
|
+
<ref name="CommonAtt"/>
|
|
581
|
+
<ref name="DefEncAtt"/>
|
|
582
|
+
<empty/>
|
|
583
|
+
</element>
|
|
584
|
+
</define>
|
|
585
|
+
<define name="gcd">
|
|
586
|
+
<element name="gcd">
|
|
587
|
+
<ref name="CommonAtt"/>
|
|
588
|
+
<ref name="DefEncAtt"/>
|
|
589
|
+
<empty/>
|
|
590
|
+
</element>
|
|
591
|
+
</define>
|
|
592
|
+
<define name="lcm">
|
|
593
|
+
<element name="lcm">
|
|
594
|
+
<ref name="CommonAtt"/>
|
|
595
|
+
<ref name="DefEncAtt"/>
|
|
596
|
+
<empty/>
|
|
597
|
+
</element>
|
|
598
|
+
</define>
|
|
599
|
+
<define name="nary-logical.class">
|
|
600
|
+
<choice>
|
|
601
|
+
<ref name="and"/>
|
|
602
|
+
<ref name="or"/>
|
|
603
|
+
<ref name="xor"/>
|
|
604
|
+
</choice>
|
|
605
|
+
</define>
|
|
606
|
+
<define name="ContExp" combine="choice">
|
|
607
|
+
<ref name="nary-logical.class"/>
|
|
608
|
+
</define>
|
|
609
|
+
<define name="and">
|
|
610
|
+
<element name="and">
|
|
611
|
+
<ref name="CommonAtt"/>
|
|
612
|
+
<ref name="DefEncAtt"/>
|
|
613
|
+
<empty/>
|
|
614
|
+
</element>
|
|
615
|
+
</define>
|
|
616
|
+
<define name="or">
|
|
617
|
+
<element name="or">
|
|
618
|
+
<ref name="CommonAtt"/>
|
|
619
|
+
<ref name="DefEncAtt"/>
|
|
620
|
+
<empty/>
|
|
621
|
+
</element>
|
|
622
|
+
</define>
|
|
623
|
+
<define name="xor">
|
|
624
|
+
<element name="xor">
|
|
625
|
+
<ref name="CommonAtt"/>
|
|
626
|
+
<ref name="DefEncAtt"/>
|
|
627
|
+
<empty/>
|
|
628
|
+
</element>
|
|
629
|
+
</define>
|
|
630
|
+
<define name="unary-logical.class">
|
|
631
|
+
<ref name="not"/>
|
|
632
|
+
</define>
|
|
633
|
+
<define name="ContExp" combine="choice">
|
|
634
|
+
<ref name="unary-logical.class"/>
|
|
635
|
+
</define>
|
|
636
|
+
<define name="not">
|
|
637
|
+
<element name="not">
|
|
638
|
+
<ref name="CommonAtt"/>
|
|
639
|
+
<ref name="DefEncAtt"/>
|
|
640
|
+
<empty/>
|
|
641
|
+
</element>
|
|
642
|
+
</define>
|
|
643
|
+
<define name="binary-logical.class">
|
|
644
|
+
<choice>
|
|
645
|
+
<ref name="implies"/>
|
|
646
|
+
<ref name="equivalent"/>
|
|
647
|
+
</choice>
|
|
648
|
+
</define>
|
|
649
|
+
<define name="ContExp" combine="choice">
|
|
650
|
+
<ref name="binary-logical.class"/>
|
|
651
|
+
</define>
|
|
652
|
+
<define name="implies">
|
|
653
|
+
<element name="implies">
|
|
654
|
+
<ref name="CommonAtt"/>
|
|
655
|
+
<ref name="DefEncAtt"/>
|
|
656
|
+
<empty/>
|
|
657
|
+
</element>
|
|
658
|
+
</define>
|
|
659
|
+
<define name="equivalent">
|
|
660
|
+
<element name="equivalent">
|
|
661
|
+
<ref name="CommonAtt"/>
|
|
662
|
+
<ref name="DefEncAtt"/>
|
|
663
|
+
<empty/>
|
|
664
|
+
</element>
|
|
665
|
+
</define>
|
|
666
|
+
<define name="quantifier.class">
|
|
667
|
+
<choice>
|
|
668
|
+
<ref name="forall"/>
|
|
669
|
+
<ref name="exists"/>
|
|
670
|
+
</choice>
|
|
671
|
+
</define>
|
|
672
|
+
<define name="ContExp" combine="choice">
|
|
673
|
+
<ref name="quantifier.class"/>
|
|
674
|
+
</define>
|
|
675
|
+
<define name="forall">
|
|
676
|
+
<element name="forall">
|
|
677
|
+
<ref name="CommonAtt"/>
|
|
678
|
+
<ref name="DefEncAtt"/>
|
|
679
|
+
<empty/>
|
|
680
|
+
</element>
|
|
681
|
+
</define>
|
|
682
|
+
<define name="exists">
|
|
683
|
+
<element name="exists">
|
|
684
|
+
<ref name="CommonAtt"/>
|
|
685
|
+
<ref name="DefEncAtt"/>
|
|
686
|
+
<empty/>
|
|
687
|
+
</element>
|
|
688
|
+
</define>
|
|
689
|
+
<define name="nary-reln.class">
|
|
690
|
+
<choice>
|
|
691
|
+
<ref name="eq"/>
|
|
692
|
+
<ref name="gt"/>
|
|
693
|
+
<ref name="lt"/>
|
|
694
|
+
<ref name="geq"/>
|
|
695
|
+
<ref name="leq"/>
|
|
696
|
+
</choice>
|
|
697
|
+
</define>
|
|
698
|
+
<define name="ContExp" combine="choice">
|
|
699
|
+
<ref name="nary-reln.class"/>
|
|
700
|
+
</define>
|
|
701
|
+
<define name="eq">
|
|
702
|
+
<element name="eq">
|
|
703
|
+
<ref name="CommonAtt"/>
|
|
704
|
+
<ref name="DefEncAtt"/>
|
|
705
|
+
<empty/>
|
|
706
|
+
</element>
|
|
707
|
+
</define>
|
|
708
|
+
<define name="gt">
|
|
709
|
+
<element name="gt">
|
|
710
|
+
<ref name="CommonAtt"/>
|
|
711
|
+
<ref name="DefEncAtt"/>
|
|
712
|
+
<empty/>
|
|
713
|
+
</element>
|
|
714
|
+
</define>
|
|
715
|
+
<define name="lt">
|
|
716
|
+
<element name="lt">
|
|
717
|
+
<ref name="CommonAtt"/>
|
|
718
|
+
<ref name="DefEncAtt"/>
|
|
719
|
+
<empty/>
|
|
720
|
+
</element>
|
|
721
|
+
</define>
|
|
722
|
+
<define name="geq">
|
|
723
|
+
<element name="geq">
|
|
724
|
+
<ref name="CommonAtt"/>
|
|
725
|
+
<ref name="DefEncAtt"/>
|
|
726
|
+
<empty/>
|
|
727
|
+
</element>
|
|
728
|
+
</define>
|
|
729
|
+
<define name="leq">
|
|
730
|
+
<element name="leq">
|
|
731
|
+
<ref name="CommonAtt"/>
|
|
732
|
+
<ref name="DefEncAtt"/>
|
|
733
|
+
<empty/>
|
|
734
|
+
</element>
|
|
735
|
+
</define>
|
|
736
|
+
<define name="binary-reln.class">
|
|
737
|
+
<choice>
|
|
738
|
+
<ref name="neq"/>
|
|
739
|
+
<ref name="approx"/>
|
|
740
|
+
<ref name="factorof"/>
|
|
741
|
+
<ref name="tendsto"/>
|
|
742
|
+
</choice>
|
|
743
|
+
</define>
|
|
744
|
+
<define name="ContExp" combine="choice">
|
|
745
|
+
<ref name="binary-reln.class"/>
|
|
746
|
+
</define>
|
|
747
|
+
<define name="neq">
|
|
748
|
+
<element name="neq">
|
|
749
|
+
<ref name="CommonAtt"/>
|
|
750
|
+
<ref name="DefEncAtt"/>
|
|
751
|
+
<empty/>
|
|
752
|
+
</element>
|
|
753
|
+
</define>
|
|
754
|
+
<define name="approx">
|
|
755
|
+
<element name="approx">
|
|
756
|
+
<ref name="CommonAtt"/>
|
|
757
|
+
<ref name="DefEncAtt"/>
|
|
758
|
+
<empty/>
|
|
759
|
+
</element>
|
|
760
|
+
</define>
|
|
761
|
+
<define name="factorof">
|
|
762
|
+
<element name="factorof">
|
|
763
|
+
<ref name="CommonAtt"/>
|
|
764
|
+
<ref name="DefEncAtt"/>
|
|
765
|
+
<empty/>
|
|
766
|
+
</element>
|
|
767
|
+
</define>
|
|
768
|
+
<define name="tendsto">
|
|
769
|
+
<element name="tendsto">
|
|
770
|
+
<ref name="CommonAtt"/>
|
|
771
|
+
<ref name="DefEncAtt"/>
|
|
772
|
+
<optional>
|
|
773
|
+
<ref name="type"/>
|
|
774
|
+
</optional>
|
|
775
|
+
<empty/>
|
|
776
|
+
</element>
|
|
777
|
+
</define>
|
|
778
|
+
<define name="int.class">
|
|
779
|
+
<ref name="int"/>
|
|
780
|
+
</define>
|
|
781
|
+
<define name="ContExp" combine="choice">
|
|
782
|
+
<ref name="int.class"/>
|
|
783
|
+
</define>
|
|
784
|
+
<define name="int">
|
|
785
|
+
<element name="int">
|
|
786
|
+
<ref name="CommonAtt"/>
|
|
787
|
+
<ref name="DefEncAtt"/>
|
|
788
|
+
<empty/>
|
|
789
|
+
</element>
|
|
790
|
+
</define>
|
|
791
|
+
<define name="Differential-Operator.class">
|
|
792
|
+
<ref name="diff"/>
|
|
793
|
+
</define>
|
|
794
|
+
<define name="ContExp" combine="choice">
|
|
795
|
+
<ref name="Differential-Operator.class"/>
|
|
796
|
+
</define>
|
|
797
|
+
<define name="diff">
|
|
798
|
+
<element name="diff">
|
|
799
|
+
<ref name="CommonAtt"/>
|
|
800
|
+
<ref name="DefEncAtt"/>
|
|
801
|
+
<empty/>
|
|
802
|
+
</element>
|
|
803
|
+
</define>
|
|
804
|
+
<define name="partialdiff.class">
|
|
805
|
+
<ref name="partialdiff"/>
|
|
806
|
+
</define>
|
|
807
|
+
<define name="ContExp" combine="choice">
|
|
808
|
+
<ref name="partialdiff.class"/>
|
|
809
|
+
</define>
|
|
810
|
+
<define name="partialdiff">
|
|
811
|
+
<element name="partialdiff">
|
|
812
|
+
<ref name="CommonAtt"/>
|
|
813
|
+
<ref name="DefEncAtt"/>
|
|
814
|
+
<empty/>
|
|
815
|
+
</element>
|
|
816
|
+
</define>
|
|
817
|
+
<define name="unary-veccalc.class">
|
|
818
|
+
<choice>
|
|
819
|
+
<ref name="divergence"/>
|
|
820
|
+
<ref name="grad"/>
|
|
821
|
+
<ref name="curl"/>
|
|
822
|
+
<ref name="laplacian"/>
|
|
823
|
+
</choice>
|
|
824
|
+
</define>
|
|
825
|
+
<define name="ContExp" combine="choice">
|
|
826
|
+
<ref name="unary-veccalc.class"/>
|
|
827
|
+
</define>
|
|
828
|
+
<define name="divergence">
|
|
829
|
+
<element name="divergence">
|
|
830
|
+
<ref name="CommonAtt"/>
|
|
831
|
+
<ref name="DefEncAtt"/>
|
|
832
|
+
<empty/>
|
|
833
|
+
</element>
|
|
834
|
+
</define>
|
|
835
|
+
<define name="grad">
|
|
836
|
+
<element name="grad">
|
|
837
|
+
<ref name="CommonAtt"/>
|
|
838
|
+
<ref name="DefEncAtt"/>
|
|
839
|
+
<empty/>
|
|
840
|
+
</element>
|
|
841
|
+
</define>
|
|
842
|
+
<define name="curl">
|
|
843
|
+
<element name="curl">
|
|
844
|
+
<ref name="CommonAtt"/>
|
|
845
|
+
<ref name="DefEncAtt"/>
|
|
846
|
+
<empty/>
|
|
847
|
+
</element>
|
|
848
|
+
</define>
|
|
849
|
+
<define name="laplacian">
|
|
850
|
+
<element name="laplacian">
|
|
851
|
+
<ref name="CommonAtt"/>
|
|
852
|
+
<ref name="DefEncAtt"/>
|
|
853
|
+
<empty/>
|
|
854
|
+
</element>
|
|
855
|
+
</define>
|
|
856
|
+
<define name="nary-setlist-constructor.class">
|
|
857
|
+
<choice>
|
|
858
|
+
<ref name="set"/>
|
|
859
|
+
<ref name="list"/>
|
|
860
|
+
</choice>
|
|
861
|
+
</define>
|
|
862
|
+
<define name="ContExp" combine="choice">
|
|
863
|
+
<ref name="nary-setlist-constructor.class"/>
|
|
864
|
+
</define>
|
|
865
|
+
<define name="set">
|
|
866
|
+
<element name="set">
|
|
867
|
+
<ref name="CommonAtt"/>
|
|
868
|
+
<ref name="DefEncAtt"/>
|
|
869
|
+
<optional>
|
|
870
|
+
<ref name="type"/>
|
|
871
|
+
</optional>
|
|
872
|
+
<zeroOrMore>
|
|
873
|
+
<ref name="BvarQ"/>
|
|
874
|
+
</zeroOrMore>
|
|
875
|
+
<zeroOrMore>
|
|
876
|
+
<ref name="DomainQ"/>
|
|
877
|
+
</zeroOrMore>
|
|
878
|
+
<zeroOrMore>
|
|
879
|
+
<ref name="ContExp"/>
|
|
880
|
+
</zeroOrMore>
|
|
881
|
+
</element>
|
|
882
|
+
</define>
|
|
883
|
+
<define name="list">
|
|
884
|
+
<element name="list">
|
|
885
|
+
<ref name="CommonAtt"/>
|
|
886
|
+
<ref name="DefEncAtt"/>
|
|
887
|
+
<optional>
|
|
888
|
+
<ref name="order"/>
|
|
889
|
+
</optional>
|
|
890
|
+
<zeroOrMore>
|
|
891
|
+
<ref name="BvarQ"/>
|
|
892
|
+
</zeroOrMore>
|
|
893
|
+
<zeroOrMore>
|
|
894
|
+
<ref name="DomainQ"/>
|
|
895
|
+
</zeroOrMore>
|
|
896
|
+
<zeroOrMore>
|
|
897
|
+
<ref name="ContExp"/>
|
|
898
|
+
</zeroOrMore>
|
|
899
|
+
</element>
|
|
900
|
+
</define>
|
|
901
|
+
<define name="nary-set.class">
|
|
902
|
+
<choice>
|
|
903
|
+
<ref name="union"/>
|
|
904
|
+
<ref name="intersect"/>
|
|
905
|
+
<ref name="cartesianproduct"/>
|
|
906
|
+
</choice>
|
|
907
|
+
</define>
|
|
908
|
+
<define name="ContExp" combine="choice">
|
|
909
|
+
<ref name="nary-set.class"/>
|
|
910
|
+
</define>
|
|
911
|
+
<define name="union">
|
|
912
|
+
<element name="union">
|
|
913
|
+
<ref name="CommonAtt"/>
|
|
914
|
+
<ref name="DefEncAtt"/>
|
|
915
|
+
<empty/>
|
|
916
|
+
</element>
|
|
917
|
+
</define>
|
|
918
|
+
<define name="intersect">
|
|
919
|
+
<element name="intersect">
|
|
920
|
+
<ref name="CommonAtt"/>
|
|
921
|
+
<ref name="DefEncAtt"/>
|
|
922
|
+
<empty/>
|
|
923
|
+
</element>
|
|
924
|
+
</define>
|
|
925
|
+
<define name="cartesianproduct">
|
|
926
|
+
<element name="cartesianproduct">
|
|
927
|
+
<ref name="CommonAtt"/>
|
|
928
|
+
<ref name="DefEncAtt"/>
|
|
929
|
+
<empty/>
|
|
930
|
+
</element>
|
|
931
|
+
</define>
|
|
932
|
+
<define name="binary-set.class">
|
|
933
|
+
<choice>
|
|
934
|
+
<ref name="in"/>
|
|
935
|
+
<ref name="notin"/>
|
|
936
|
+
<ref name="notsubset"/>
|
|
937
|
+
<ref name="notprsubset"/>
|
|
938
|
+
<ref name="setdiff"/>
|
|
939
|
+
</choice>
|
|
940
|
+
</define>
|
|
941
|
+
<define name="ContExp" combine="choice">
|
|
942
|
+
<ref name="binary-set.class"/>
|
|
943
|
+
</define>
|
|
944
|
+
<define name="in">
|
|
945
|
+
<element name="in">
|
|
946
|
+
<ref name="CommonAtt"/>
|
|
947
|
+
<ref name="DefEncAtt"/>
|
|
948
|
+
<empty/>
|
|
949
|
+
</element>
|
|
950
|
+
</define>
|
|
951
|
+
<define name="notin">
|
|
952
|
+
<element name="notin">
|
|
953
|
+
<ref name="CommonAtt"/>
|
|
954
|
+
<ref name="DefEncAtt"/>
|
|
955
|
+
<empty/>
|
|
956
|
+
</element>
|
|
957
|
+
</define>
|
|
958
|
+
<define name="notsubset">
|
|
959
|
+
<element name="notsubset">
|
|
960
|
+
<ref name="CommonAtt"/>
|
|
961
|
+
<ref name="DefEncAtt"/>
|
|
962
|
+
<empty/>
|
|
963
|
+
</element>
|
|
964
|
+
</define>
|
|
965
|
+
<define name="notprsubset">
|
|
966
|
+
<element name="notprsubset">
|
|
967
|
+
<ref name="CommonAtt"/>
|
|
968
|
+
<ref name="DefEncAtt"/>
|
|
969
|
+
<empty/>
|
|
970
|
+
</element>
|
|
971
|
+
</define>
|
|
972
|
+
<define name="setdiff">
|
|
973
|
+
<element name="setdiff">
|
|
974
|
+
<ref name="CommonAtt"/>
|
|
975
|
+
<ref name="DefEncAtt"/>
|
|
976
|
+
<empty/>
|
|
977
|
+
</element>
|
|
978
|
+
</define>
|
|
979
|
+
<define name="nary-set-reln.class">
|
|
980
|
+
<choice>
|
|
981
|
+
<ref name="subset"/>
|
|
982
|
+
<ref name="prsubset"/>
|
|
983
|
+
</choice>
|
|
984
|
+
</define>
|
|
985
|
+
<define name="ContExp" combine="choice">
|
|
986
|
+
<ref name="nary-set-reln.class"/>
|
|
987
|
+
</define>
|
|
988
|
+
<define name="subset">
|
|
989
|
+
<element name="subset">
|
|
990
|
+
<ref name="CommonAtt"/>
|
|
991
|
+
<ref name="DefEncAtt"/>
|
|
992
|
+
<empty/>
|
|
993
|
+
</element>
|
|
994
|
+
</define>
|
|
995
|
+
<define name="prsubset">
|
|
996
|
+
<element name="prsubset">
|
|
997
|
+
<ref name="CommonAtt"/>
|
|
998
|
+
<ref name="DefEncAtt"/>
|
|
999
|
+
<empty/>
|
|
1000
|
+
</element>
|
|
1001
|
+
</define>
|
|
1002
|
+
<define name="unary-set.class">
|
|
1003
|
+
<ref name="card"/>
|
|
1004
|
+
</define>
|
|
1005
|
+
<define name="ContExp" combine="choice">
|
|
1006
|
+
<ref name="unary-set.class"/>
|
|
1007
|
+
</define>
|
|
1008
|
+
<define name="card">
|
|
1009
|
+
<element name="card">
|
|
1010
|
+
<ref name="CommonAtt"/>
|
|
1011
|
+
<ref name="DefEncAtt"/>
|
|
1012
|
+
<empty/>
|
|
1013
|
+
</element>
|
|
1014
|
+
</define>
|
|
1015
|
+
<define name="sum.class">
|
|
1016
|
+
<ref name="sum"/>
|
|
1017
|
+
</define>
|
|
1018
|
+
<define name="ContExp" combine="choice">
|
|
1019
|
+
<ref name="sum.class"/>
|
|
1020
|
+
</define>
|
|
1021
|
+
<define name="sum">
|
|
1022
|
+
<element name="sum">
|
|
1023
|
+
<ref name="CommonAtt"/>
|
|
1024
|
+
<ref name="DefEncAtt"/>
|
|
1025
|
+
<empty/>
|
|
1026
|
+
</element>
|
|
1027
|
+
</define>
|
|
1028
|
+
<define name="product.class">
|
|
1029
|
+
<ref name="product"/>
|
|
1030
|
+
</define>
|
|
1031
|
+
<define name="ContExp" combine="choice">
|
|
1032
|
+
<ref name="product.class"/>
|
|
1033
|
+
</define>
|
|
1034
|
+
<define name="product">
|
|
1035
|
+
<element name="product">
|
|
1036
|
+
<ref name="CommonAtt"/>
|
|
1037
|
+
<ref name="DefEncAtt"/>
|
|
1038
|
+
<empty/>
|
|
1039
|
+
</element>
|
|
1040
|
+
</define>
|
|
1041
|
+
<define name="limit.class">
|
|
1042
|
+
<ref name="limit"/>
|
|
1043
|
+
</define>
|
|
1044
|
+
<define name="ContExp" combine="choice">
|
|
1045
|
+
<ref name="limit.class"/>
|
|
1046
|
+
</define>
|
|
1047
|
+
<define name="limit">
|
|
1048
|
+
<element name="limit">
|
|
1049
|
+
<ref name="CommonAtt"/>
|
|
1050
|
+
<ref name="DefEncAtt"/>
|
|
1051
|
+
<empty/>
|
|
1052
|
+
</element>
|
|
1053
|
+
</define>
|
|
1054
|
+
<define name="unary-elementary.class">
|
|
1055
|
+
<choice>
|
|
1056
|
+
<ref name="sin"/>
|
|
1057
|
+
<ref name="cos"/>
|
|
1058
|
+
<ref name="tan"/>
|
|
1059
|
+
<ref name="sec"/>
|
|
1060
|
+
<ref name="csc"/>
|
|
1061
|
+
<ref name="cot"/>
|
|
1062
|
+
<ref name="sinh"/>
|
|
1063
|
+
<ref name="cosh"/>
|
|
1064
|
+
<ref name="tanh"/>
|
|
1065
|
+
<ref name="sech"/>
|
|
1066
|
+
<ref name="csch"/>
|
|
1067
|
+
<ref name="coth"/>
|
|
1068
|
+
<ref name="arcsin"/>
|
|
1069
|
+
<ref name="arccos"/>
|
|
1070
|
+
<ref name="arctan"/>
|
|
1071
|
+
<ref name="arccosh"/>
|
|
1072
|
+
<ref name="arccot"/>
|
|
1073
|
+
<ref name="arccoth"/>
|
|
1074
|
+
<ref name="arccsc"/>
|
|
1075
|
+
<ref name="arccsch"/>
|
|
1076
|
+
<ref name="arcsec"/>
|
|
1077
|
+
<ref name="arcsech"/>
|
|
1078
|
+
<ref name="arcsinh"/>
|
|
1079
|
+
<ref name="arctanh"/>
|
|
1080
|
+
</choice>
|
|
1081
|
+
</define>
|
|
1082
|
+
<define name="ContExp" combine="choice">
|
|
1083
|
+
<ref name="unary-elementary.class"/>
|
|
1084
|
+
</define>
|
|
1085
|
+
<define name="sin">
|
|
1086
|
+
<element name="sin">
|
|
1087
|
+
<ref name="CommonAtt"/>
|
|
1088
|
+
<ref name="DefEncAtt"/>
|
|
1089
|
+
<empty/>
|
|
1090
|
+
</element>
|
|
1091
|
+
</define>
|
|
1092
|
+
<define name="cos">
|
|
1093
|
+
<element name="cos">
|
|
1094
|
+
<ref name="CommonAtt"/>
|
|
1095
|
+
<ref name="DefEncAtt"/>
|
|
1096
|
+
<empty/>
|
|
1097
|
+
</element>
|
|
1098
|
+
</define>
|
|
1099
|
+
<define name="tan">
|
|
1100
|
+
<element name="tan">
|
|
1101
|
+
<ref name="CommonAtt"/>
|
|
1102
|
+
<ref name="DefEncAtt"/>
|
|
1103
|
+
<empty/>
|
|
1104
|
+
</element>
|
|
1105
|
+
</define>
|
|
1106
|
+
<define name="sec">
|
|
1107
|
+
<element name="sec">
|
|
1108
|
+
<ref name="CommonAtt"/>
|
|
1109
|
+
<ref name="DefEncAtt"/>
|
|
1110
|
+
<empty/>
|
|
1111
|
+
</element>
|
|
1112
|
+
</define>
|
|
1113
|
+
<define name="csc">
|
|
1114
|
+
<element name="csc">
|
|
1115
|
+
<ref name="CommonAtt"/>
|
|
1116
|
+
<ref name="DefEncAtt"/>
|
|
1117
|
+
<empty/>
|
|
1118
|
+
</element>
|
|
1119
|
+
</define>
|
|
1120
|
+
<define name="cot">
|
|
1121
|
+
<element name="cot">
|
|
1122
|
+
<ref name="CommonAtt"/>
|
|
1123
|
+
<ref name="DefEncAtt"/>
|
|
1124
|
+
<empty/>
|
|
1125
|
+
</element>
|
|
1126
|
+
</define>
|
|
1127
|
+
<define name="sinh">
|
|
1128
|
+
<element name="sinh">
|
|
1129
|
+
<ref name="CommonAtt"/>
|
|
1130
|
+
<ref name="DefEncAtt"/>
|
|
1131
|
+
<empty/>
|
|
1132
|
+
</element>
|
|
1133
|
+
</define>
|
|
1134
|
+
<define name="cosh">
|
|
1135
|
+
<element name="cosh">
|
|
1136
|
+
<ref name="CommonAtt"/>
|
|
1137
|
+
<ref name="DefEncAtt"/>
|
|
1138
|
+
<empty/>
|
|
1139
|
+
</element>
|
|
1140
|
+
</define>
|
|
1141
|
+
<define name="tanh">
|
|
1142
|
+
<element name="tanh">
|
|
1143
|
+
<ref name="CommonAtt"/>
|
|
1144
|
+
<ref name="DefEncAtt"/>
|
|
1145
|
+
<empty/>
|
|
1146
|
+
</element>
|
|
1147
|
+
</define>
|
|
1148
|
+
<define name="sech">
|
|
1149
|
+
<element name="sech">
|
|
1150
|
+
<ref name="CommonAtt"/>
|
|
1151
|
+
<ref name="DefEncAtt"/>
|
|
1152
|
+
<empty/>
|
|
1153
|
+
</element>
|
|
1154
|
+
</define>
|
|
1155
|
+
<define name="csch">
|
|
1156
|
+
<element name="csch">
|
|
1157
|
+
<ref name="CommonAtt"/>
|
|
1158
|
+
<ref name="DefEncAtt"/>
|
|
1159
|
+
<empty/>
|
|
1160
|
+
</element>
|
|
1161
|
+
</define>
|
|
1162
|
+
<define name="coth">
|
|
1163
|
+
<element name="coth">
|
|
1164
|
+
<ref name="CommonAtt"/>
|
|
1165
|
+
<ref name="DefEncAtt"/>
|
|
1166
|
+
<empty/>
|
|
1167
|
+
</element>
|
|
1168
|
+
</define>
|
|
1169
|
+
<define name="arcsin">
|
|
1170
|
+
<element name="arcsin">
|
|
1171
|
+
<ref name="CommonAtt"/>
|
|
1172
|
+
<ref name="DefEncAtt"/>
|
|
1173
|
+
<empty/>
|
|
1174
|
+
</element>
|
|
1175
|
+
</define>
|
|
1176
|
+
<define name="arccos">
|
|
1177
|
+
<element name="arccos">
|
|
1178
|
+
<ref name="CommonAtt"/>
|
|
1179
|
+
<ref name="DefEncAtt"/>
|
|
1180
|
+
<empty/>
|
|
1181
|
+
</element>
|
|
1182
|
+
</define>
|
|
1183
|
+
<define name="arctan">
|
|
1184
|
+
<element name="arctan">
|
|
1185
|
+
<ref name="CommonAtt"/>
|
|
1186
|
+
<ref name="DefEncAtt"/>
|
|
1187
|
+
<empty/>
|
|
1188
|
+
</element>
|
|
1189
|
+
</define>
|
|
1190
|
+
<define name="arccosh">
|
|
1191
|
+
<element name="arccosh">
|
|
1192
|
+
<ref name="CommonAtt"/>
|
|
1193
|
+
<ref name="DefEncAtt"/>
|
|
1194
|
+
<empty/>
|
|
1195
|
+
</element>
|
|
1196
|
+
</define>
|
|
1197
|
+
<define name="arccot">
|
|
1198
|
+
<element name="arccot">
|
|
1199
|
+
<ref name="CommonAtt"/>
|
|
1200
|
+
<ref name="DefEncAtt"/>
|
|
1201
|
+
<empty/>
|
|
1202
|
+
</element>
|
|
1203
|
+
</define>
|
|
1204
|
+
<define name="arccoth">
|
|
1205
|
+
<element name="arccoth">
|
|
1206
|
+
<ref name="CommonAtt"/>
|
|
1207
|
+
<ref name="DefEncAtt"/>
|
|
1208
|
+
<empty/>
|
|
1209
|
+
</element>
|
|
1210
|
+
</define>
|
|
1211
|
+
<define name="arccsc">
|
|
1212
|
+
<element name="arccsc">
|
|
1213
|
+
<ref name="CommonAtt"/>
|
|
1214
|
+
<ref name="DefEncAtt"/>
|
|
1215
|
+
<empty/>
|
|
1216
|
+
</element>
|
|
1217
|
+
</define>
|
|
1218
|
+
<define name="arccsch">
|
|
1219
|
+
<element name="arccsch">
|
|
1220
|
+
<ref name="CommonAtt"/>
|
|
1221
|
+
<ref name="DefEncAtt"/>
|
|
1222
|
+
<empty/>
|
|
1223
|
+
</element>
|
|
1224
|
+
</define>
|
|
1225
|
+
<define name="arcsec">
|
|
1226
|
+
<element name="arcsec">
|
|
1227
|
+
<ref name="CommonAtt"/>
|
|
1228
|
+
<ref name="DefEncAtt"/>
|
|
1229
|
+
<empty/>
|
|
1230
|
+
</element>
|
|
1231
|
+
</define>
|
|
1232
|
+
<define name="arcsech">
|
|
1233
|
+
<element name="arcsech">
|
|
1234
|
+
<ref name="CommonAtt"/>
|
|
1235
|
+
<ref name="DefEncAtt"/>
|
|
1236
|
+
<empty/>
|
|
1237
|
+
</element>
|
|
1238
|
+
</define>
|
|
1239
|
+
<define name="arcsinh">
|
|
1240
|
+
<element name="arcsinh">
|
|
1241
|
+
<ref name="CommonAtt"/>
|
|
1242
|
+
<ref name="DefEncAtt"/>
|
|
1243
|
+
<empty/>
|
|
1244
|
+
</element>
|
|
1245
|
+
</define>
|
|
1246
|
+
<define name="arctanh">
|
|
1247
|
+
<element name="arctanh">
|
|
1248
|
+
<ref name="CommonAtt"/>
|
|
1249
|
+
<ref name="DefEncAtt"/>
|
|
1250
|
+
<empty/>
|
|
1251
|
+
</element>
|
|
1252
|
+
</define>
|
|
1253
|
+
<define name="nary-stats.class">
|
|
1254
|
+
<choice>
|
|
1255
|
+
<ref name="mean"/>
|
|
1256
|
+
<ref name="sdev"/>
|
|
1257
|
+
<ref name="variance"/>
|
|
1258
|
+
<ref name="median"/>
|
|
1259
|
+
<ref name="mode"/>
|
|
1260
|
+
</choice>
|
|
1261
|
+
</define>
|
|
1262
|
+
<define name="ContExp" combine="choice">
|
|
1263
|
+
<ref name="nary-stats.class"/>
|
|
1264
|
+
</define>
|
|
1265
|
+
<define name="mean">
|
|
1266
|
+
<element name="mean">
|
|
1267
|
+
<ref name="CommonAtt"/>
|
|
1268
|
+
<ref name="DefEncAtt"/>
|
|
1269
|
+
<empty/>
|
|
1270
|
+
</element>
|
|
1271
|
+
</define>
|
|
1272
|
+
<define name="sdev">
|
|
1273
|
+
<element name="sdev">
|
|
1274
|
+
<ref name="CommonAtt"/>
|
|
1275
|
+
<ref name="DefEncAtt"/>
|
|
1276
|
+
<empty/>
|
|
1277
|
+
</element>
|
|
1278
|
+
</define>
|
|
1279
|
+
<define name="variance">
|
|
1280
|
+
<element name="variance">
|
|
1281
|
+
<ref name="CommonAtt"/>
|
|
1282
|
+
<ref name="DefEncAtt"/>
|
|
1283
|
+
<empty/>
|
|
1284
|
+
</element>
|
|
1285
|
+
</define>
|
|
1286
|
+
<define name="median">
|
|
1287
|
+
<element name="median">
|
|
1288
|
+
<ref name="CommonAtt"/>
|
|
1289
|
+
<ref name="DefEncAtt"/>
|
|
1290
|
+
<empty/>
|
|
1291
|
+
</element>
|
|
1292
|
+
</define>
|
|
1293
|
+
<define name="mode">
|
|
1294
|
+
<element name="mode">
|
|
1295
|
+
<ref name="CommonAtt"/>
|
|
1296
|
+
<ref name="DefEncAtt"/>
|
|
1297
|
+
<empty/>
|
|
1298
|
+
</element>
|
|
1299
|
+
</define>
|
|
1300
|
+
<define name="nary-constructor.class">
|
|
1301
|
+
<choice>
|
|
1302
|
+
<ref name="vector"/>
|
|
1303
|
+
<ref name="matrix"/>
|
|
1304
|
+
<ref name="matrixrow"/>
|
|
1305
|
+
</choice>
|
|
1306
|
+
</define>
|
|
1307
|
+
<define name="ContExp" combine="choice">
|
|
1308
|
+
<ref name="nary-constructor.class"/>
|
|
1309
|
+
</define>
|
|
1310
|
+
<define name="vector">
|
|
1311
|
+
<element name="vector">
|
|
1312
|
+
<ref name="CommonAtt"/>
|
|
1313
|
+
<ref name="DefEncAtt"/>
|
|
1314
|
+
<ref name="BvarQ"/>
|
|
1315
|
+
<ref name="DomainQ"/>
|
|
1316
|
+
<zeroOrMore>
|
|
1317
|
+
<ref name="ContExp"/>
|
|
1318
|
+
</zeroOrMore>
|
|
1319
|
+
</element>
|
|
1320
|
+
</define>
|
|
1321
|
+
<define name="matrix">
|
|
1322
|
+
<element name="matrix">
|
|
1323
|
+
<ref name="CommonAtt"/>
|
|
1324
|
+
<ref name="DefEncAtt"/>
|
|
1325
|
+
<ref name="BvarQ"/>
|
|
1326
|
+
<ref name="DomainQ"/>
|
|
1327
|
+
<zeroOrMore>
|
|
1328
|
+
<ref name="ContExp"/>
|
|
1329
|
+
</zeroOrMore>
|
|
1330
|
+
</element>
|
|
1331
|
+
</define>
|
|
1332
|
+
<define name="matrixrow">
|
|
1333
|
+
<element name="matrixrow">
|
|
1334
|
+
<ref name="CommonAtt"/>
|
|
1335
|
+
<ref name="DefEncAtt"/>
|
|
1336
|
+
<ref name="BvarQ"/>
|
|
1337
|
+
<ref name="DomainQ"/>
|
|
1338
|
+
<zeroOrMore>
|
|
1339
|
+
<ref name="ContExp"/>
|
|
1340
|
+
</zeroOrMore>
|
|
1341
|
+
</element>
|
|
1342
|
+
</define>
|
|
1343
|
+
<define name="unary-linalg.class">
|
|
1344
|
+
<choice>
|
|
1345
|
+
<ref name="determinant"/>
|
|
1346
|
+
<ref name="transpose"/>
|
|
1347
|
+
</choice>
|
|
1348
|
+
</define>
|
|
1349
|
+
<define name="ContExp" combine="choice">
|
|
1350
|
+
<ref name="unary-linalg.class"/>
|
|
1351
|
+
</define>
|
|
1352
|
+
<define name="determinant">
|
|
1353
|
+
<element name="determinant">
|
|
1354
|
+
<ref name="CommonAtt"/>
|
|
1355
|
+
<ref name="DefEncAtt"/>
|
|
1356
|
+
<empty/>
|
|
1357
|
+
</element>
|
|
1358
|
+
</define>
|
|
1359
|
+
<define name="transpose">
|
|
1360
|
+
<element name="transpose">
|
|
1361
|
+
<ref name="CommonAtt"/>
|
|
1362
|
+
<ref name="DefEncAtt"/>
|
|
1363
|
+
<empty/>
|
|
1364
|
+
</element>
|
|
1365
|
+
</define>
|
|
1366
|
+
<define name="nary-linalg.class">
|
|
1367
|
+
<ref name="selector"/>
|
|
1368
|
+
</define>
|
|
1369
|
+
<define name="ContExp" combine="choice">
|
|
1370
|
+
<ref name="nary-linalg.class"/>
|
|
1371
|
+
</define>
|
|
1372
|
+
<define name="selector">
|
|
1373
|
+
<element name="selector">
|
|
1374
|
+
<ref name="CommonAtt"/>
|
|
1375
|
+
<ref name="DefEncAtt"/>
|
|
1376
|
+
<empty/>
|
|
1377
|
+
</element>
|
|
1378
|
+
</define>
|
|
1379
|
+
<define name="binary-linalg.class">
|
|
1380
|
+
<choice>
|
|
1381
|
+
<ref name="vectorproduct"/>
|
|
1382
|
+
<ref name="scalarproduct"/>
|
|
1383
|
+
<ref name="outerproduct"/>
|
|
1384
|
+
</choice>
|
|
1385
|
+
</define>
|
|
1386
|
+
<define name="ContExp" combine="choice">
|
|
1387
|
+
<ref name="binary-linalg.class"/>
|
|
1388
|
+
</define>
|
|
1389
|
+
<define name="vectorproduct">
|
|
1390
|
+
<element name="vectorproduct">
|
|
1391
|
+
<ref name="CommonAtt"/>
|
|
1392
|
+
<ref name="DefEncAtt"/>
|
|
1393
|
+
<empty/>
|
|
1394
|
+
</element>
|
|
1395
|
+
</define>
|
|
1396
|
+
<define name="scalarproduct">
|
|
1397
|
+
<element name="scalarproduct">
|
|
1398
|
+
<ref name="CommonAtt"/>
|
|
1399
|
+
<ref name="DefEncAtt"/>
|
|
1400
|
+
<empty/>
|
|
1401
|
+
</element>
|
|
1402
|
+
</define>
|
|
1403
|
+
<define name="outerproduct">
|
|
1404
|
+
<element name="outerproduct">
|
|
1405
|
+
<ref name="CommonAtt"/>
|
|
1406
|
+
<ref name="DefEncAtt"/>
|
|
1407
|
+
<empty/>
|
|
1408
|
+
</element>
|
|
1409
|
+
</define>
|
|
1410
|
+
<define name="constant-set.class">
|
|
1411
|
+
<choice>
|
|
1412
|
+
<ref name="integers"/>
|
|
1413
|
+
<ref name="reals"/>
|
|
1414
|
+
<ref name="rationals"/>
|
|
1415
|
+
<ref name="naturalnumbers"/>
|
|
1416
|
+
<ref name="complexes"/>
|
|
1417
|
+
<ref name="primes"/>
|
|
1418
|
+
<ref name="emptyset"/>
|
|
1419
|
+
</choice>
|
|
1420
|
+
</define>
|
|
1421
|
+
<define name="ContExp" combine="choice">
|
|
1422
|
+
<ref name="constant-set.class"/>
|
|
1423
|
+
</define>
|
|
1424
|
+
<define name="integers">
|
|
1425
|
+
<element name="integers">
|
|
1426
|
+
<ref name="CommonAtt"/>
|
|
1427
|
+
<ref name="DefEncAtt"/>
|
|
1428
|
+
<empty/>
|
|
1429
|
+
</element>
|
|
1430
|
+
</define>
|
|
1431
|
+
<define name="reals">
|
|
1432
|
+
<element name="reals">
|
|
1433
|
+
<ref name="CommonAtt"/>
|
|
1434
|
+
<ref name="DefEncAtt"/>
|
|
1435
|
+
<empty/>
|
|
1436
|
+
</element>
|
|
1437
|
+
</define>
|
|
1438
|
+
<define name="rationals">
|
|
1439
|
+
<element name="rationals">
|
|
1440
|
+
<ref name="CommonAtt"/>
|
|
1441
|
+
<ref name="DefEncAtt"/>
|
|
1442
|
+
<empty/>
|
|
1443
|
+
</element>
|
|
1444
|
+
</define>
|
|
1445
|
+
<define name="naturalnumbers">
|
|
1446
|
+
<element name="naturalnumbers">
|
|
1447
|
+
<ref name="CommonAtt"/>
|
|
1448
|
+
<ref name="DefEncAtt"/>
|
|
1449
|
+
<empty/>
|
|
1450
|
+
</element>
|
|
1451
|
+
</define>
|
|
1452
|
+
<define name="complexes">
|
|
1453
|
+
<element name="complexes">
|
|
1454
|
+
<ref name="CommonAtt"/>
|
|
1455
|
+
<ref name="DefEncAtt"/>
|
|
1456
|
+
<empty/>
|
|
1457
|
+
</element>
|
|
1458
|
+
</define>
|
|
1459
|
+
<define name="primes">
|
|
1460
|
+
<element name="primes">
|
|
1461
|
+
<ref name="CommonAtt"/>
|
|
1462
|
+
<ref name="DefEncAtt"/>
|
|
1463
|
+
<empty/>
|
|
1464
|
+
</element>
|
|
1465
|
+
</define>
|
|
1466
|
+
<define name="emptyset">
|
|
1467
|
+
<element name="emptyset">
|
|
1468
|
+
<ref name="CommonAtt"/>
|
|
1469
|
+
<ref name="DefEncAtt"/>
|
|
1470
|
+
<empty/>
|
|
1471
|
+
</element>
|
|
1472
|
+
</define>
|
|
1473
|
+
<define name="constant-arith.class">
|
|
1474
|
+
<choice>
|
|
1475
|
+
<ref name="exponentiale"/>
|
|
1476
|
+
<ref name="imaginaryi"/>
|
|
1477
|
+
<ref name="notanumber"/>
|
|
1478
|
+
<ref name="true"/>
|
|
1479
|
+
<ref name="false"/>
|
|
1480
|
+
<ref name="pi"/>
|
|
1481
|
+
<ref name="eulergamma"/>
|
|
1482
|
+
<ref name="infinity"/>
|
|
1483
|
+
</choice>
|
|
1484
|
+
</define>
|
|
1485
|
+
<define name="ContExp" combine="choice">
|
|
1486
|
+
<ref name="constant-arith.class"/>
|
|
1487
|
+
</define>
|
|
1488
|
+
<define name="exponentiale">
|
|
1489
|
+
<element name="exponentiale">
|
|
1490
|
+
<ref name="CommonAtt"/>
|
|
1491
|
+
<ref name="DefEncAtt"/>
|
|
1492
|
+
<empty/>
|
|
1493
|
+
</element>
|
|
1494
|
+
</define>
|
|
1495
|
+
<define name="imaginaryi">
|
|
1496
|
+
<element name="imaginaryi">
|
|
1497
|
+
<ref name="CommonAtt"/>
|
|
1498
|
+
<ref name="DefEncAtt"/>
|
|
1499
|
+
<empty/>
|
|
1500
|
+
</element>
|
|
1501
|
+
</define>
|
|
1502
|
+
<define name="notanumber">
|
|
1503
|
+
<element name="notanumber">
|
|
1504
|
+
<ref name="CommonAtt"/>
|
|
1505
|
+
<ref name="DefEncAtt"/>
|
|
1506
|
+
<empty/>
|
|
1507
|
+
</element>
|
|
1508
|
+
</define>
|
|
1509
|
+
<define name="true">
|
|
1510
|
+
<element name="true">
|
|
1511
|
+
<ref name="CommonAtt"/>
|
|
1512
|
+
<ref name="DefEncAtt"/>
|
|
1513
|
+
<empty/>
|
|
1514
|
+
</element>
|
|
1515
|
+
</define>
|
|
1516
|
+
<define name="false">
|
|
1517
|
+
<element name="false">
|
|
1518
|
+
<ref name="CommonAtt"/>
|
|
1519
|
+
<ref name="DefEncAtt"/>
|
|
1520
|
+
<empty/>
|
|
1521
|
+
</element>
|
|
1522
|
+
</define>
|
|
1523
|
+
<define name="pi">
|
|
1524
|
+
<element name="pi">
|
|
1525
|
+
<ref name="CommonAtt"/>
|
|
1526
|
+
<ref name="DefEncAtt"/>
|
|
1527
|
+
<empty/>
|
|
1528
|
+
</element>
|
|
1529
|
+
</define>
|
|
1530
|
+
<define name="eulergamma">
|
|
1531
|
+
<element name="eulergamma">
|
|
1532
|
+
<ref name="CommonAtt"/>
|
|
1533
|
+
<ref name="DefEncAtt"/>
|
|
1534
|
+
<empty/>
|
|
1535
|
+
</element>
|
|
1536
|
+
</define>
|
|
1537
|
+
<define name="infinity">
|
|
1538
|
+
<element name="infinity">
|
|
1539
|
+
<ref name="CommonAtt"/>
|
|
1540
|
+
<ref name="DefEncAtt"/>
|
|
1541
|
+
<empty/>
|
|
1542
|
+
</element>
|
|
1543
|
+
</define>
|
|
1544
|
+
</grammar>
|