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 }
137 decision { for member_at Y ?YKey ?YValue }
139 decision { for member_at X ?XKey ?XValue }
143 proposition member_at X ?XKey ?XValue
144 actions { SetValue 0.XKey 'b'; BindValue 0.XValue 0.X.b }
145 depends_on { CONTENTS_OF 0.X.b; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
147 consider member_at Y ?YKey ?YValue
149 proposition member_at Y ?YKey ?YValue
150 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
151 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
153 resolution_strategy {
154 action_prototypes { set_value 0.YKey; set_value 0.YValue }
155 implementation_candidates {
156 { { 'd' } { 0.Y.d } }
157 { { 'e' } { 0.Y.e } }
158 { { 'f' } { 0.Y.f } }
164 proposition member_at Y ?YKey ?YValue
165 actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
166 depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
170 proposition eq XValue 2
171 geometry_depends_on { CONTENTS_OF 0.XValue }
172 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
173 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
175 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
180 proposition eq YValue 2
181 geometry_depends_on { CONTENTS_OF 0.YValue }
182 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
185 actions { SetBoundValue 0.YValue 2 }
186 veracity_depends_on { CONTENTS_OF 0.YValue }
191 proposition eq YValue 2
192 actions { SetBoundValue 0.YValue 2 }
193 depends_on { CONTENTS_OF 0.YValue }
195 recheck eq ?Y {{ d 1 e 2 f 3 }} {
196 consider eq ?Y {{ d 1 e 2 f 3 }}
198 proposition eq ?Y {{ d 1 e 2 f 3 }}
199 geometry_depends_on { CONTENTS_OF 0.Y }
200 aperture { VALUE_SET 0.Y }
203 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
204 veracity_depends_on { CONTENTS_OF 0.Y }
209 proposition eq ?Y {{ d 1 e 2 f 3 }}
210 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
211 depends_on { CONTENTS_OF 0.Y }
214 failure_dependencies { CONTENTS_OF 0.Y }
220 failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
221 decision { for eq XValue 2 }
223 decision { for member_at Y ?YKey ?YValue }
227 proposition member_at Y ?YKey ?YValue
228 actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
229 depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
233 proposition eq XValue 2
234 geometry_depends_on { CONTENTS_OF 0.XValue }
235 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
236 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
238 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
241 proposition eq YValue 2
242 geometry_depends_on { CONTENTS_OF 0.YValue }
243 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e }
244 members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } }
246 resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } }
250 remaining resolution_space {
251 proposition member_at Y ?YKey ?YValue
252 geometry_depends_on {
257 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
259 resolution_strategy {
260 action_prototypes { set_value 0.YKey; set_value 0.YValue }
261 implementation_candidates { { { 'f' } { 0.Y.f } } }
266 proposition member_at Y ?YKey ?YValue
267 actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
268 depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
272 proposition eq XValue 2
273 geometry_depends_on { CONTENTS_OF 0.XValue }
274 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
275 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
277 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
280 proposition eq YValue 2
281 geometry_depends_on { CONTENTS_OF 0.YValue }
282 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
285 actions { SetBoundValue 0.YValue 2 }
286 veracity_depends_on { CONTENTS_OF 0.YValue }
291 proposition eq YValue 2
292 actions { SetBoundValue 0.YValue 2 }
293 depends_on { CONTENTS_OF 0.YValue }
295 recheck eq ?Y {{ d 1 e 2 f 3 }} {
296 consider eq ?Y {{ d 1 e 2 f 3 }}
298 proposition eq ?Y {{ d 1 e 2 f 3 }}
299 geometry_depends_on { CONTENTS_OF 0.Y }
300 aperture { VALUE_SET 0.Y }
303 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
304 veracity_depends_on { CONTENTS_OF 0.Y }
309 proposition eq ?Y {{ d 1 e 2 f 3 }}
310 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
311 depends_on { CONTENTS_OF 0.Y }
314 failure_dependencies { CONTENTS_OF 0.Y }
320 failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
321 decision { for eq XValue 2 }
323 decision { for member_at Y ?YKey ?YValue }
324 failure_dependencies {
329 decision { for member_at X ?XKey ?XValue }
331 decision { for eq ?Y {{ d 1 e 2 f 3 }} }
332 failure_dependencies {
337 decision { for eq ?X {{ a 1 b 2 c 3 }} }