annotate sparql/sparql/test/dawg/data-r2/expr-equals/result-eq2-1.ttl @ 0:7785ad38967f default tip

Uploaded
author atsuko
date Thu, 25 Aug 2011 22:14:55 -0400
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
7785ad38967f Uploaded
atsuko
parents:
diff changeset
1 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
7785ad38967f Uploaded
atsuko
parents:
diff changeset
2 @prefix rs: <http://www.w3.org/2001/sw/DataAccess/tests/result-set#> .
7785ad38967f Uploaded
atsuko
parents:
diff changeset
3 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
7785ad38967f Uploaded
atsuko
parents:
diff changeset
4 @prefix : <http://example.org/things#> .
7785ad38967f Uploaded
atsuko
parents:
diff changeset
5
7785ad38967f Uploaded
atsuko
parents:
diff changeset
6 [] rdf:type rs:ResultSet ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
7 rs:resultVariable "v2" ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
8 rs:resultVariable "v1" ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
9 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
10 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
11 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
12 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
13 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
14 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
15 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
16 rs:solution [ rs:binding [ rs:value "zzz"^^:myType ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
17 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
18 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
19 rs:binding [ rs:value "zzz"^^:myType ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
20 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
21 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
22 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
23 rs:solution [ rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
24 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
25 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
26 rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
27 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
28 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
29 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
30 rs:solution [ rs:binding [ rs:value "zzz" ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
31 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
32 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
33 rs:binding [ rs:value "zzz" ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
34 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
35 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
36 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
37 rs:solution [ rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
38 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
39 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
40 rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
41 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
42 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
43 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
44 rs:solution [ rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
45 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
46 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
47 rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
48 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
49 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
50 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
51 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
52 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
53 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
54 rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
55 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
56 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
57 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
58 rs:solution [ rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
59 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
60 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
61 rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
62 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
63 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
64 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
65 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
66 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
67 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
68 rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
69 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
70 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
71 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
72 rs:solution [ rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
73 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
74 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
75 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
76 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
77 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
78 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
79 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
80 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
81 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
82 rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
83 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
84 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
85 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
86 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
87 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
88 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
89 rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
90 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
91 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
92 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
93 rs:solution [ rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
94 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
95 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
96 rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
97 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
98 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
99 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
100 rs:solution [ rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
101 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
102 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
103 rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
104 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
105 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
106 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
107 rs:solution [ rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
108 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
109 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
110 rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
111 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
112 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
113 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
114 rs:solution [ rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
115 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
116 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
117 rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
118 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
119 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
120 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
121 rs:solution [ rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
122 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
123 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
124 rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
125 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
126 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
127 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
128 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
129 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
130 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
131 rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
132 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
133 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
134 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
135 rs:solution [ rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
136 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
137 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
138 rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
139 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
140 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
141 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
142 rs:solution [ rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
143 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
144 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
145 rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
146 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
147 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
148 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
149 rs:solution [ rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
150 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
151 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
152 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
153 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
154 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
155 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
156 rs:solution [ rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
157 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
158 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
159 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
160 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
161 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
162 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
163 rs:solution [ rs:binding [ rs:value "1" ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
164 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
165 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
166 rs:binding [ rs:value "1" ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
167 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
168 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
169 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
170 rs:solution [ rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
171 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
172 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
173 rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
174 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
175 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
176 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
177 rs:solution [ rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
178 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
179 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
180 rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
181 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
182 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
183 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
184 rs:solution [ rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
185 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
186 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
187 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
188 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
189 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
190 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
191 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
192 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
193 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
194 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
195 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
196 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
197 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
198 rs:solution [ rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
199 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
200 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
201 rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
202 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
203 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
204 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
205 rs:solution [ rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
206 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
207 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
208 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
209 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
210 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
211 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
212 rs:solution [ rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
213 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
214 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
215 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
216 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
217 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
218 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
219 rs:solution [ rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
220 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
221 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
222 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
223 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
224 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
225 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
226 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
227 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
228 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
229 rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
230 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
231 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
232 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
233 rs:solution [ rs:binding [ rs:value "1.0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
234 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
235 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
236 rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
237 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
238 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
239 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
240 rs:solution [ rs:binding [ rs:value :z ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
241 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
242 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
243 rs:binding [ rs:value :z ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
244 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
245 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
246 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
247 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
248 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
249 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
250 rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
251 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
252 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
253 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
254 rs:solution [ rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
255 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
256 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
257 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
258 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
259 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
260 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
261 rs:solution [ rs:binding [ rs:value "1.0e0"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
262 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
263 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
264 rs:binding [ rs:value "01"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
265 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
266 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
267 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
268 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
269 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
270 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
271 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
272 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
273 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
274 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
275 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
276 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
277 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
278 rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
279 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
280 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
281 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
282 rs:solution [ rs:binding [ rs:value "1"^^xsd:integer ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
283 rs:variable "v1"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
284 ] ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
285 rs:binding [ rs:value "1"^^xsd:double ;
7785ad38967f Uploaded
atsuko
parents:
diff changeset
286 rs:variable "v2"
7785ad38967f Uploaded
atsuko
parents:
diff changeset
287 ]
7785ad38967f Uploaded
atsuko
parents:
diff changeset
288 ] .