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 }
21 SetValue 0.X {{ a 1 b 2 c 3 }}
22 ? eq ?Y {{ d 1 e 2 f 3 }}
23 consider eq ?Y {{ d 1 e 2 f 3 }}
25 proposition eq ?Y {{ d 1 e 2 f 3 }}
26 geometry_depends_on { CONTENTS_OF 0.Y }
27 aperture { VALUE_SET 0.Y }
30 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
31 veracity_depends_on { CONTENTS_OF 0.Y }
36 proposition eq ?Y {{ d 1 e 2 f 3 }}
37 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
38 depends_on { CONTENTS_OF 0.Y }
40 SetValue 0.Y {{ d 1 e 2 f 3 }}
41 ? member_at X ?XKey ?XValue
42 consider member_at X ?XKey ?XValue
44 proposition member_at X ?XKey ?XValue
45 geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
46 aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
49 action_prototypes { set_value 0.XKey; set_value 0.XValue }
50 implementation_candidates {
59 proposition member_at X ?XKey ?XValue
60 actions { SetValue 0.XKey 'a'; BindValue 0.XValue 0.X.a }
61 depends_on { CONTENTS_OF 0.X.a; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
64 BindValue 0.XValue 0.X.a
65 ? member_at Y ?YKey ?YValue
66 consider member_at Y ?YKey ?YValue
68 proposition member_at Y ?YKey ?YValue
69 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
70 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
73 action_prototypes { set_value 0.YKey; set_value 0.YValue }
74 implementation_candidates {
83 proposition member_at Y ?YKey ?YValue
84 actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
85 depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
88 BindValue 0.YValue 0.Y.d
92 proposition eq XValue 2
93 geometry_depends_on { CONTENTS_OF 0.XValue }
94 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
97 actions { SetBoundValue 0.XValue 2 }
98 veracity_depends_on { CONTENTS_OF 0.XValue }
103 proposition eq XValue 2
104 actions { SetBoundValue 0.XValue 2 }
105 depends_on { CONTENTS_OF 0.XValue }
107 recheck eq ?X {{ a 1 b 2 c 3 }} {
108 consider eq ?X {{ a 1 b 2 c 3 }}
110 proposition eq ?X {{ a 1 b 2 c 3 }}
111 geometry_depends_on { CONTENTS_OF 0.X }
112 aperture { VALUE_SET 0.X }
115 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
116 veracity_depends_on { CONTENTS_OF 0.X }
121 proposition eq ?X {{ a 1 b 2 c 3 }}
122 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
123 depends_on { CONTENTS_OF 0.X }
126 remaining resolution_space {
127 proposition eq ?X {{ a 1 b 2 c 3 }}
128 geometry_depends_on { CONTENTS_OF 0.X }
129 aperture { VALUE_SET 0.X }
136 remaining resolution_space {
137 proposition eq XValue 2
138 geometry_depends_on { CONTENTS_OF 0.XValue }
139 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
143 remaining resolution_space {
144 proposition member_at Y ?YKey ?YValue
145 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
146 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
148 resolution_strategy {
149 action_prototypes { set_value 0.YKey; set_value 0.YValue }
150 implementation_candidates {
151 { { 'e' } { 0.Y.e } }
152 { { 'f' } { 0.Y.f } }
158 proposition member_at Y ?YKey ?YValue
159 actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
160 depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
164 proposition eq XValue 2
165 geometry_depends_on { CONTENTS_OF 0.XValue }
166 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
169 actions { SetBoundValue 0.XValue 2 }
170 veracity_depends_on { CONTENTS_OF 0.XValue }
175 proposition eq XValue 2
176 actions { SetBoundValue 0.XValue 2 }
177 depends_on { CONTENTS_OF 0.XValue }
179 recheck eq ?X {{ a 1 b 2 c 3 }} {
180 consider eq ?X {{ a 1 b 2 c 3 }}
182 proposition eq ?X {{ a 1 b 2 c 3 }}
183 geometry_depends_on { CONTENTS_OF 0.X }
184 aperture { VALUE_SET 0.X }
187 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
188 veracity_depends_on { CONTENTS_OF 0.X }
193 proposition eq ?X {{ a 1 b 2 c 3 }}
194 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
195 depends_on { CONTENTS_OF 0.X }
198 remaining resolution_space {
199 proposition eq ?X {{ a 1 b 2 c 3 }}
200 geometry_depends_on { CONTENTS_OF 0.X }
201 aperture { VALUE_SET 0.X }
208 remaining resolution_space {
209 proposition eq XValue 2
210 geometry_depends_on { CONTENTS_OF 0.XValue }
211 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
215 remaining resolution_space {
216 proposition member_at Y ?YKey ?YValue
217 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
218 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
220 resolution_strategy {
221 action_prototypes { set_value 0.YKey; set_value 0.YValue }
222 implementation_candidates { { { 'f' } { 0.Y.f } } }
227 proposition member_at Y ?YKey ?YValue
228 actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
229 depends_on { CONTENTS_OF 0.Y.f; 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.a }
238 actions { SetBoundValue 0.XValue 2 }
239 veracity_depends_on { CONTENTS_OF 0.XValue }
244 proposition eq XValue 2
245 actions { SetBoundValue 0.XValue 2 }
246 depends_on { CONTENTS_OF 0.XValue }
248 recheck eq ?X {{ a 1 b 2 c 3 }} {
249 consider eq ?X {{ a 1 b 2 c 3 }}
251 proposition eq ?X {{ a 1 b 2 c 3 }}
252 geometry_depends_on { CONTENTS_OF 0.X }
253 aperture { VALUE_SET 0.X }
256 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
257 veracity_depends_on { CONTENTS_OF 0.X }
262 proposition eq ?X {{ a 1 b 2 c 3 }}
263 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
264 depends_on { CONTENTS_OF 0.X }
267 remaining resolution_space {
268 proposition eq ?X {{ a 1 b 2 c 3 }}
269 geometry_depends_on { CONTENTS_OF 0.X }
270 aperture { VALUE_SET 0.X }
277 remaining resolution_space {
278 proposition eq XValue 2
279 geometry_depends_on { CONTENTS_OF 0.XValue }
280 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
284 remaining resolution_space {
285 proposition member_at Y ?YKey ?YValue
286 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
287 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
291 remaining resolution_space {
292 proposition member_at X ?XKey ?XValue
293 geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
294 aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
296 resolution_strategy {
297 action_prototypes { set_value 0.XKey; set_value 0.XValue }
298 implementation_candidates {
299 { { 'b' } { 0.X.b } }
300 { { 'c' } { 0.X.c } }
306 proposition member_at X ?XKey ?XValue
307 actions { SetValue 0.XKey 'b'; BindValue 0.XValue 0.X.b }
308 depends_on { CONTENTS_OF 0.X.b; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
310 consider member_at Y ?YKey ?YValue
312 proposition member_at Y ?YKey ?YValue
313 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
314 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
316 resolution_strategy {
317 action_prototypes { set_value 0.YKey; set_value 0.YValue }
318 implementation_candidates {
319 { { 'd' } { 0.Y.d } }
320 { { 'e' } { 0.Y.e } }
321 { { 'f' } { 0.Y.f } }
327 proposition member_at Y ?YKey ?YValue
328 actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
329 depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
333 proposition eq XValue 2
334 geometry_depends_on { CONTENTS_OF 0.XValue }
335 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
336 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
338 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
342 proposition eq YValue 2
343 geometry_depends_on { CONTENTS_OF 0.YValue }
344 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
347 actions { SetBoundValue 0.YValue 2 }
348 veracity_depends_on { CONTENTS_OF 0.YValue }
353 proposition eq YValue 2
354 actions { SetBoundValue 0.YValue 2 }
355 depends_on { CONTENTS_OF 0.YValue }
357 recheck eq ?Y {{ d 1 e 2 f 3 }} {
358 consider eq ?Y {{ d 1 e 2 f 3 }}
360 proposition eq ?Y {{ d 1 e 2 f 3 }}
361 geometry_depends_on { CONTENTS_OF 0.Y }
362 aperture { VALUE_SET 0.Y }
365 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
366 veracity_depends_on { CONTENTS_OF 0.Y }
371 proposition eq ?Y {{ d 1 e 2 f 3 }}
372 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
373 depends_on { CONTENTS_OF 0.Y }
376 remaining resolution_space {
377 proposition eq ?Y {{ d 1 e 2 f 3 }}
378 geometry_depends_on { CONTENTS_OF 0.Y }
379 aperture { VALUE_SET 0.Y }
386 remaining resolution_space {
387 proposition eq YValue 2
388 geometry_depends_on { CONTENTS_OF 0.YValue }
389 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
393 remaining resolution_space {
394 proposition eq XValue 2
395 geometry_depends_on { CONTENTS_OF 0.XValue }
396 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
400 remaining resolution_space {
401 proposition member_at Y ?YKey ?YValue
402 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
403 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
405 resolution_strategy {
406 action_prototypes { set_value 0.YKey; set_value 0.YValue }
407 implementation_candidates {
408 { { 'e' } { 0.Y.e } }
409 { { 'f' } { 0.Y.f } }
415 proposition member_at Y ?YKey ?YValue
416 actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
417 depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
421 proposition eq XValue 2
422 geometry_depends_on { CONTENTS_OF 0.XValue }
423 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
424 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
426 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
429 proposition eq YValue 2
430 geometry_depends_on { CONTENTS_OF 0.YValue }
431 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e }
432 members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } }
434 resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } }
437 remaining resolution_space {
438 proposition eq YValue 2
439 geometry_depends_on { CONTENTS_OF 0.YValue }
440 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e }
444 remaining resolution_space {
445 proposition eq XValue 2
446 geometry_depends_on { CONTENTS_OF 0.XValue }
447 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
451 remaining resolution_space {
452 proposition member_at Y ?YKey ?YValue
453 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
454 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
456 resolution_strategy {
457 action_prototypes { set_value 0.YKey; set_value 0.YValue }
458 implementation_candidates { { { 'f' } { 0.Y.f } } }
463 proposition member_at Y ?YKey ?YValue
464 actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
465 depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
469 proposition eq XValue 2
470 geometry_depends_on { CONTENTS_OF 0.XValue }
471 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
472 members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
474 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
477 proposition eq YValue 2
478 geometry_depends_on { CONTENTS_OF 0.YValue }
479 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
482 actions { SetBoundValue 0.YValue 2 }
483 veracity_depends_on { CONTENTS_OF 0.YValue }
488 proposition eq YValue 2
489 actions { SetBoundValue 0.YValue 2 }
490 depends_on { CONTENTS_OF 0.YValue }
492 recheck eq ?Y {{ d 1 e 2 f 3 }} {
493 consider eq ?Y {{ d 1 e 2 f 3 }}
495 proposition eq ?Y {{ d 1 e 2 f 3 }}
496 geometry_depends_on { CONTENTS_OF 0.Y }
497 aperture { VALUE_SET 0.Y }
500 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
501 veracity_depends_on { CONTENTS_OF 0.Y }
506 proposition eq ?Y {{ d 1 e 2 f 3 }}
507 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
508 depends_on { CONTENTS_OF 0.Y }
511 remaining resolution_space {
512 proposition eq ?Y {{ d 1 e 2 f 3 }}
513 geometry_depends_on { CONTENTS_OF 0.Y }
514 aperture { VALUE_SET 0.Y }
521 remaining resolution_space {
522 proposition eq YValue 2
523 geometry_depends_on { CONTENTS_OF 0.YValue }
524 aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
528 remaining resolution_space {
529 proposition eq XValue 2
530 geometry_depends_on { CONTENTS_OF 0.XValue }
531 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
535 remaining resolution_space {
536 proposition member_at Y ?YKey ?YValue
537 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
538 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
542 remaining resolution_space {
543 proposition member_at X ?XKey ?XValue
544 geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
545 aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
547 resolution_strategy {
548 action_prototypes { set_value 0.XKey; set_value 0.XValue }
549 implementation_candidates { { { 'c' } { 0.X.c } } }
554 proposition member_at X ?XKey ?XValue
555 actions { SetValue 0.XKey 'c'; BindValue 0.XValue 0.X.c }
556 depends_on { CONTENTS_OF 0.X.c; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
558 consider member_at Y ?YKey ?YValue
560 proposition member_at Y ?YKey ?YValue
561 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
562 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
564 resolution_strategy {
565 action_prototypes { set_value 0.YKey; set_value 0.YValue }
566 implementation_candidates {
567 { { 'd' } { 0.Y.d } }
568 { { 'e' } { 0.Y.e } }
569 { { 'f' } { 0.Y.f } }
575 proposition member_at Y ?YKey ?YValue
576 actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
577 depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
581 proposition eq XValue 2
582 geometry_depends_on { CONTENTS_OF 0.XValue }
583 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
586 actions { SetBoundValue 0.XValue 2 }
587 veracity_depends_on { CONTENTS_OF 0.XValue }
592 proposition eq XValue 2
593 actions { SetBoundValue 0.XValue 2 }
594 depends_on { CONTENTS_OF 0.XValue }
596 recheck eq ?X {{ a 1 b 2 c 3 }} {
597 consider eq ?X {{ a 1 b 2 c 3 }}
599 proposition eq ?X {{ a 1 b 2 c 3 }}
600 geometry_depends_on { CONTENTS_OF 0.X }
601 aperture { VALUE_SET 0.X }
604 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
605 veracity_depends_on { CONTENTS_OF 0.X }
610 proposition eq ?X {{ a 1 b 2 c 3 }}
611 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
612 depends_on { CONTENTS_OF 0.X }
615 remaining resolution_space {
616 proposition eq ?X {{ a 1 b 2 c 3 }}
617 geometry_depends_on { CONTENTS_OF 0.X }
618 aperture { VALUE_SET 0.X }
625 remaining resolution_space {
626 proposition eq XValue 2
627 geometry_depends_on { CONTENTS_OF 0.XValue }
628 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
632 remaining resolution_space {
633 proposition member_at Y ?YKey ?YValue
634 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
635 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
637 resolution_strategy {
638 action_prototypes { set_value 0.YKey; set_value 0.YValue }
639 implementation_candidates {
640 { { 'e' } { 0.Y.e } }
641 { { 'f' } { 0.Y.f } }
647 proposition member_at Y ?YKey ?YValue
648 actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
649 depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
653 proposition eq XValue 2
654 geometry_depends_on { CONTENTS_OF 0.XValue }
655 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
658 actions { SetBoundValue 0.XValue 2 }
659 veracity_depends_on { CONTENTS_OF 0.XValue }
664 proposition eq XValue 2
665 actions { SetBoundValue 0.XValue 2 }
666 depends_on { CONTENTS_OF 0.XValue }
668 recheck eq ?X {{ a 1 b 2 c 3 }} {
669 consider eq ?X {{ a 1 b 2 c 3 }}
671 proposition eq ?X {{ a 1 b 2 c 3 }}
672 geometry_depends_on { CONTENTS_OF 0.X }
673 aperture { VALUE_SET 0.X }
676 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
677 veracity_depends_on { CONTENTS_OF 0.X }
682 proposition eq ?X {{ a 1 b 2 c 3 }}
683 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
684 depends_on { CONTENTS_OF 0.X }
687 remaining resolution_space {
688 proposition eq ?X {{ a 1 b 2 c 3 }}
689 geometry_depends_on { CONTENTS_OF 0.X }
690 aperture { VALUE_SET 0.X }
697 remaining resolution_space {
698 proposition eq XValue 2
699 geometry_depends_on { CONTENTS_OF 0.XValue }
700 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
704 remaining resolution_space {
705 proposition member_at Y ?YKey ?YValue
706 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
707 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
709 resolution_strategy {
710 action_prototypes { set_value 0.YKey; set_value 0.YValue }
711 implementation_candidates { { { 'f' } { 0.Y.f } } }
716 proposition member_at Y ?YKey ?YValue
717 actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
718 depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
722 proposition eq XValue 2
723 geometry_depends_on { CONTENTS_OF 0.XValue }
724 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
727 actions { SetBoundValue 0.XValue 2 }
728 veracity_depends_on { CONTENTS_OF 0.XValue }
733 proposition eq XValue 2
734 actions { SetBoundValue 0.XValue 2 }
735 depends_on { CONTENTS_OF 0.XValue }
737 recheck eq ?X {{ a 1 b 2 c 3 }} {
738 consider eq ?X {{ a 1 b 2 c 3 }}
740 proposition eq ?X {{ a 1 b 2 c 3 }}
741 geometry_depends_on { CONTENTS_OF 0.X }
742 aperture { VALUE_SET 0.X }
745 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
746 veracity_depends_on { CONTENTS_OF 0.X }
751 proposition eq ?X {{ a 1 b 2 c 3 }}
752 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
753 depends_on { CONTENTS_OF 0.X }
756 remaining resolution_space {
757 proposition eq ?X {{ a 1 b 2 c 3 }}
758 geometry_depends_on { CONTENTS_OF 0.X }
759 aperture { VALUE_SET 0.X }
766 remaining resolution_space {
767 proposition eq XValue 2
768 geometry_depends_on { CONTENTS_OF 0.XValue }
769 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
773 remaining resolution_space {
774 proposition member_at Y ?YKey ?YValue
775 geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
776 aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
780 remaining resolution_space {
781 proposition member_at X ?XKey ?XValue
782 geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
783 aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
787 remaining resolution_space {
788 proposition eq ?Y {{ d 1 e 2 f 3 }}
789 geometry_depends_on { CONTENTS_OF 0.Y }
790 aperture { VALUE_SET 0.Y }
794 remaining resolution_space {
795 proposition eq ?X {{ a 1 b 2 c 3 }}
796 geometry_depends_on { CONTENTS_OF 0.X }
797 aperture { VALUE_SET 0.X }