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 remaining resolution_space {
131 proposition eq ?X {{ a 1 b 2 c 3 }}
132 geometry_depends_on { CONTENTS_OF 0.X }
133 aperture { VALUE_SET 0.X }
140 remaining resolution_space {
141 proposition eq XValue 2
142 geometry_depends_on { CONTENTS_OF 0.XValue }
143 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
147 remaining resolution_space {
148 proposition member_at Y ?YKey ?YValue
149 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
150 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
152 resolution_strategy {
153 action_prototypes { set_value 0.YKey; set_value 0.YValue }
154 implementation_candidates {
155 { { 'e' } { 0.Y.e } }
156 { { 'f' } { 0.Y.f } }
162 proposition member_at Y ?YKey ?YValue
163 actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
164 depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
168 proposition eq XValue 2
169 geometry_depends_on { CONTENTS_OF 0.XValue }
170 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
173 actions { SetBoundValue 0.XValue 2 }
174 veracity_depends_on { CONTENTS_OF 0.XValue }
179 proposition eq XValue 2
180 actions { SetBoundValue 0.XValue 2 }
181 depends_on { CONTENTS_OF 0.XValue }
183 recheck eq ?X {{ a 1 b 2 c 3 }} {
184 consider eq ?X {{ a 1 b 2 c 3 }}
186 proposition eq ?X {{ a 1 b 2 c 3 }}
187 geometry_depends_on { CONTENTS_OF 0.X }
188 aperture { VALUE_SET 0.X }
191 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
192 veracity_depends_on { CONTENTS_OF 0.X }
197 proposition eq ?X {{ a 1 b 2 c 3 }}
198 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
199 depends_on { CONTENTS_OF 0.X }
202 remaining resolution_space {
203 proposition eq ?X {{ a 1 b 2 c 3 }}
204 geometry_depends_on { CONTENTS_OF 0.X }
205 aperture { VALUE_SET 0.X }
212 remaining resolution_space {
213 proposition eq XValue 2
214 geometry_depends_on { CONTENTS_OF 0.XValue }
215 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
219 remaining resolution_space {
220 proposition member_at Y ?YKey ?YValue
221 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
222 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
224 resolution_strategy {
225 action_prototypes { set_value 0.YKey; set_value 0.YValue }
226 implementation_candidates { { { 'f' } { 0.Y.f } } }
231 proposition member_at Y ?YKey ?YValue
232 actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
233 depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
237 proposition eq XValue 2
238 geometry_depends_on { CONTENTS_OF 0.XValue }
239 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
242 actions { SetBoundValue 0.XValue 2 }
243 veracity_depends_on { CONTENTS_OF 0.XValue }
248 proposition eq XValue 2
249 actions { SetBoundValue 0.XValue 2 }
250 depends_on { CONTENTS_OF 0.XValue }
252 recheck eq ?X {{ a 1 b 2 c 3 }} {
253 consider eq ?X {{ a 1 b 2 c 3 }}
255 proposition eq ?X {{ a 1 b 2 c 3 }}
256 geometry_depends_on { CONTENTS_OF 0.X }
257 aperture { VALUE_SET 0.X }
260 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
261 veracity_depends_on { CONTENTS_OF 0.X }
266 proposition eq ?X {{ a 1 b 2 c 3 }}
267 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
268 depends_on { CONTENTS_OF 0.X }
271 remaining resolution_space {
272 proposition eq ?X {{ a 1 b 2 c 3 }}
273 geometry_depends_on { CONTENTS_OF 0.X }
274 aperture { VALUE_SET 0.X }
281 remaining resolution_space {
282 proposition eq XValue 2
283 geometry_depends_on { CONTENTS_OF 0.XValue }
284 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
288 remaining resolution_space {
289 proposition member_at Y ?YKey ?YValue
290 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
291 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
295 remaining resolution_space {
296 proposition member_at X ?XKey ?XValue
297 geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
298 aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
300 resolution_strategy {
301 action_prototypes { set_value 0.XKey; set_value 0.XValue }
302 implementation_candidates {
303 { { 'b' } { 0.X.b } }
304 { { 'c' } { 0.X.c } }
310 proposition member_at X ?XKey ?XValue
311 actions { SetValue 0.XKey 'b'; BindValue 0.XValue 0.X.b }
312 depends_on { CONTENTS_OF 0.X.b; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
314 consider member_at Y ?YKey ?YValue
316 proposition member_at Y ?YKey ?YValue
317 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
318 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
320 resolution_strategy {
321 action_prototypes { set_value 0.YKey; set_value 0.YValue }
322 implementation_candidates {
323 { { 'd' } { 0.Y.d } }
324 { { 'e' } { 0.Y.e } }
325 { { 'f' } { 0.Y.f } }
331 proposition member_at Y ?YKey ?YValue
332 actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
333 depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
337 proposition eq XValue 2
338 geometry_depends_on { CONTENTS_OF 0.XValue }
339 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
340 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
342 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
347 proposition eq YValue 2
348 geometry_depends_on { CONTENTS_OF 0.YValue }
349 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
352 actions { SetBoundValue 0.YValue 2 }
353 veracity_depends_on { CONTENTS_OF 0.YValue }
358 proposition eq YValue 2
359 actions { SetBoundValue 0.YValue 2 }
360 depends_on { CONTENTS_OF 0.YValue }
362 recheck eq ?Y {{ d 1 e 2 f 3 }} {
363 consider eq ?Y {{ d 1 e 2 f 3 }}
365 proposition eq ?Y {{ d 1 e 2 f 3 }}
366 geometry_depends_on { CONTENTS_OF 0.Y }
367 aperture { VALUE_SET 0.Y }
370 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
371 veracity_depends_on { CONTENTS_OF 0.Y }
376 proposition eq ?Y {{ d 1 e 2 f 3 }}
377 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
378 depends_on { CONTENTS_OF 0.Y }
381 remaining resolution_space {
382 proposition eq ?Y {{ d 1 e 2 f 3 }}
383 geometry_depends_on { CONTENTS_OF 0.Y }
384 aperture { VALUE_SET 0.Y }
391 remaining resolution_space {
392 proposition eq YValue 2
393 geometry_depends_on { CONTENTS_OF 0.YValue }
394 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
398 remaining resolution_space {
399 proposition eq XValue 2
400 geometry_depends_on { CONTENTS_OF 0.XValue }
401 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
405 remaining resolution_space {
406 proposition member_at Y ?YKey ?YValue
407 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
408 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
410 resolution_strategy {
411 action_prototypes { set_value 0.YKey; set_value 0.YValue }
412 implementation_candidates {
413 { { 'e' } { 0.Y.e } }
414 { { 'f' } { 0.Y.f } }
420 proposition member_at Y ?YKey ?YValue
421 actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
422 depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
426 proposition eq XValue 2
427 geometry_depends_on { CONTENTS_OF 0.XValue }
428 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
429 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
431 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
434 proposition eq YValue 2
435 geometry_depends_on { CONTENTS_OF 0.YValue }
436 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e }
437 members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } }
439 resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } }
443 remaining resolution_space {
444 proposition member_at Y ?YKey ?YValue
445 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
446 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
448 resolution_strategy {
449 action_prototypes { set_value 0.YKey; set_value 0.YValue }
450 implementation_candidates { { { 'f' } { 0.Y.f } } }
455 proposition member_at Y ?YKey ?YValue
456 actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
457 depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
461 proposition eq XValue 2
462 geometry_depends_on { CONTENTS_OF 0.XValue }
463 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
464 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
466 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
469 proposition eq YValue 2
470 geometry_depends_on { CONTENTS_OF 0.YValue }
471 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
474 actions { SetBoundValue 0.YValue 2 }
475 veracity_depends_on { CONTENTS_OF 0.YValue }
480 proposition eq YValue 2
481 actions { SetBoundValue 0.YValue 2 }
482 depends_on { CONTENTS_OF 0.YValue }
484 recheck eq ?Y {{ d 1 e 2 f 3 }} {
485 consider eq ?Y {{ d 1 e 2 f 3 }}
487 proposition eq ?Y {{ d 1 e 2 f 3 }}
488 geometry_depends_on { CONTENTS_OF 0.Y }
489 aperture { VALUE_SET 0.Y }
492 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
493 veracity_depends_on { CONTENTS_OF 0.Y }
498 proposition eq ?Y {{ d 1 e 2 f 3 }}
499 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
500 depends_on { CONTENTS_OF 0.Y }
503 remaining resolution_space {
504 proposition eq ?Y {{ d 1 e 2 f 3 }}
505 geometry_depends_on { CONTENTS_OF 0.Y }
506 aperture { VALUE_SET 0.Y }
513 remaining resolution_space {
514 proposition eq YValue 2
515 geometry_depends_on { CONTENTS_OF 0.YValue }
516 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
520 remaining resolution_space {
521 proposition eq XValue 2
522 geometry_depends_on { CONTENTS_OF 0.XValue }
523 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
527 remaining resolution_space {
528 proposition member_at Y ?YKey ?YValue
529 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
530 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
534 remaining resolution_space {
535 proposition member_at X ?XKey ?XValue
536 geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
537 aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
539 resolution_strategy {
540 action_prototypes { set_value 0.XKey; set_value 0.XValue }
541 implementation_candidates { { { 'c' } { 0.X.c } } }
546 proposition member_at X ?XKey ?XValue
547 actions { SetValue 0.XKey 'c'; BindValue 0.XValue 0.X.c }
548 depends_on { CONTENTS_OF 0.X.c; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
550 consider member_at Y ?YKey ?YValue
552 proposition member_at Y ?YKey ?YValue
553 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
554 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
556 resolution_strategy {
557 action_prototypes { set_value 0.YKey; set_value 0.YValue }
558 implementation_candidates {
559 { { 'd' } { 0.Y.d } }
560 { { 'e' } { 0.Y.e } }
561 { { 'f' } { 0.Y.f } }
567 proposition member_at Y ?YKey ?YValue
568 actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
569 depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
573 proposition eq XValue 2
574 geometry_depends_on { CONTENTS_OF 0.XValue }
575 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
578 actions { SetBoundValue 0.XValue 2 }
579 veracity_depends_on { CONTENTS_OF 0.XValue }
584 proposition eq XValue 2
585 actions { SetBoundValue 0.XValue 2 }
586 depends_on { CONTENTS_OF 0.XValue }
588 recheck eq ?X {{ a 1 b 2 c 3 }} {
589 consider eq ?X {{ a 1 b 2 c 3 }}
591 proposition eq ?X {{ a 1 b 2 c 3 }}
592 geometry_depends_on { CONTENTS_OF 0.X }
593 aperture { VALUE_SET 0.X }
596 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
597 veracity_depends_on { CONTENTS_OF 0.X }
602 proposition eq ?X {{ a 1 b 2 c 3 }}
603 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
604 depends_on { CONTENTS_OF 0.X }
607 remaining resolution_space {
608 proposition eq ?X {{ a 1 b 2 c 3 }}
609 geometry_depends_on { CONTENTS_OF 0.X }
610 aperture { VALUE_SET 0.X }
617 remaining resolution_space {
618 proposition eq XValue 2
619 geometry_depends_on { CONTENTS_OF 0.XValue }
620 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
624 remaining resolution_space {
625 proposition member_at Y ?YKey ?YValue
626 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
627 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
629 resolution_strategy {
630 action_prototypes { set_value 0.YKey; set_value 0.YValue }
631 implementation_candidates {
632 { { 'e' } { 0.Y.e } }
633 { { 'f' } { 0.Y.f } }
639 proposition member_at Y ?YKey ?YValue
640 actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
641 depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
645 proposition eq XValue 2
646 geometry_depends_on { CONTENTS_OF 0.XValue }
647 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
650 actions { SetBoundValue 0.XValue 2 }
651 veracity_depends_on { CONTENTS_OF 0.XValue }
656 proposition eq XValue 2
657 actions { SetBoundValue 0.XValue 2 }
658 depends_on { CONTENTS_OF 0.XValue }
660 recheck eq ?X {{ a 1 b 2 c 3 }} {
661 consider eq ?X {{ a 1 b 2 c 3 }}
663 proposition eq ?X {{ a 1 b 2 c 3 }}
664 geometry_depends_on { CONTENTS_OF 0.X }
665 aperture { VALUE_SET 0.X }
668 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
669 veracity_depends_on { CONTENTS_OF 0.X }
674 proposition eq ?X {{ a 1 b 2 c 3 }}
675 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
676 depends_on { CONTENTS_OF 0.X }
679 remaining resolution_space {
680 proposition eq ?X {{ a 1 b 2 c 3 }}
681 geometry_depends_on { CONTENTS_OF 0.X }
682 aperture { VALUE_SET 0.X }
689 remaining resolution_space {
690 proposition eq XValue 2
691 geometry_depends_on { CONTENTS_OF 0.XValue }
692 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
696 remaining resolution_space {
697 proposition member_at Y ?YKey ?YValue
698 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
699 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
701 resolution_strategy {
702 action_prototypes { set_value 0.YKey; set_value 0.YValue }
703 implementation_candidates { { { 'f' } { 0.Y.f } } }
708 proposition member_at Y ?YKey ?YValue
709 actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
710 depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
714 proposition eq XValue 2
715 geometry_depends_on { CONTENTS_OF 0.XValue }
716 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
719 actions { SetBoundValue 0.XValue 2 }
720 veracity_depends_on { CONTENTS_OF 0.XValue }
725 proposition eq XValue 2
726 actions { SetBoundValue 0.XValue 2 }
727 depends_on { CONTENTS_OF 0.XValue }
729 recheck eq ?X {{ a 1 b 2 c 3 }} {
730 consider eq ?X {{ a 1 b 2 c 3 }}
732 proposition eq ?X {{ a 1 b 2 c 3 }}
733 geometry_depends_on { CONTENTS_OF 0.X }
734 aperture { VALUE_SET 0.X }
737 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
738 veracity_depends_on { CONTENTS_OF 0.X }
743 proposition eq ?X {{ a 1 b 2 c 3 }}
744 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
745 depends_on { CONTENTS_OF 0.X }
748 remaining resolution_space {
749 proposition eq ?X {{ a 1 b 2 c 3 }}
750 geometry_depends_on { CONTENTS_OF 0.X }
751 aperture { VALUE_SET 0.X }
758 remaining resolution_space {
759 proposition eq XValue 2
760 geometry_depends_on { CONTENTS_OF 0.XValue }
761 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
765 remaining resolution_space {
766 proposition member_at Y ?YKey ?YValue
767 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
768 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
772 remaining resolution_space {
773 proposition member_at X ?XKey ?XValue
774 geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
775 aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
779 remaining resolution_space {
780 proposition eq ?Y {{ d 1 e 2 f 3 }}
781 geometry_depends_on { CONTENTS_OF 0.Y }
782 aperture { VALUE_SET 0.Y }
786 remaining resolution_space {
787 proposition eq ?X {{ a 1 b 2 c 3 }}
788 geometry_depends_on { CONTENTS_OF 0.X }
789 aperture { VALUE_SET 0.X }