3 ? eq ?X {{ a 1 b 2 c 3 }}
4 consider eq ?X {{ a 1 b 2 c 3 }}
6 proposition eq ?X {{ a 1 b 2 c 3 }}
7 geometry_depends_on { CONTENTS_OF 0.X }
8 aperture { VALUE_SET 0.X }
11 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
12 veracity_depends_on { CONTENTS_OF 0.X }
17 proposition eq ?X {{ a 1 b 2 c 3 }}
18 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
19 depends_on { CONTENTS_OF 0.X }
22 SetValue 0.X {{ a 1 b 2 c 3 }}
23 ? eq ?Y {{ d 1 e 2 f 3 }}
24 consider eq ?Y {{ d 1 e 2 f 3 }}
26 proposition eq ?Y {{ d 1 e 2 f 3 }}
27 geometry_depends_on { CONTENTS_OF 0.Y }
28 aperture { VALUE_SET 0.Y }
31 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
32 veracity_depends_on { CONTENTS_OF 0.Y }
37 proposition eq ?Y {{ d 1 e 2 f 3 }}
38 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
39 depends_on { CONTENTS_OF 0.Y }
42 SetValue 0.Y {{ d 1 e 2 f 3 }}
43 ? member_at X ?XKey ?XValue
44 consider member_at X ?XKey ?XValue
46 proposition member_at X ?XKey ?XValue
47 geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
48 aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
51 action_prototypes { set_value 0.XKey; set_value 0.XValue }
52 implementation_candidates {
61 proposition member_at X ?XKey ?XValue
62 actions { SetValue 0.XKey 'a'; BindValue 0.XValue 0.X.a }
63 depends_on { CONTENTS_OF 0.X.a; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
67 BindValue 0.XValue 0.X.a
68 ? member_at Y ?YKey ?YValue
69 consider member_at Y ?YKey ?YValue
71 proposition member_at Y ?YKey ?YValue
72 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
73 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
76 action_prototypes { set_value 0.YKey; set_value 0.YValue }
77 implementation_candidates {
86 proposition member_at Y ?YKey ?YValue
87 actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
88 depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
92 BindValue 0.YValue 0.Y.d
96 proposition eq XValue 2
97 geometry_depends_on { CONTENTS_OF 0.XValue }
98 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
101 actions { SetBoundValue 0.XValue 2 }
102 veracity_depends_on { CONTENTS_OF 0.XValue }
107 proposition eq XValue 2
108 actions { SetBoundValue 0.XValue 2 }
109 depends_on { CONTENTS_OF 0.XValue }
111 recheck eq ?X {{ a 1 b 2 c 3 }} {
112 consider eq ?X {{ a 1 b 2 c 3 }}
114 proposition eq ?X {{ a 1 b 2 c 3 }}
115 geometry_depends_on { CONTENTS_OF 0.X }
116 aperture { VALUE_SET 0.X }
119 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
120 veracity_depends_on { CONTENTS_OF 0.X }
125 proposition eq ?X {{ a 1 b 2 c 3 }}
126 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
127 depends_on { CONTENTS_OF 0.X }
130 failure_dependencies { CONTENTS_OF 0.X }
136 failure_dependencies { CONTENTS_OF 0.X; CONTENTS_OF 0.XValue }
138 for member_at Y ?YKey ?YValue
139 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
143 for member_at X ?XKey ?XValue
144 aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
149 proposition member_at X ?XKey ?XValue
150 actions { SetValue 0.XKey 'b'; BindValue 0.XValue 0.X.b }
151 depends_on { CONTENTS_OF 0.X.b; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
153 consider member_at Y ?YKey ?YValue
155 proposition member_at Y ?YKey ?YValue
156 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
157 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
159 resolution_strategy {
160 action_prototypes { set_value 0.YKey; set_value 0.YValue }
161 implementation_candidates {
162 { { 'd' } { 0.Y.d } }
163 { { 'e' } { 0.Y.e } }
164 { { 'f' } { 0.Y.f } }
170 proposition member_at Y ?YKey ?YValue
171 actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
172 depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
176 proposition eq XValue 2
177 geometry_depends_on { CONTENTS_OF 0.XValue }
178 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
179 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
181 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
186 proposition eq YValue 2
187 geometry_depends_on { CONTENTS_OF 0.YValue }
188 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
191 actions { SetBoundValue 0.YValue 2 }
192 veracity_depends_on { CONTENTS_OF 0.YValue }
197 proposition eq YValue 2
198 actions { SetBoundValue 0.YValue 2 }
199 depends_on { CONTENTS_OF 0.YValue }
201 recheck eq ?Y {{ d 1 e 2 f 3 }} {
202 consider eq ?Y {{ d 1 e 2 f 3 }}
204 proposition eq ?Y {{ d 1 e 2 f 3 }}
205 geometry_depends_on { CONTENTS_OF 0.Y }
206 aperture { VALUE_SET 0.Y }
209 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
210 veracity_depends_on { CONTENTS_OF 0.Y }
215 proposition eq ?Y {{ d 1 e 2 f 3 }}
216 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
217 depends_on { CONTENTS_OF 0.Y }
220 failure_dependencies { CONTENTS_OF 0.Y }
226 failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
227 decision { for eq XValue 2 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } }
230 for member_at Y ?YKey ?YValue
231 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
236 proposition member_at Y ?YKey ?YValue
237 actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
238 depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
242 proposition eq XValue 2
243 geometry_depends_on { CONTENTS_OF 0.XValue }
244 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
245 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
247 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
250 proposition eq YValue 2
251 geometry_depends_on { CONTENTS_OF 0.YValue }
252 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e }
253 members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } }
255 resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } }
259 remaining resolution_space {
260 proposition member_at Y ?YKey ?YValue
261 geometry_depends_on {
266 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
268 resolution_strategy {
269 action_prototypes { set_value 0.YKey; set_value 0.YValue }
270 implementation_candidates { { { 'f' } { 0.Y.f } } }
275 proposition member_at Y ?YKey ?YValue
276 actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
277 depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
281 proposition eq XValue 2
282 geometry_depends_on { CONTENTS_OF 0.XValue }
283 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
284 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
286 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
289 proposition eq YValue 2
290 geometry_depends_on { CONTENTS_OF 0.YValue }
291 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
294 actions { SetBoundValue 0.YValue 2 }
295 veracity_depends_on { CONTENTS_OF 0.YValue }
300 proposition eq YValue 2
301 actions { SetBoundValue 0.YValue 2 }
302 depends_on { CONTENTS_OF 0.YValue }
304 recheck eq ?Y {{ d 1 e 2 f 3 }} {
305 consider eq ?Y {{ d 1 e 2 f 3 }}
307 proposition eq ?Y {{ d 1 e 2 f 3 }}
308 geometry_depends_on { CONTENTS_OF 0.Y }
309 aperture { VALUE_SET 0.Y }
312 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
313 veracity_depends_on { CONTENTS_OF 0.Y }
318 proposition eq ?Y {{ d 1 e 2 f 3 }}
319 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
320 depends_on { CONTENTS_OF 0.Y }
323 failure_dependencies { CONTENTS_OF 0.Y }
329 failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
330 decision { for eq XValue 2 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } }
333 for member_at Y ?YKey ?YValue
334 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
336 failure_dependencies {
342 for member_at X ?XKey ?XValue
343 aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
346 decision { for eq ?Y {{ d 1 e 2 f 3 }} aperture { VALUE_SET 0.Y } }
347 failure_dependencies {
352 decision { for eq ?X {{ a 1 b 2 c 3 }} aperture { VALUE_SET 0.X } }