fragment.output/btdemo

   1 $ trace *
   2 $ ?
   3 ? eq ?X {{ a 1 b 2 c 3 }}
   4 consider eq ?X {{ a 1 b 2 c 3 }}
   5 resolution_space {
   6     proposition eq ?X {{ a 1 b 2 c 3 }}
   7     geometry_depends_on { CONTENTS_OF 0.X }
   8     aperture { VALUE_SET 0.X }
   9     members {
  10         resolution {
  11             actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
  12             veracity_depends_on { CONTENTS_OF 0.X }
  13         }
  14     }
  15 }
  16 resolve {
  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 }
  20 }
  21 solution
  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 }}
  25 resolution_space {
  26     proposition eq ?Y {{ d 1 e 2 f 3 }}
  27     geometry_depends_on { CONTENTS_OF 0.Y }
  28     aperture { VALUE_SET 0.Y }
  29     members {
  30         resolution {
  31             actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
  32             veracity_depends_on { CONTENTS_OF 0.Y }
  33         }
  34     }
  35 }
  36 resolve {
  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 }
  40 }
  41 solution
  42 SetValue 0.Y {{ d 1 e 2 f 3 }}
  43 ? member_at X ?XKey ?XValue
  44 consider member_at X ?XKey ?XValue
  45 resolution_space {
  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 }
  49     members {
  50         resolution_strategy {
  51             action_prototypes { set_value 0.XKey; set_value 0.XValue }
  52             implementation_candidates {
  53                 { { 'a' } { 0.X.a } }
  54                 { { 'b' } { 0.X.b } }
  55                 { { 'c' } { 0.X.c } }
  56             }
  57         }
  58     }
  59 }
  60 resolve {
  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 }
  64 }
  65 solution
  66 SetValue 0.XKey 'a'
  67 BindValue 0.XValue 0.X.a
  68 ? member_at Y ?YKey ?YValue
  69 consider member_at Y ?YKey ?YValue
  70 resolution_space {
  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 }
  74     members {
  75         resolution_strategy {
  76             action_prototypes { set_value 0.YKey; set_value 0.YValue }
  77             implementation_candidates {
  78                 { { 'd' } { 0.Y.d } }
  79                 { { 'e' } { 0.Y.e } }
  80                 { { 'f' } { 0.Y.f } }
  81             }
  82         }
  83     }
  84 }
  85 resolve {
  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 }
  89 }
  90 solution
  91 SetValue 0.YKey 'd'
  92 BindValue 0.YValue 0.Y.d
  93 ? eq XValue 2
  94 consider eq XValue 2
  95 resolution_space {
  96     proposition eq XValue 2
  97     geometry_depends_on { CONTENTS_OF 0.XValue }
  98     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
  99     members {
 100         resolution {
 101             actions { SetBoundValue 0.XValue 2 }
 102             veracity_depends_on { CONTENTS_OF 0.XValue }
 103         }
 104     }
 105 }
 106 resolve {
 107     proposition eq XValue 2
 108     actions { SetBoundValue 0.XValue 2 }
 109     depends_on { CONTENTS_OF 0.XValue }
 110 }
 111 recheck eq ?X {{ a 1 b 2 c 3 }} {
 112     consider eq ?X {{ a 1 b 2 c 3 }}
 113     resolution_space {
 114         proposition eq ?X {{ a 1 b 2 c 3 }}
 115         geometry_depends_on { CONTENTS_OF 0.X }
 116         aperture { VALUE_SET 0.X }
 117         members {
 118             resolution {
 119                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 120                 veracity_depends_on { CONTENTS_OF 0.X }
 121             }
 122         }
 123     }
 124     resolve {
 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 }
 128     }
 129     backtrack
 130     fail_recheck
 131 }
 132 backtrack
 133 remaining resolution_space {
 134     proposition member_at Y ?YKey ?YValue
 135     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 136     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 137     members {
 138         resolution_strategy {
 139             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 140             implementation_candidates {
 141                 { { 'e' } { 0.Y.e } }
 142                 { { 'f' } { 0.Y.f } }
 143             }
 144         }
 145     }
 146 }
 147 resolve {
 148     proposition member_at Y ?YKey ?YValue
 149     actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
 150     depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 151 }
 152 consider eq XValue 2
 153 resolution_space {
 154     proposition eq XValue 2
 155     geometry_depends_on { CONTENTS_OF 0.XValue }
 156     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
 157     members {
 158         resolution {
 159             actions { SetBoundValue 0.XValue 2 }
 160             veracity_depends_on { CONTENTS_OF 0.XValue }
 161         }
 162     }
 163 }
 164 resolve {
 165     proposition eq XValue 2
 166     actions { SetBoundValue 0.XValue 2 }
 167     depends_on { CONTENTS_OF 0.XValue }
 168 }
 169 recheck eq ?X {{ a 1 b 2 c 3 }} {
 170     consider eq ?X {{ a 1 b 2 c 3 }}
 171     resolution_space {
 172         proposition eq ?X {{ a 1 b 2 c 3 }}
 173         geometry_depends_on { CONTENTS_OF 0.X }
 174         aperture { VALUE_SET 0.X }
 175         members {
 176             resolution {
 177                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 178                 veracity_depends_on { CONTENTS_OF 0.X }
 179             }
 180         }
 181     }
 182     resolve {
 183         proposition eq ?X {{ a 1 b 2 c 3 }}
 184         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 185         depends_on { CONTENTS_OF 0.X }
 186     }
 187     backtrack
 188     fail_recheck
 189 }
 190 backtrack
 191 remaining resolution_space {
 192     proposition member_at Y ?YKey ?YValue
 193     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 194     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 195     members {
 196         resolution_strategy {
 197             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 198             implementation_candidates { { { 'f' } { 0.Y.f } } }
 199         }
 200     }
 201 }
 202 resolve {
 203     proposition member_at Y ?YKey ?YValue
 204     actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
 205     depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 206 }
 207 consider eq XValue 2
 208 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 }
 212     members {
 213         resolution {
 214             actions { SetBoundValue 0.XValue 2 }
 215             veracity_depends_on { CONTENTS_OF 0.XValue }
 216         }
 217     }
 218 }
 219 resolve {
 220     proposition eq XValue 2
 221     actions { SetBoundValue 0.XValue 2 }
 222     depends_on { CONTENTS_OF 0.XValue }
 223 }
 224 recheck eq ?X {{ a 1 b 2 c 3 }} {
 225     consider eq ?X {{ a 1 b 2 c 3 }}
 226     resolution_space {
 227         proposition eq ?X {{ a 1 b 2 c 3 }}
 228         geometry_depends_on { CONTENTS_OF 0.X }
 229         aperture { VALUE_SET 0.X }
 230         members {
 231             resolution {
 232                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 233                 veracity_depends_on { CONTENTS_OF 0.X }
 234             }
 235         }
 236     }
 237     resolve {
 238         proposition eq ?X {{ a 1 b 2 c 3 }}
 239         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 240         depends_on { CONTENTS_OF 0.X }
 241     }
 242     backtrack
 243     fail_recheck
 244 }
 245 backtrack
 246 remaining resolution_space {
 247     proposition member_at Y ?YKey ?YValue
 248     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 249     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 250     members {  }
 251 }
 252 backtrack
 253 remaining resolution_space {
 254     proposition member_at X ?XKey ?XValue
 255     geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
 256     aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
 257     members {
 258         resolution_strategy {
 259             action_prototypes { set_value 0.XKey; set_value 0.XValue }
 260             implementation_candidates {
 261                 { { 'b' } { 0.X.b } }
 262                 { { 'c' } { 0.X.c } }
 263             }
 264         }
 265     }
 266 }
 267 resolve {
 268     proposition member_at X ?XKey ?XValue
 269     actions { SetValue 0.XKey 'b'; BindValue 0.XValue 0.X.b }
 270     depends_on { CONTENTS_OF 0.X.b; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
 271 }
 272 consider member_at Y ?YKey ?YValue
 273 resolution_space {
 274     proposition member_at Y ?YKey ?YValue
 275     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 276     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 277     members {
 278         resolution_strategy {
 279             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 280             implementation_candidates {
 281                 { { 'd' } { 0.Y.d } }
 282                 { { 'e' } { 0.Y.e } }
 283                 { { 'f' } { 0.Y.f } }
 284             }
 285         }
 286     }
 287 }
 288 resolve {
 289     proposition member_at Y ?YKey ?YValue
 290     actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
 291     depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 292 }
 293 consider eq XValue 2
 294 resolution_space {
 295     proposition eq XValue 2
 296     geometry_depends_on { CONTENTS_OF 0.XValue }
 297     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
 298     members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
 299 }
 300 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 301 solution
 302 ? eq YValue 2
 303 consider eq YValue 2
 304 resolution_space {
 305     proposition eq YValue 2
 306     geometry_depends_on { CONTENTS_OF 0.YValue }
 307     aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
 308     members {
 309         resolution {
 310             actions { SetBoundValue 0.YValue 2 }
 311             veracity_depends_on { CONTENTS_OF 0.YValue }
 312         }
 313     }
 314 }
 315 resolve {
 316     proposition eq YValue 2
 317     actions { SetBoundValue 0.YValue 2 }
 318     depends_on { CONTENTS_OF 0.YValue }
 319 }
 320 recheck eq ?Y {{ d 1 e 2 f 3 }} {
 321     consider eq ?Y {{ d 1 e 2 f 3 }}
 322     resolution_space {
 323         proposition eq ?Y {{ d 1 e 2 f 3 }}
 324         geometry_depends_on { CONTENTS_OF 0.Y }
 325         aperture { VALUE_SET 0.Y }
 326         members {
 327             resolution {
 328                 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 329                 veracity_depends_on { CONTENTS_OF 0.Y }
 330             }
 331         }
 332     }
 333     resolve {
 334         proposition eq ?Y {{ d 1 e 2 f 3 }}
 335         actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 336         depends_on { CONTENTS_OF 0.Y }
 337     }
 338     backtrack
 339     fail_recheck
 340 }
 341 backtrack
 342 remaining resolution_space {
 343     proposition eq XValue 2
 344     geometry_depends_on { CONTENTS_OF 0.XValue }
 345     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
 346     members {  }
 347 }
 348 backtrack
 349 remaining resolution_space {
 350     proposition member_at Y ?YKey ?YValue
 351     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 352     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 353     members {
 354         resolution_strategy {
 355             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 356             implementation_candidates {
 357                 { { 'e' } { 0.Y.e } }
 358                 { { 'f' } { 0.Y.f } }
 359             }
 360         }
 361     }
 362 }
 363 resolve {
 364     proposition member_at Y ?YKey ?YValue
 365     actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
 366     depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 367 }
 368 consider eq XValue 2
 369 resolution_space {
 370     proposition eq XValue 2
 371     geometry_depends_on { CONTENTS_OF 0.XValue }
 372     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
 373     members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
 374 }
 375 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 376 consider eq YValue 2
 377 resolution_space {
 378     proposition eq YValue 2
 379     geometry_depends_on { CONTENTS_OF 0.YValue }
 380     aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e }
 381     members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } }
 382 }
 383 resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } }
 384 solution
 385 ? ...
 386 resume
 387 remaining resolution_space {
 388     proposition member_at Y ?YKey ?YValue
 389     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 390     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 391     members {
 392         resolution_strategy {
 393             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 394             implementation_candidates { { { 'f' } { 0.Y.f } } }
 395         }
 396     }
 397 }
 398 resolve {
 399     proposition member_at Y ?YKey ?YValue
 400     actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
 401     depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 402 }
 403 consider eq XValue 2
 404 resolution_space {
 405     proposition eq XValue 2
 406     geometry_depends_on { CONTENTS_OF 0.XValue }
 407     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
 408     members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
 409 }
 410 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 411 consider eq YValue 2
 412 resolution_space {
 413     proposition eq YValue 2
 414     geometry_depends_on { CONTENTS_OF 0.YValue }
 415     aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
 416     members {
 417         resolution {
 418             actions { SetBoundValue 0.YValue 2 }
 419             veracity_depends_on { CONTENTS_OF 0.YValue }
 420         }
 421     }
 422 }
 423 resolve {
 424     proposition eq YValue 2
 425     actions { SetBoundValue 0.YValue 2 }
 426     depends_on { CONTENTS_OF 0.YValue }
 427 }
 428 recheck eq ?Y {{ d 1 e 2 f 3 }} {
 429     consider eq ?Y {{ d 1 e 2 f 3 }}
 430     resolution_space {
 431         proposition eq ?Y {{ d 1 e 2 f 3 }}
 432         geometry_depends_on { CONTENTS_OF 0.Y }
 433         aperture { VALUE_SET 0.Y }
 434         members {
 435             resolution {
 436                 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 437                 veracity_depends_on { CONTENTS_OF 0.Y }
 438             }
 439         }
 440     }
 441     resolve {
 442         proposition eq ?Y {{ d 1 e 2 f 3 }}
 443         actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 444         depends_on { CONTENTS_OF 0.Y }
 445     }
 446     backtrack
 447     fail_recheck
 448 }
 449 backtrack
 450 remaining resolution_space {
 451     proposition eq XValue 2
 452     geometry_depends_on { CONTENTS_OF 0.XValue }
 453     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
 454     members {  }
 455 }
 456 backtrack
 457 remaining resolution_space {
 458     proposition member_at Y ?YKey ?YValue
 459     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 460     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 461     members {  }
 462 }
 463 backtrack
 464 remaining resolution_space {
 465     proposition member_at X ?XKey ?XValue
 466     geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
 467     aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
 468     members {
 469         resolution_strategy {
 470             action_prototypes { set_value 0.XKey; set_value 0.XValue }
 471             implementation_candidates { { { 'c' } { 0.X.c } } }
 472         }
 473     }
 474 }
 475 resolve {
 476     proposition member_at X ?XKey ?XValue
 477     actions { SetValue 0.XKey 'c'; BindValue 0.XValue 0.X.c }
 478     depends_on { CONTENTS_OF 0.X.c; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
 479 }
 480 consider member_at Y ?YKey ?YValue
 481 resolution_space {
 482     proposition member_at Y ?YKey ?YValue
 483     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 484     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 485     members {
 486         resolution_strategy {
 487             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 488             implementation_candidates {
 489                 { { 'd' } { 0.Y.d } }
 490                 { { 'e' } { 0.Y.e } }
 491                 { { 'f' } { 0.Y.f } }
 492             }
 493         }
 494     }
 495 }
 496 resolve {
 497     proposition member_at Y ?YKey ?YValue
 498     actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
 499     depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 500 }
 501 consider eq XValue 2
 502 resolution_space {
 503     proposition eq XValue 2
 504     geometry_depends_on { CONTENTS_OF 0.XValue }
 505     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
 506     members {
 507         resolution {
 508             actions { SetBoundValue 0.XValue 2 }
 509             veracity_depends_on { CONTENTS_OF 0.XValue }
 510         }
 511     }
 512 }
 513 resolve {
 514     proposition eq XValue 2
 515     actions { SetBoundValue 0.XValue 2 }
 516     depends_on { CONTENTS_OF 0.XValue }
 517 }
 518 recheck eq ?X {{ a 1 b 2 c 3 }} {
 519     consider eq ?X {{ a 1 b 2 c 3 }}
 520     resolution_space {
 521         proposition eq ?X {{ a 1 b 2 c 3 }}
 522         geometry_depends_on { CONTENTS_OF 0.X }
 523         aperture { VALUE_SET 0.X }
 524         members {
 525             resolution {
 526                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 527                 veracity_depends_on { CONTENTS_OF 0.X }
 528             }
 529         }
 530     }
 531     resolve {
 532         proposition eq ?X {{ a 1 b 2 c 3 }}
 533         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 534         depends_on { CONTENTS_OF 0.X }
 535     }
 536     backtrack
 537     fail_recheck
 538 }
 539 backtrack
 540 remaining resolution_space {
 541     proposition member_at Y ?YKey ?YValue
 542     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 543     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 544     members {
 545         resolution_strategy {
 546             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 547             implementation_candidates {
 548                 { { 'e' } { 0.Y.e } }
 549                 { { 'f' } { 0.Y.f } }
 550             }
 551         }
 552     }
 553 }
 554 resolve {
 555     proposition member_at Y ?YKey ?YValue
 556     actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
 557     depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 558 }
 559 consider eq XValue 2
 560 resolution_space {
 561     proposition eq XValue 2
 562     geometry_depends_on { CONTENTS_OF 0.XValue }
 563     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
 564     members {
 565         resolution {
 566             actions { SetBoundValue 0.XValue 2 }
 567             veracity_depends_on { CONTENTS_OF 0.XValue }
 568         }
 569     }
 570 }
 571 resolve {
 572     proposition eq XValue 2
 573     actions { SetBoundValue 0.XValue 2 }
 574     depends_on { CONTENTS_OF 0.XValue }
 575 }
 576 recheck eq ?X {{ a 1 b 2 c 3 }} {
 577     consider eq ?X {{ a 1 b 2 c 3 }}
 578     resolution_space {
 579         proposition eq ?X {{ a 1 b 2 c 3 }}
 580         geometry_depends_on { CONTENTS_OF 0.X }
 581         aperture { VALUE_SET 0.X }
 582         members {
 583             resolution {
 584                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 585                 veracity_depends_on { CONTENTS_OF 0.X }
 586             }
 587         }
 588     }
 589     resolve {
 590         proposition eq ?X {{ a 1 b 2 c 3 }}
 591         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 592         depends_on { CONTENTS_OF 0.X }
 593     }
 594     backtrack
 595     fail_recheck
 596 }
 597 backtrack
 598 remaining resolution_space {
 599     proposition member_at Y ?YKey ?YValue
 600     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 601     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 602     members {
 603         resolution_strategy {
 604             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 605             implementation_candidates { { { 'f' } { 0.Y.f } } }
 606         }
 607     }
 608 }
 609 resolve {
 610     proposition member_at Y ?YKey ?YValue
 611     actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
 612     depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 613 }
 614 consider eq XValue 2
 615 resolution_space {
 616     proposition eq XValue 2
 617     geometry_depends_on { CONTENTS_OF 0.XValue }
 618     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
 619     members {
 620         resolution {
 621             actions { SetBoundValue 0.XValue 2 }
 622             veracity_depends_on { CONTENTS_OF 0.XValue }
 623         }
 624     }
 625 }
 626 resolve {
 627     proposition eq XValue 2
 628     actions { SetBoundValue 0.XValue 2 }
 629     depends_on { CONTENTS_OF 0.XValue }
 630 }
 631 recheck eq ?X {{ a 1 b 2 c 3 }} {
 632     consider eq ?X {{ a 1 b 2 c 3 }}
 633     resolution_space {
 634         proposition eq ?X {{ a 1 b 2 c 3 }}
 635         geometry_depends_on { CONTENTS_OF 0.X }
 636         aperture { VALUE_SET 0.X }
 637         members {
 638             resolution {
 639                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 640                 veracity_depends_on { CONTENTS_OF 0.X }
 641             }
 642         }
 643     }
 644     resolve {
 645         proposition eq ?X {{ a 1 b 2 c 3 }}
 646         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 647         depends_on { CONTENTS_OF 0.X }
 648     }
 649     backtrack
 650     fail_recheck
 651 }
 652 backtrack
 653 remaining resolution_space {
 654     proposition member_at Y ?YKey ?YValue
 655     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 656     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 657     members {  }
 658 }
 659 backtrack
 660 remaining resolution_space {
 661     proposition member_at X ?XKey ?XValue
 662     geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
 663     aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
 664     members {  }
 665 }
 666 backtrack
 667 remaining resolution_space {
 668     proposition eq ?Y {{ d 1 e 2 f 3 }}
 669     geometry_depends_on { CONTENTS_OF 0.Y }
 670     aperture { VALUE_SET 0.Y }
 671     members {  }
 672 }
 673 backtrack
 674 remaining resolution_space {
 675     proposition eq ?X {{ a 1 b 2 c 3 }}
 676     geometry_depends_on { CONTENTS_OF 0.X }
 677     aperture { VALUE_SET 0.X }
 678     members {  }
 679 }
 680 backtrack
 681 {{
 682     X {{ a 1 b 2 c 3 }}
 683     XKey 'b'
 684     XValue 2
 685     Y {{ d 1 e 2 f 3 }}
 686     YKey 'e'
 687     YValue 2
 688 }}
 689 No next solution