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 because { CONTENTS_OF 0.X }
 130     fail_recheck
 131 }
 132 backtrack because { CONTENTS_OF 0.XValue }
 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 because { CONTENTS_OF 0.X }
 188     fail_recheck
 189 }
 190 backtrack because { CONTENTS_OF 0.XValue }
 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 because { CONTENTS_OF 0.X }
 243     fail_recheck
 244 }
 245 backtrack because { CONTENTS_OF 0.XValue }
 246 remaining resolution_space {
 247     proposition member_at X ?XKey ?XValue
 248     geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
 249     aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
 250     members {
 251         resolution_strategy {
 252             action_prototypes { set_value 0.XKey; set_value 0.XValue }
 253             implementation_candidates {
 254                 { { 'b' } { 0.X.b } }
 255                 { { 'c' } { 0.X.c } }
 256             }
 257         }
 258     }
 259 }
 260 resolve {
 261     proposition member_at X ?XKey ?XValue
 262     actions { SetValue 0.XKey 'b'; BindValue 0.XValue 0.X.b }
 263     depends_on { CONTENTS_OF 0.X.b; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
 264 }
 265 consider member_at Y ?YKey ?YValue
 266 resolution_space {
 267     proposition member_at Y ?YKey ?YValue
 268     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 269     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 270     members {
 271         resolution_strategy {
 272             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 273             implementation_candidates {
 274                 { { 'd' } { 0.Y.d } }
 275                 { { 'e' } { 0.Y.e } }
 276                 { { 'f' } { 0.Y.f } }
 277             }
 278         }
 279     }
 280 }
 281 resolve {
 282     proposition member_at Y ?YKey ?YValue
 283     actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
 284     depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 285 }
 286 consider eq XValue 2
 287 resolution_space {
 288     proposition eq XValue 2
 289     geometry_depends_on { CONTENTS_OF 0.XValue }
 290     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
 291     members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
 292 }
 293 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 294 solution
 295 ? eq YValue 2
 296 consider eq YValue 2
 297 resolution_space {
 298     proposition eq YValue 2
 299     geometry_depends_on { CONTENTS_OF 0.YValue }
 300     aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
 301     members {
 302         resolution {
 303             actions { SetBoundValue 0.YValue 2 }
 304             veracity_depends_on { CONTENTS_OF 0.YValue }
 305         }
 306     }
 307 }
 308 resolve {
 309     proposition eq YValue 2
 310     actions { SetBoundValue 0.YValue 2 }
 311     depends_on { CONTENTS_OF 0.YValue }
 312 }
 313 recheck eq ?Y {{ d 1 e 2 f 3 }} {
 314     consider eq ?Y {{ d 1 e 2 f 3 }}
 315     resolution_space {
 316         proposition eq ?Y {{ d 1 e 2 f 3 }}
 317         geometry_depends_on { CONTENTS_OF 0.Y }
 318         aperture { VALUE_SET 0.Y }
 319         members {
 320             resolution {
 321                 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 322                 veracity_depends_on { CONTENTS_OF 0.Y }
 323             }
 324         }
 325     }
 326     resolve {
 327         proposition eq ?Y {{ d 1 e 2 f 3 }}
 328         actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 329         depends_on { CONTENTS_OF 0.Y }
 330     }
 331     backtrack because { CONTENTS_OF 0.Y }
 332     fail_recheck
 333 }
 334 backtrack because { CONTENTS_OF 0.YValue }
 335 remaining resolution_space {
 336     proposition member_at Y ?YKey ?YValue
 337     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 338     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 339     members {
 340         resolution_strategy {
 341             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 342             implementation_candidates {
 343                 { { 'e' } { 0.Y.e } }
 344                 { { 'f' } { 0.Y.f } }
 345             }
 346         }
 347     }
 348 }
 349 resolve {
 350     proposition member_at Y ?YKey ?YValue
 351     actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
 352     depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 353 }
 354 consider eq XValue 2
 355 resolution_space {
 356     proposition eq XValue 2
 357     geometry_depends_on { CONTENTS_OF 0.XValue }
 358     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
 359     members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
 360 }
 361 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 362 consider eq YValue 2
 363 resolution_space {
 364     proposition eq YValue 2
 365     geometry_depends_on { CONTENTS_OF 0.YValue }
 366     aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e }
 367     members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } }
 368 }
 369 resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } }
 370 solution
 371 ? ...
 372 resume
 373 remaining resolution_space {
 374     proposition member_at Y ?YKey ?YValue
 375     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 376     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 377     members {
 378         resolution_strategy {
 379             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 380             implementation_candidates { { { 'f' } { 0.Y.f } } }
 381         }
 382     }
 383 }
 384 resolve {
 385     proposition member_at Y ?YKey ?YValue
 386     actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
 387     depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 388 }
 389 consider eq XValue 2
 390 resolution_space {
 391     proposition eq XValue 2
 392     geometry_depends_on { CONTENTS_OF 0.XValue }
 393     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
 394     members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
 395 }
 396 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 397 consider eq YValue 2
 398 resolution_space {
 399     proposition eq YValue 2
 400     geometry_depends_on { CONTENTS_OF 0.YValue }
 401     aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
 402     members {
 403         resolution {
 404             actions { SetBoundValue 0.YValue 2 }
 405             veracity_depends_on { CONTENTS_OF 0.YValue }
 406         }
 407     }
 408 }
 409 resolve {
 410     proposition eq YValue 2
 411     actions { SetBoundValue 0.YValue 2 }
 412     depends_on { CONTENTS_OF 0.YValue }
 413 }
 414 recheck eq ?Y {{ d 1 e 2 f 3 }} {
 415     consider eq ?Y {{ d 1 e 2 f 3 }}
 416     resolution_space {
 417         proposition eq ?Y {{ d 1 e 2 f 3 }}
 418         geometry_depends_on { CONTENTS_OF 0.Y }
 419         aperture { VALUE_SET 0.Y }
 420         members {
 421             resolution {
 422                 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 423                 veracity_depends_on { CONTENTS_OF 0.Y }
 424             }
 425         }
 426     }
 427     resolve {
 428         proposition eq ?Y {{ d 1 e 2 f 3 }}
 429         actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 430         depends_on { CONTENTS_OF 0.Y }
 431     }
 432     backtrack because { CONTENTS_OF 0.Y }
 433     fail_recheck
 434 }
 435 backtrack because { CONTENTS_OF 0.YValue }
 436 remaining resolution_space {
 437     proposition member_at X ?XKey ?XValue
 438     geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
 439     aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
 440     members {
 441         resolution_strategy {
 442             action_prototypes { set_value 0.XKey; set_value 0.XValue }
 443             implementation_candidates { { { 'c' } { 0.X.c } } }
 444         }
 445     }
 446 }
 447 resolve {
 448     proposition member_at X ?XKey ?XValue
 449     actions { SetValue 0.XKey 'c'; BindValue 0.XValue 0.X.c }
 450     depends_on { CONTENTS_OF 0.X.c; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
 451 }
 452 consider member_at Y ?YKey ?YValue
 453 resolution_space {
 454     proposition member_at Y ?YKey ?YValue
 455     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 456     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 457     members {
 458         resolution_strategy {
 459             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 460             implementation_candidates {
 461                 { { 'd' } { 0.Y.d } }
 462                 { { 'e' } { 0.Y.e } }
 463                 { { 'f' } { 0.Y.f } }
 464             }
 465         }
 466     }
 467 }
 468 resolve {
 469     proposition member_at Y ?YKey ?YValue
 470     actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
 471     depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 472 }
 473 consider eq XValue 2
 474 resolution_space {
 475     proposition eq XValue 2
 476     geometry_depends_on { CONTENTS_OF 0.XValue }
 477     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
 478     members {
 479         resolution {
 480             actions { SetBoundValue 0.XValue 2 }
 481             veracity_depends_on { CONTENTS_OF 0.XValue }
 482         }
 483     }
 484 }
 485 resolve {
 486     proposition eq XValue 2
 487     actions { SetBoundValue 0.XValue 2 }
 488     depends_on { CONTENTS_OF 0.XValue }
 489 }
 490 recheck eq ?X {{ a 1 b 2 c 3 }} {
 491     consider eq ?X {{ a 1 b 2 c 3 }}
 492     resolution_space {
 493         proposition eq ?X {{ a 1 b 2 c 3 }}
 494         geometry_depends_on { CONTENTS_OF 0.X }
 495         aperture { VALUE_SET 0.X }
 496         members {
 497             resolution {
 498                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 499                 veracity_depends_on { CONTENTS_OF 0.X }
 500             }
 501         }
 502     }
 503     resolve {
 504         proposition eq ?X {{ a 1 b 2 c 3 }}
 505         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 506         depends_on { CONTENTS_OF 0.X }
 507     }
 508     backtrack because { CONTENTS_OF 0.X }
 509     fail_recheck
 510 }
 511 backtrack because { CONTENTS_OF 0.XValue }
 512 remaining resolution_space {
 513     proposition member_at Y ?YKey ?YValue
 514     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 515     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 516     members {
 517         resolution_strategy {
 518             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 519             implementation_candidates {
 520                 { { 'e' } { 0.Y.e } }
 521                 { { 'f' } { 0.Y.f } }
 522             }
 523         }
 524     }
 525 }
 526 resolve {
 527     proposition member_at Y ?YKey ?YValue
 528     actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
 529     depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 530 }
 531 consider eq XValue 2
 532 resolution_space {
 533     proposition eq XValue 2
 534     geometry_depends_on { CONTENTS_OF 0.XValue }
 535     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
 536     members {
 537         resolution {
 538             actions { SetBoundValue 0.XValue 2 }
 539             veracity_depends_on { CONTENTS_OF 0.XValue }
 540         }
 541     }
 542 }
 543 resolve {
 544     proposition eq XValue 2
 545     actions { SetBoundValue 0.XValue 2 }
 546     depends_on { CONTENTS_OF 0.XValue }
 547 }
 548 recheck eq ?X {{ a 1 b 2 c 3 }} {
 549     consider eq ?X {{ a 1 b 2 c 3 }}
 550     resolution_space {
 551         proposition eq ?X {{ a 1 b 2 c 3 }}
 552         geometry_depends_on { CONTENTS_OF 0.X }
 553         aperture { VALUE_SET 0.X }
 554         members {
 555             resolution {
 556                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 557                 veracity_depends_on { CONTENTS_OF 0.X }
 558             }
 559         }
 560     }
 561     resolve {
 562         proposition eq ?X {{ a 1 b 2 c 3 }}
 563         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 564         depends_on { CONTENTS_OF 0.X }
 565     }
 566     backtrack because { CONTENTS_OF 0.X }
 567     fail_recheck
 568 }
 569 backtrack because { CONTENTS_OF 0.XValue }
 570 remaining resolution_space {
 571     proposition member_at Y ?YKey ?YValue
 572     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 573     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 574     members {
 575         resolution_strategy {
 576             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 577             implementation_candidates { { { 'f' } { 0.Y.f } } }
 578         }
 579     }
 580 }
 581 resolve {
 582     proposition member_at Y ?YKey ?YValue
 583     actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
 584     depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 585 }
 586 consider eq XValue 2
 587 resolution_space {
 588     proposition eq XValue 2
 589     geometry_depends_on { CONTENTS_OF 0.XValue }
 590     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
 591     members {
 592         resolution {
 593             actions { SetBoundValue 0.XValue 2 }
 594             veracity_depends_on { CONTENTS_OF 0.XValue }
 595         }
 596     }
 597 }
 598 resolve {
 599     proposition eq XValue 2
 600     actions { SetBoundValue 0.XValue 2 }
 601     depends_on { CONTENTS_OF 0.XValue }
 602 }
 603 recheck eq ?X {{ a 1 b 2 c 3 }} {
 604     consider eq ?X {{ a 1 b 2 c 3 }}
 605     resolution_space {
 606         proposition eq ?X {{ a 1 b 2 c 3 }}
 607         geometry_depends_on { CONTENTS_OF 0.X }
 608         aperture { VALUE_SET 0.X }
 609         members {
 610             resolution {
 611                 actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 612                 veracity_depends_on { CONTENTS_OF 0.X }
 613             }
 614         }
 615     }
 616     resolve {
 617         proposition eq ?X {{ a 1 b 2 c 3 }}
 618         actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
 619         depends_on { CONTENTS_OF 0.X }
 620     }
 621     backtrack because { CONTENTS_OF 0.X }
 622     fail_recheck
 623 }
 624 backtrack because { CONTENTS_OF 0.XValue }
 625 {{
 626     X {{ a 1 b 2 c 3 }}
 627     XKey 'b'
 628     XValue 2
 629     Y {{ d 1 e 2 f 3 }}
 630     YKey 'e'
 631     YValue 2
 632 }}
 633 No next solution