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 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 }}
  24 resolution_space {
  25     proposition eq ?Y {{ d 1 e 2 f 3 }}
  26     geometry_depends_on { CONTENTS_OF 0.Y }
  27     aperture { VALUE_SET 0.Y }
  28     members {
  29         resolution {
  30             actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
  31             veracity_depends_on { CONTENTS_OF 0.Y }
  32         }
  33     }
  34 }
  35 resolve {
  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 }
  39 }
  40 SetValue 0.Y {{ d 1 e 2 f 3 }}
  41 ? member_at X ?XKey ?XValue
  42 consider member_at X ?XKey ?XValue
  43 resolution_space {
  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 }
  47     members {
  48         resolution_strategy {
  49             action_prototypes { set_value 0.XKey; set_value 0.XValue }
  50             implementation_candidates {
  51                 { { 'a' } { 0.X.a } }
  52                 { { 'b' } { 0.X.b } }
  53                 { { 'c' } { 0.X.c } }
  54             }
  55         }
  56     }
  57 }
  58 resolve {
  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 }
  62 }
  63 SetValue 0.XKey 'a'
  64 BindValue 0.XValue 0.X.a
  65 ? member_at Y ?YKey ?YValue
  66 consider member_at Y ?YKey ?YValue
  67 resolution_space {
  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 }
  71     members {
  72         resolution_strategy {
  73             action_prototypes { set_value 0.YKey; set_value 0.YValue }
  74             implementation_candidates {
  75                 { { 'd' } { 0.Y.d } }
  76                 { { 'e' } { 0.Y.e } }
  77                 { { 'f' } { 0.Y.f } }
  78             }
  79         }
  80     }
  81 }
  82 resolve {
  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 }
  86 }
  87 SetValue 0.YKey 'd'
  88 BindValue 0.YValue 0.Y.d
  89 ? eq XValue 2
  90 consider eq XValue 2
  91 resolution_space {
  92     proposition eq XValue 2
  93     geometry_depends_on { CONTENTS_OF 0.XValue }
  94     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
  95     members {
  96         resolution {
  97             actions { SetBoundValue 0.XValue 2 }
  98             veracity_depends_on { CONTENTS_OF 0.XValue }
  99         }
 100     }
 101 }
 102 resolve {
 103     proposition eq XValue 2
 104     actions { SetBoundValue 0.XValue 2 }
 105     depends_on { CONTENTS_OF 0.XValue }
 106 }
 107 recheck eq ?X {{ a 1 b 2 c 3 }} {
 108     consider eq ?X {{ a 1 b 2 c 3 }}
 109     resolution_space {
 110         proposition eq ?X {{ a 1 b 2 c 3 }}
 111         geometry_depends_on { CONTENTS_OF 0.X }
 112         aperture { VALUE_SET 0.X }
 113         members {
 114             resolution {
 115                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 116                 veracity_depends_on { CONTENTS_OF 0.X }
 117             }
 118         }
 119     }
 120     resolve {
 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 }
 124     }
 125     backtrack
 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 }
 130         members {  }
 131     }
 132     backtrack
 133     fail_recheck
 134 }
 135 backtrack
 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 }
 140     members {  }
 141 }
 142 backtrack
 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 }
 147     members {
 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 } }
 153             }
 154         }
 155     }
 156 }
 157 resolve {
 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 }
 161 }
 162 consider eq XValue 2
 163 resolution_space {
 164     proposition eq XValue 2
 165     geometry_depends_on { CONTENTS_OF 0.XValue }
 166     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
 167     members {
 168         resolution {
 169             actions { SetBoundValue 0.XValue 2 }
 170             veracity_depends_on { CONTENTS_OF 0.XValue }
 171         }
 172     }
 173 }
 174 resolve {
 175     proposition eq XValue 2
 176     actions { SetBoundValue 0.XValue 2 }
 177     depends_on { CONTENTS_OF 0.XValue }
 178 }
 179 recheck eq ?X {{ a 1 b 2 c 3 }} {
 180     consider eq ?X {{ a 1 b 2 c 3 }}
 181     resolution_space {
 182         proposition eq ?X {{ a 1 b 2 c 3 }}
 183         geometry_depends_on { CONTENTS_OF 0.X }
 184         aperture { VALUE_SET 0.X }
 185         members {
 186             resolution {
 187                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 188                 veracity_depends_on { CONTENTS_OF 0.X }
 189             }
 190         }
 191     }
 192     resolve {
 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 }
 196     }
 197     backtrack
 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 }
 202         members {  }
 203     }
 204     backtrack
 205     fail_recheck
 206 }
 207 backtrack
 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 }
 212     members {  }
 213 }
 214 backtrack
 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 }
 219     members {
 220         resolution_strategy {
 221             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 222             implementation_candidates { { { 'f' } { 0.Y.f } } }
 223         }
 224     }
 225 }
 226 resolve {
 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 }
 230 }
 231 consider eq XValue 2
 232 resolution_space {
 233     proposition eq XValue 2
 234     geometry_depends_on { CONTENTS_OF 0.XValue }
 235     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
 236     members {
 237         resolution {
 238             actions { SetBoundValue 0.XValue 2 }
 239             veracity_depends_on { CONTENTS_OF 0.XValue }
 240         }
 241     }
 242 }
 243 resolve {
 244     proposition eq XValue 2
 245     actions { SetBoundValue 0.XValue 2 }
 246     depends_on { CONTENTS_OF 0.XValue }
 247 }
 248 recheck eq ?X {{ a 1 b 2 c 3 }} {
 249     consider eq ?X {{ a 1 b 2 c 3 }}
 250     resolution_space {
 251         proposition eq ?X {{ a 1 b 2 c 3 }}
 252         geometry_depends_on { CONTENTS_OF 0.X }
 253         aperture { VALUE_SET 0.X }
 254         members {
 255             resolution {
 256                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 257                 veracity_depends_on { CONTENTS_OF 0.X }
 258             }
 259         }
 260     }
 261     resolve {
 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 }
 265     }
 266     backtrack
 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 }
 271         members {  }
 272     }
 273     backtrack
 274     fail_recheck
 275 }
 276 backtrack
 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 }
 281     members {  }
 282 }
 283 backtrack
 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 }
 288     members {  }
 289 }
 290 backtrack
 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 }
 295     members {
 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 } }
 301             }
 302         }
 303     }
 304 }
 305 resolve {
 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 }
 309 }
 310 consider member_at Y ?YKey ?YValue
 311 resolution_space {
 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 }
 315     members {
 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 } }
 322             }
 323         }
 324     }
 325 }
 326 resolve {
 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 }
 330 }
 331 consider eq XValue 2
 332 resolution_space {
 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 } } }
 337 }
 338 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 339 ? eq YValue 2
 340 consider eq YValue 2
 341 resolution_space {
 342     proposition eq YValue 2
 343     geometry_depends_on { CONTENTS_OF 0.YValue }
 344     aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
 345     members {
 346         resolution {
 347             actions { SetBoundValue 0.YValue 2 }
 348             veracity_depends_on { CONTENTS_OF 0.YValue }
 349         }
 350     }
 351 }
 352 resolve {
 353     proposition eq YValue 2
 354     actions { SetBoundValue 0.YValue 2 }
 355     depends_on { CONTENTS_OF 0.YValue }
 356 }
 357 recheck eq ?Y {{ d 1 e 2 f 3 }} {
 358     consider eq ?Y {{ d 1 e 2 f 3 }}
 359     resolution_space {
 360         proposition eq ?Y {{ d 1 e 2 f 3 }}
 361         geometry_depends_on { CONTENTS_OF 0.Y }
 362         aperture { VALUE_SET 0.Y }
 363         members {
 364             resolution {
 365                 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 366                 veracity_depends_on { CONTENTS_OF 0.Y }
 367             }
 368         }
 369     }
 370     resolve {
 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 }
 374     }
 375     backtrack
 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 }
 380         members {  }
 381     }
 382     backtrack
 383     fail_recheck
 384 }
 385 backtrack
 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 }
 390     members {  }
 391 }
 392 backtrack
 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 }
 397     members {  }
 398 }
 399 backtrack
 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 }
 404     members {
 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 } }
 410             }
 411         }
 412     }
 413 }
 414 resolve {
 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 }
 418 }
 419 consider eq XValue 2
 420 resolution_space {
 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 } } }
 425 }
 426 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 427 consider eq YValue 2
 428 resolution_space {
 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 } } }
 433 }
 434 resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } }
 435 ? ...
 436 backtrack
 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 }
 441     members {  }
 442 }
 443 backtrack
 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 }
 448     members {  }
 449 }
 450 backtrack
 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 }
 455     members {
 456         resolution_strategy {
 457             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 458             implementation_candidates { { { 'f' } { 0.Y.f } } }
 459         }
 460     }
 461 }
 462 resolve {
 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 }
 466 }
 467 consider eq XValue 2
 468 resolution_space {
 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 } } }
 473 }
 474 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 475 consider eq YValue 2
 476 resolution_space {
 477     proposition eq YValue 2
 478     geometry_depends_on { CONTENTS_OF 0.YValue }
 479     aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
 480     members {
 481         resolution {
 482             actions { SetBoundValue 0.YValue 2 }
 483             veracity_depends_on { CONTENTS_OF 0.YValue }
 484         }
 485     }
 486 }
 487 resolve {
 488     proposition eq YValue 2
 489     actions { SetBoundValue 0.YValue 2 }
 490     depends_on { CONTENTS_OF 0.YValue }
 491 }
 492 recheck eq ?Y {{ d 1 e 2 f 3 }} {
 493     consider eq ?Y {{ d 1 e 2 f 3 }}
 494     resolution_space {
 495         proposition eq ?Y {{ d 1 e 2 f 3 }}
 496         geometry_depends_on { CONTENTS_OF 0.Y }
 497         aperture { VALUE_SET 0.Y }
 498         members {
 499             resolution {
 500                 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 501                 veracity_depends_on { CONTENTS_OF 0.Y }
 502             }
 503         }
 504     }
 505     resolve {
 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 }
 509     }
 510     backtrack
 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 }
 515         members {  }
 516     }
 517     backtrack
 518     fail_recheck
 519 }
 520 backtrack
 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 }
 525     members {  }
 526 }
 527 backtrack
 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 }
 532     members {  }
 533 }
 534 backtrack
 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 }
 539     members {  }
 540 }
 541 backtrack
 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 }
 546     members {
 547         resolution_strategy {
 548             action_prototypes { set_value 0.XKey; set_value 0.XValue }
 549             implementation_candidates { { { 'c' } { 0.X.c } } }
 550         }
 551     }
 552 }
 553 resolve {
 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 }
 557 }
 558 consider member_at Y ?YKey ?YValue
 559 resolution_space {
 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 }
 563     members {
 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 } }
 570             }
 571         }
 572     }
 573 }
 574 resolve {
 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 }
 578 }
 579 consider eq XValue 2
 580 resolution_space {
 581     proposition eq XValue 2
 582     geometry_depends_on { CONTENTS_OF 0.XValue }
 583     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
 584     members {
 585         resolution {
 586             actions { SetBoundValue 0.XValue 2 }
 587             veracity_depends_on { CONTENTS_OF 0.XValue }
 588         }
 589     }
 590 }
 591 resolve {
 592     proposition eq XValue 2
 593     actions { SetBoundValue 0.XValue 2 }
 594     depends_on { CONTENTS_OF 0.XValue }
 595 }
 596 recheck eq ?X {{ a 1 b 2 c 3 }} {
 597     consider eq ?X {{ a 1 b 2 c 3 }}
 598     resolution_space {
 599         proposition eq ?X {{ a 1 b 2 c 3 }}
 600         geometry_depends_on { CONTENTS_OF 0.X }
 601         aperture { VALUE_SET 0.X }
 602         members {
 603             resolution {
 604                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 605                 veracity_depends_on { CONTENTS_OF 0.X }
 606             }
 607         }
 608     }
 609     resolve {
 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 }
 613     }
 614     backtrack
 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 }
 619         members {  }
 620     }
 621     backtrack
 622     fail_recheck
 623 }
 624 backtrack
 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 }
 629     members {  }
 630 }
 631 backtrack
 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 }
 636     members {
 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 } }
 642             }
 643         }
 644     }
 645 }
 646 resolve {
 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 }
 650 }
 651 consider eq XValue 2
 652 resolution_space {
 653     proposition eq XValue 2
 654     geometry_depends_on { CONTENTS_OF 0.XValue }
 655     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
 656     members {
 657         resolution {
 658             actions { SetBoundValue 0.XValue 2 }
 659             veracity_depends_on { CONTENTS_OF 0.XValue }
 660         }
 661     }
 662 }
 663 resolve {
 664     proposition eq XValue 2
 665     actions { SetBoundValue 0.XValue 2 }
 666     depends_on { CONTENTS_OF 0.XValue }
 667 }
 668 recheck eq ?X {{ a 1 b 2 c 3 }} {
 669     consider eq ?X {{ a 1 b 2 c 3 }}
 670     resolution_space {
 671         proposition eq ?X {{ a 1 b 2 c 3 }}
 672         geometry_depends_on { CONTENTS_OF 0.X }
 673         aperture { VALUE_SET 0.X }
 674         members {
 675             resolution {
 676                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 677                 veracity_depends_on { CONTENTS_OF 0.X }
 678             }
 679         }
 680     }
 681     resolve {
 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 }
 685     }
 686     backtrack
 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 }
 691         members {  }
 692     }
 693     backtrack
 694     fail_recheck
 695 }
 696 backtrack
 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 }
 701     members {  }
 702 }
 703 backtrack
 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 }
 708     members {
 709         resolution_strategy {
 710             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 711             implementation_candidates { { { 'f' } { 0.Y.f } } }
 712         }
 713     }
 714 }
 715 resolve {
 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 }
 719 }
 720 consider eq XValue 2
 721 resolution_space {
 722     proposition eq XValue 2
 723     geometry_depends_on { CONTENTS_OF 0.XValue }
 724     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
 725     members {
 726         resolution {
 727             actions { SetBoundValue 0.XValue 2 }
 728             veracity_depends_on { CONTENTS_OF 0.XValue }
 729         }
 730     }
 731 }
 732 resolve {
 733     proposition eq XValue 2
 734     actions { SetBoundValue 0.XValue 2 }
 735     depends_on { CONTENTS_OF 0.XValue }
 736 }
 737 recheck eq ?X {{ a 1 b 2 c 3 }} {
 738     consider eq ?X {{ a 1 b 2 c 3 }}
 739     resolution_space {
 740         proposition eq ?X {{ a 1 b 2 c 3 }}
 741         geometry_depends_on { CONTENTS_OF 0.X }
 742         aperture { VALUE_SET 0.X }
 743         members {
 744             resolution {
 745                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 746                 veracity_depends_on { CONTENTS_OF 0.X }
 747             }
 748         }
 749     }
 750     resolve {
 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 }
 754     }
 755     backtrack
 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 }
 760         members {  }
 761     }
 762     backtrack
 763     fail_recheck
 764 }
 765 backtrack
 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 }
 770     members {  }
 771 }
 772 backtrack
 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 }
 777     members {  }
 778 }
 779 backtrack
 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 }
 784     members {  }
 785 }
 786 backtrack
 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 }
 791     members {  }
 792 }
 793 backtrack
 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 }
 798     members {  }
 799 }
 800 backtrack
 801 {{
 802     X {{ a 1 b 2 c 3 }}
 803     XKey 'b'
 804     XValue 2
 805     Y {{ d 1 e 2 f 3 }}
 806     YKey 'e'
 807     YValue 2
 808 }}
 809 No next solution