|
0
|
1 # $Id: manifest.ttl,v 1.7 2007/09/26 14:28:52 lfeigenb Exp $
|
|
|
2
|
|
|
3 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
|
|
|
4 @prefix : <http://www.w3.org/2001/sw/DataAccess/tests/data-r2/type-promotion/manifest#> .
|
|
|
5 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
|
|
|
6 @prefix dawgt: <http://www.w3.org/2001/sw/DataAccess/tests/test-dawg#> .
|
|
|
7 @prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
|
|
|
8 @prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
|
|
|
9
|
|
|
10 <> rdf:type mf:Manifest ;
|
|
|
11 rdfs:comment "Type Promotion Tests" ;
|
|
|
12 mf:entries
|
|
|
13 (
|
|
|
14 :type-promotion-01
|
|
|
15 :type-promotion-02
|
|
|
16 :type-promotion-03
|
|
|
17 :type-promotion-04
|
|
|
18 :type-promotion-05
|
|
|
19 :type-promotion-06
|
|
|
20 :type-promotion-07
|
|
|
21 :type-promotion-08
|
|
|
22 :type-promotion-09
|
|
|
23 :type-promotion-10
|
|
|
24 :type-promotion-11
|
|
|
25 :type-promotion-12
|
|
|
26 :type-promotion-13
|
|
|
27 :type-promotion-14
|
|
|
28 :type-promotion-15
|
|
|
29 :type-promotion-16
|
|
|
30 :type-promotion-17
|
|
|
31 :type-promotion-18
|
|
|
32 :type-promotion-19
|
|
|
33 :type-promotion-20
|
|
|
34 :type-promotion-21
|
|
|
35 :type-promotion-22
|
|
|
36 :type-promotion-23
|
|
|
37 :type-promotion-24
|
|
|
38 :type-promotion-25
|
|
|
39 :type-promotion-26
|
|
|
40 :type-promotion-27
|
|
|
41 :type-promotion-28
|
|
|
42 :type-promotion-29
|
|
|
43 :type-promotion-30
|
|
|
44 ) .
|
|
|
45
|
|
|
46
|
|
|
47 :type-promotion-01 rdf:type mf:QueryEvaluationTest ;
|
|
|
48 mf:name "tP-double-double" ;
|
|
|
49 qt:queryForm qt:QueryAsk ;
|
|
|
50 dawgt:approval dawgt:Approved ;
|
|
|
51 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
52 rdfs:comment
|
|
|
53 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
54 mf:action
|
|
|
55 [ qt:data <tP.ttl> ;
|
|
|
56 qt:query <tP-double-double.rq> ] ;
|
|
|
57 mf:result <true.ttl>
|
|
|
58 .
|
|
|
59 :type-promotion-02 rdf:type mf:QueryEvaluationTest ;
|
|
|
60 mf:name "tP-double-float" ;
|
|
|
61 qt:queryForm qt:QueryAsk ;
|
|
|
62 dawgt:approval dawgt:Approved ;
|
|
|
63 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
64 rdfs:comment
|
|
|
65 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
66 mf:action
|
|
|
67 [ qt:data <tP.ttl> ;
|
|
|
68 qt:query <tP-double-float.rq> ] ;
|
|
|
69 mf:result <true.ttl>
|
|
|
70 .
|
|
|
71 :type-promotion-03 rdf:type mf:QueryEvaluationTest ;
|
|
|
72 mf:name "tP-double-decimal" ;
|
|
|
73 qt:queryForm qt:QueryAsk ;
|
|
|
74 dawgt:approval dawgt:Approved ;
|
|
|
75 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
76 rdfs:comment
|
|
|
77 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
78 mf:action
|
|
|
79 [ qt:data <tP.ttl> ;
|
|
|
80 qt:query <tP-double-decimal.rq> ] ;
|
|
|
81 mf:result <true.ttl>
|
|
|
82 .
|
|
|
83 :type-promotion-04 rdf:type mf:QueryEvaluationTest ;
|
|
|
84 mf:name "tP-float-float" ;
|
|
|
85 qt:queryForm qt:QueryAsk ;
|
|
|
86 dawgt:approval dawgt:Approved ;
|
|
|
87 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
88 rdfs:comment
|
|
|
89 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
90 mf:action
|
|
|
91 [ qt:data <tP.ttl> ;
|
|
|
92 qt:query <tP-float-float.rq> ] ;
|
|
|
93 mf:result <true.ttl>
|
|
|
94 .
|
|
|
95 :type-promotion-05 rdf:type mf:QueryEvaluationTest ;
|
|
|
96 mf:name "tP-float-decimal" ;
|
|
|
97 qt:queryForm qt:QueryAsk ;
|
|
|
98 dawgt:approval dawgt:Approved ;
|
|
|
99 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
100 rdfs:comment
|
|
|
101 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
102 mf:action
|
|
|
103 [ qt:data <tP.ttl> ;
|
|
|
104 qt:query <tP-float-decimal.rq> ] ;
|
|
|
105 mf:result <true.ttl>
|
|
|
106 .
|
|
|
107 :type-promotion-06 rdf:type mf:QueryEvaluationTest ;
|
|
|
108 mf:name "tP-decimal-decimal" ;
|
|
|
109 qt:queryForm qt:QueryAsk ;
|
|
|
110 dawgt:approval dawgt:Approved ;
|
|
|
111 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
112 rdfs:comment
|
|
|
113 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
114 mf:action
|
|
|
115 [ qt:data <tP.ttl> ;
|
|
|
116 qt:query <tP-decimal-decimal.rq> ] ;
|
|
|
117 mf:result <true.ttl>
|
|
|
118 .
|
|
|
119 :type-promotion-07 rdf:type mf:QueryEvaluationTest ;
|
|
|
120 mf:name "tP-integer-short" ;
|
|
|
121 qt:queryForm qt:QueryAsk ;
|
|
|
122 dawgt:approval dawgt:Approved ;
|
|
|
123 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
124 rdfs:comment
|
|
|
125 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
126 mf:action
|
|
|
127 [ qt:data <tP.ttl> ;
|
|
|
128 qt:query <tP-integer-short.rq> ] ;
|
|
|
129 mf:result <true.ttl>
|
|
|
130 .
|
|
|
131 :type-promotion-08 rdf:type mf:QueryEvaluationTest ;
|
|
|
132 mf:name "tP-nonPositiveInteger-short" ;
|
|
|
133 qt:queryForm qt:QueryAsk ;
|
|
|
134 dawgt:approval dawgt:Approved ;
|
|
|
135 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
136 rdfs:comment
|
|
|
137 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
138 mf:action
|
|
|
139 [ qt:data <tP.ttl> ;
|
|
|
140 qt:query <tP-nonPositiveInteger-short.rq> ] ;
|
|
|
141 mf:result <true.ttl>
|
|
|
142 .
|
|
|
143 :type-promotion-09 rdf:type mf:QueryEvaluationTest ;
|
|
|
144 mf:name "tP-negativeInteger-short" ;
|
|
|
145 qt:queryForm qt:QueryAsk ;
|
|
|
146 dawgt:approval dawgt:Approved ;
|
|
|
147 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
148 rdfs:comment
|
|
|
149 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
150 mf:action
|
|
|
151 [ qt:data <tP.ttl> ;
|
|
|
152 qt:query <tP-negativeInteger-short.rq> ] ;
|
|
|
153 mf:result <true.ttl>
|
|
|
154 .
|
|
|
155 :type-promotion-10 rdf:type mf:QueryEvaluationTest ;
|
|
|
156 mf:name "tP-long-short" ;
|
|
|
157 qt:queryForm qt:QueryAsk ;
|
|
|
158 dawgt:approval dawgt:Approved ;
|
|
|
159 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
160 rdfs:comment
|
|
|
161 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
162 mf:action
|
|
|
163 [ qt:data <tP.ttl> ;
|
|
|
164 qt:query <tP-long-short.rq> ] ;
|
|
|
165 mf:result <true.ttl>
|
|
|
166 .
|
|
|
167 :type-promotion-11 rdf:type mf:QueryEvaluationTest ;
|
|
|
168 mf:name "tP-int-short" ;
|
|
|
169 qt:queryForm qt:QueryAsk ;
|
|
|
170 dawgt:approval dawgt:Approved ;
|
|
|
171 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
172 rdfs:comment
|
|
|
173 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
174 mf:action
|
|
|
175 [ qt:data <tP.ttl> ;
|
|
|
176 qt:query <tP-int-short.rq> ] ;
|
|
|
177 mf:result <true.ttl>
|
|
|
178 .
|
|
|
179 :type-promotion-12 rdf:type mf:QueryEvaluationTest ;
|
|
|
180 mf:name "tP-short-short" ;
|
|
|
181 qt:queryForm qt:QueryAsk ;
|
|
|
182 dawgt:approval dawgt:Approved ;
|
|
|
183 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
184 rdfs:comment
|
|
|
185 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
186 mf:action
|
|
|
187 [ qt:data <tP.ttl> ;
|
|
|
188 qt:query <tP-short-short.rq> ] ;
|
|
|
189 mf:result <true.ttl>
|
|
|
190 .
|
|
|
191 :type-promotion-13 rdf:type mf:QueryEvaluationTest ;
|
|
|
192 mf:name "tP-byte-short" ;
|
|
|
193 qt:queryForm qt:QueryAsk ;
|
|
|
194 dawgt:approval dawgt:Approved ;
|
|
|
195 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
196 rdfs:comment
|
|
|
197 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
198 mf:action
|
|
|
199 [ qt:data <tP.ttl> ;
|
|
|
200 qt:query <tP-byte-short.rq> ] ;
|
|
|
201 mf:result <true.ttl>
|
|
|
202 .
|
|
|
203 :type-promotion-14 rdf:type mf:QueryEvaluationTest ;
|
|
|
204 mf:name "tP-nonNegativeInteger-short" ;
|
|
|
205 qt:queryForm qt:QueryAsk ;
|
|
|
206 dawgt:approval dawgt:Approved ;
|
|
|
207 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
208 rdfs:comment
|
|
|
209 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
210 mf:action
|
|
|
211 [ qt:data <tP.ttl> ;
|
|
|
212 qt:query <tP-nonNegativeInteger-short.rq> ] ;
|
|
|
213 mf:result <true.ttl>
|
|
|
214 .
|
|
|
215 :type-promotion-15 rdf:type mf:QueryEvaluationTest ;
|
|
|
216 mf:name "tP-unsignedLong-short" ;
|
|
|
217 qt:queryForm qt:QueryAsk ;
|
|
|
218 dawgt:approval dawgt:Approved ;
|
|
|
219 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
220 rdfs:comment
|
|
|
221 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
222 mf:action
|
|
|
223 [ qt:data <tP.ttl> ;
|
|
|
224 qt:query <tP-unsignedLong-short.rq> ] ;
|
|
|
225 mf:result <true.ttl>
|
|
|
226 .
|
|
|
227 :type-promotion-16 rdf:type mf:QueryEvaluationTest ;
|
|
|
228 mf:name "tP-unsignedInt-short" ;
|
|
|
229 qt:queryForm qt:QueryAsk ;
|
|
|
230 dawgt:approval dawgt:Approved ;
|
|
|
231 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
232 rdfs:comment
|
|
|
233 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
234 mf:action
|
|
|
235 [ qt:data <tP.ttl> ;
|
|
|
236 qt:query <tP-unsignedInt-short.rq> ] ;
|
|
|
237 mf:result <true.ttl>
|
|
|
238 .
|
|
|
239 :type-promotion-17 rdf:type mf:QueryEvaluationTest ;
|
|
|
240 mf:name "tP-unsignedShort-short" ;
|
|
|
241 qt:queryForm qt:QueryAsk ;
|
|
|
242 dawgt:approval dawgt:Approved ;
|
|
|
243 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
244 rdfs:comment
|
|
|
245 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
246 mf:action
|
|
|
247 [ qt:data <tP.ttl> ;
|
|
|
248 qt:query <tP-unsignedShort-short.rq> ] ;
|
|
|
249 mf:result <true.ttl>
|
|
|
250 .
|
|
|
251 :type-promotion-18 rdf:type mf:QueryEvaluationTest ;
|
|
|
252 mf:name "tP-unsignedByte-short" ;
|
|
|
253 qt:queryForm qt:QueryAsk ;
|
|
|
254 dawgt:approval dawgt:Approved ;
|
|
|
255 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
256 rdfs:comment
|
|
|
257 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
258 mf:action
|
|
|
259 [ qt:data <tP.ttl> ;
|
|
|
260 qt:query <tP-unsignedByte-short.rq> ] ;
|
|
|
261 mf:result <true.ttl>
|
|
|
262 .
|
|
|
263 :type-promotion-19 rdf:type mf:QueryEvaluationTest ;
|
|
|
264 mf:name "tP-positiveInteger-short" ;
|
|
|
265 qt:queryForm qt:QueryAsk ;
|
|
|
266 dawgt:approval dawgt:Approved ;
|
|
|
267 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
268 rdfs:comment
|
|
|
269 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
270 mf:action
|
|
|
271 [ qt:data <tP.ttl> ;
|
|
|
272 qt:query <tP-positiveInteger-short.rq> ] ;
|
|
|
273 mf:result <true.ttl>
|
|
|
274 .
|
|
|
275 :type-promotion-20 rdf:type mf:QueryEvaluationTest ;
|
|
|
276 mf:name "tP-short-double" ;
|
|
|
277 qt:queryForm qt:QueryAsk ;
|
|
|
278 dawgt:approval dawgt:Approved ;
|
|
|
279 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
280 rdfs:comment
|
|
|
281 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
282 mf:action
|
|
|
283 [ qt:data <tP.ttl> ;
|
|
|
284 qt:query <tP-short-double.rq> ] ;
|
|
|
285 mf:result <true.ttl>
|
|
|
286 .
|
|
|
287 :type-promotion-21 rdf:type mf:QueryEvaluationTest ;
|
|
|
288 mf:name "tP-short-float" ;
|
|
|
289 qt:queryForm qt:QueryAsk ;
|
|
|
290 dawgt:approval dawgt:Approved ;
|
|
|
291 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
292 rdfs:comment
|
|
|
293 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
294 mf:action
|
|
|
295 [ qt:data <tP.ttl> ;
|
|
|
296 qt:query <tP-short-float.rq> ] ;
|
|
|
297 mf:result <true.ttl>
|
|
|
298 .
|
|
|
299 :type-promotion-22 rdf:type mf:QueryEvaluationTest ;
|
|
|
300 mf:name "tP-short-decimal" ;
|
|
|
301 qt:queryForm qt:QueryAsk ;
|
|
|
302 dawgt:approval dawgt:Approved ;
|
|
|
303 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
304 rdfs:comment
|
|
|
305 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
306 mf:action
|
|
|
307 [ qt:data <tP.ttl> ;
|
|
|
308 qt:query <tP-short-decimal.rq> ] ;
|
|
|
309 mf:result <true.ttl>
|
|
|
310 .
|
|
|
311 :type-promotion-23 rdf:type mf:QueryEvaluationTest ;
|
|
|
312 mf:name "tP-short-short-fail" ;
|
|
|
313 qt:queryForm qt:QueryAsk ;
|
|
|
314 dawgt:approval dawgt:Approved ;
|
|
|
315 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
316 rdfs:comment
|
|
|
317 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
318 mf:action
|
|
|
319 [ qt:data <tP.ttl> ;
|
|
|
320 qt:query <tP-short-short-fail.rq> ] ;
|
|
|
321 mf:result <false.ttl>
|
|
|
322 .
|
|
|
323 :type-promotion-24 rdf:type mf:QueryEvaluationTest ;
|
|
|
324 mf:name "tP-byte-short-fail" ;
|
|
|
325 qt:queryForm qt:QueryAsk ;
|
|
|
326 dawgt:approval dawgt:Approved ;
|
|
|
327 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
328 rdfs:comment
|
|
|
329 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
330 mf:action
|
|
|
331 [ qt:data <tP.ttl> ;
|
|
|
332 qt:query <tP-byte-short-fail.rq> ] ;
|
|
|
333 mf:result <false.ttl>
|
|
|
334 .
|
|
|
335 :type-promotion-25 rdf:type mf:QueryEvaluationTest ;
|
|
|
336 mf:name "tP-short-long-fail" ;
|
|
|
337 qt:queryForm qt:QueryAsk ;
|
|
|
338 dawgt:approval dawgt:Approved ;
|
|
|
339 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
340 rdfs:comment
|
|
|
341 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
342 mf:action
|
|
|
343 [ qt:data <tP.ttl> ;
|
|
|
344 qt:query <tP-short-long-fail.rq> ] ;
|
|
|
345 mf:result <false.ttl>
|
|
|
346 .
|
|
|
347 :type-promotion-26 rdf:type mf:QueryEvaluationTest ;
|
|
|
348 mf:name "tP-short-int-fail" ;
|
|
|
349 qt:queryForm qt:QueryAsk ;
|
|
|
350 dawgt:approval dawgt:Approved ;
|
|
|
351 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
352 rdfs:comment
|
|
|
353 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
354 mf:action
|
|
|
355 [ qt:data <tP.ttl> ;
|
|
|
356 qt:query <tP-short-int-fail.rq> ] ;
|
|
|
357 mf:result <false.ttl>
|
|
|
358 .
|
|
|
359 :type-promotion-27 rdf:type mf:QueryEvaluationTest ;
|
|
|
360 mf:name "tP-short-byte-fail" ;
|
|
|
361 qt:queryForm qt:QueryAsk ;
|
|
|
362 dawgt:approval dawgt:Approved ;
|
|
|
363 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
364 rdfs:comment
|
|
|
365 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
366 mf:action
|
|
|
367 [ qt:data <tP.ttl> ;
|
|
|
368 qt:query <tP-short-byte-fail.rq> ] ;
|
|
|
369 mf:result <false.ttl>
|
|
|
370 .
|
|
|
371 :type-promotion-28 rdf:type mf:QueryEvaluationTest ;
|
|
|
372 mf:name "tP-double-float-fail" ;
|
|
|
373 qt:queryForm qt:QueryAsk ;
|
|
|
374 dawgt:approval dawgt:Approved ;
|
|
|
375 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
376 rdfs:comment
|
|
|
377 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
378 mf:action
|
|
|
379 [ qt:data <tP.ttl> ;
|
|
|
380 qt:query <tP-double-float-fail.rq> ] ;
|
|
|
381 mf:result <false.ttl>
|
|
|
382 .
|
|
|
383 :type-promotion-29 rdf:type mf:QueryEvaluationTest ;
|
|
|
384 mf:name "tP-double-decimal-fail" ;
|
|
|
385 qt:queryForm qt:QueryAsk ;
|
|
|
386 dawgt:approval dawgt:Approved ;
|
|
|
387 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
388 rdfs:comment
|
|
|
389 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
390 mf:action
|
|
|
391 [ qt:data <tP.ttl> ;
|
|
|
392 qt:query <tP-double-decimal-fail.rq> ] ;
|
|
|
393 mf:result <false.ttl>
|
|
|
394 .
|
|
|
395 :type-promotion-30 rdf:type mf:QueryEvaluationTest ;
|
|
|
396 mf:name "tP-float-decimal-fail" ;
|
|
|
397 qt:queryForm qt:QueryAsk ;
|
|
|
398 dawgt:approval dawgt:Approved ;
|
|
|
399 dawgt:approvedBy <http://www.w3.org/2007/07/17-dawg-minutes> ;
|
|
|
400 rdfs:comment
|
|
|
401 "Positive test: product of type promotion within the xsd:decimal type tree." ;
|
|
|
402 mf:action
|
|
|
403 [ qt:data <tP.ttl> ;
|
|
|
404 qt:query <tP-float-decimal-fail.rq> ] ;
|
|
|
405 mf:result <false.ttl>
|
|
|
406 .
|
