[scpubgit/DX.git] / fragment.output / btdemo

$ trace *
$ ?
? eq ?X {{ a 1 b 2 c 3 }}
consider eq ?X {{ a 1 b 2 c 3 }}
resolution_space {
    proposition eq ?X {{ a 1 b 2 c 3 }}
    geometry_depends_on { CONTENTS_OF 0.X }
    aperture { VALUE_SET 0.X }
    members {
        resolution {
            actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
            veracity_depends_on { CONTENTS_OF 0.X }
        }
    }
}
resolve {
    proposition eq ?X {{ a 1 b 2 c 3 }}
    actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
    depends_on { CONTENTS_OF 0.X }
}
solution
SetValue 0.X {{ a 1 b 2 c 3 }}
? eq ?Y {{ d 1 e 2 f 3 }}
consider eq ?Y {{ d 1 e 2 f 3 }}
resolution_space {
    proposition eq ?Y {{ d 1 e 2 f 3 }}
    geometry_depends_on { CONTENTS_OF 0.Y }
    aperture { VALUE_SET 0.Y }
    members {
        resolution {
            actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
            veracity_depends_on { CONTENTS_OF 0.Y }
        }
    }
}
resolve {
    proposition eq ?Y {{ d 1 e 2 f 3 }}
    actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
    depends_on { CONTENTS_OF 0.Y }
}
solution
SetValue 0.Y {{ d 1 e 2 f 3 }}
? member_at X ?XKey ?XValue
consider member_at X ?XKey ?XValue
resolution_space {
    proposition member_at X ?XKey ?XValue
    geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
    aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
    members {
        resolution_strategy {
            action_prototypes { set_value 0.XKey; set_value 0.XValue }
            implementation_candidates {
                { { 'a' } { 0.X.a } }
                { { 'b' } { 0.X.b } }
                { { 'c' } { 0.X.c } }
            }
        }
    }
}
resolve {
    proposition member_at X ?XKey ?XValue
    actions { SetValue 0.XKey 'a'; BindValue 0.XValue 0.X.a }
    depends_on { CONTENTS_OF 0.X.a; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
}
solution
SetValue 0.XKey 'a'
BindValue 0.XValue 0.X.a
? member_at Y ?YKey ?YValue
consider member_at Y ?YKey ?YValue
resolution_space {
    proposition member_at Y ?YKey ?YValue
    geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
    members {
        resolution_strategy {
            action_prototypes { set_value 0.YKey; set_value 0.YValue }
            implementation_candidates {
                { { 'd' } { 0.Y.d } }
                { { 'e' } { 0.Y.e } }
                { { 'f' } { 0.Y.f } }
            }
        }
    }
}
resolve {
    proposition member_at Y ?YKey ?YValue
    actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
    depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
}
solution
SetValue 0.YKey 'd'
BindValue 0.YValue 0.Y.d
? eq XValue 2
consider eq XValue 2
resolution_space {
    proposition eq XValue 2
    geometry_depends_on { CONTENTS_OF 0.XValue }
    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
    members {
        resolution {
            actions { SetBoundValue 0.XValue 2 }
            veracity_depends_on { CONTENTS_OF 0.XValue }
        }
    }
}
resolve {
    proposition eq XValue 2
    actions { SetBoundValue 0.XValue 2 }
    depends_on { CONTENTS_OF 0.XValue }
}
recheck eq ?X {{ a 1 b 2 c 3 }} {
    consider eq ?X {{ a 1 b 2 c 3 }}
    resolution_space {
        proposition eq ?X {{ a 1 b 2 c 3 }}
        geometry_depends_on { CONTENTS_OF 0.X }
        aperture { VALUE_SET 0.X }
        members {
            resolution {
                actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
                veracity_depends_on { CONTENTS_OF 0.X }
            }
        }
    }
    resolve {
        proposition eq ?X {{ a 1 b 2 c 3 }}
        actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
        depends_on { CONTENTS_OF 0.X }
    }
    backtrack {
        failure_dependencies { CONTENTS_OF 0.X }
        exhaustion
    }
    fail_recheck
}
backtrack {
    failure_dependencies { CONTENTS_OF 0.X; CONTENTS_OF 0.XValue }
    decision {
        for member_at Y ?YKey ?YValue
        aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
    }
    non_relevant
    decision {
        for member_at X ?XKey ?XValue
        aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
    }
    found_alternative
}
resolve {
    proposition member_at X ?XKey ?XValue
    actions { SetValue 0.XKey 'b'; BindValue 0.XValue 0.X.b }
    depends_on { CONTENTS_OF 0.X.b; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
}
consider member_at Y ?YKey ?YValue
resolution_space {
    proposition member_at Y ?YKey ?YValue
    geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
    members {
        resolution_strategy {
            action_prototypes { set_value 0.YKey; set_value 0.YValue }
            implementation_candidates {
                { { 'd' } { 0.Y.d } }
                { { 'e' } { 0.Y.e } }
                { { 'f' } { 0.Y.f } }
            }
        }
    }
}
resolve {
    proposition member_at Y ?YKey ?YValue
    actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
    depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
}
consider eq XValue 2
resolution_space {
    proposition eq XValue 2
    geometry_depends_on { CONTENTS_OF 0.XValue }
    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
    members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
}
resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
solution
? eq YValue 2
consider eq YValue 2
resolution_space {
    proposition eq YValue 2
    geometry_depends_on { CONTENTS_OF 0.YValue }
    aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
    members {
        resolution {
            actions { SetBoundValue 0.YValue 2 }
            veracity_depends_on { CONTENTS_OF 0.YValue }
        }
    }
}
resolve {
    proposition eq YValue 2
    actions { SetBoundValue 0.YValue 2 }
    depends_on { CONTENTS_OF 0.YValue }
}
recheck eq ?Y {{ d 1 e 2 f 3 }} {
    consider eq ?Y {{ d 1 e 2 f 3 }}
    resolution_space {
        proposition eq ?Y {{ d 1 e 2 f 3 }}
        geometry_depends_on { CONTENTS_OF 0.Y }
        aperture { VALUE_SET 0.Y }
        members {
            resolution {
                actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
                veracity_depends_on { CONTENTS_OF 0.Y }
            }
        }
    }
    resolve {
        proposition eq ?Y {{ d 1 e 2 f 3 }}
        actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
        depends_on { CONTENTS_OF 0.Y }
    }
    backtrack {
        failure_dependencies { CONTENTS_OF 0.Y }
        exhaustion
    }
    fail_recheck
}
backtrack {
    failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
    decision { for eq XValue 2 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } }
    non_relevant
    decision {
        for member_at Y ?YKey ?YValue
        aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
    }
    found_alternative
}
resolve {
    proposition member_at Y ?YKey ?YValue
    actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
    depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
}
consider eq XValue 2
resolution_space {
    proposition eq XValue 2
    geometry_depends_on { CONTENTS_OF 0.XValue }
    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
    members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
}
resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
consider eq YValue 2
resolution_space {
    proposition eq YValue 2
    geometry_depends_on { CONTENTS_OF 0.YValue }
    aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e }
    members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } }
}
resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } }
solution
? ...
resume
remaining resolution_space {
    proposition member_at Y ?YKey ?YValue
    geometry_depends_on {
        CONTENTS_OF 0.Y
        TYPE_OF 0.YKey
        CONTENTS_OF 0.YValue
    }
    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
    members {
        resolution_strategy {
            action_prototypes { set_value 0.YKey; set_value 0.YValue }
            implementation_candidates { { { 'f' } { 0.Y.f } } }
        }
    }
}
resolve {
    proposition member_at Y ?YKey ?YValue
    actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
    depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
}
consider eq XValue 2
resolution_space {
    proposition eq XValue 2
    geometry_depends_on { CONTENTS_OF 0.XValue }
    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
    members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
}
resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
consider eq YValue 2
resolution_space {
    proposition eq YValue 2
    geometry_depends_on { CONTENTS_OF 0.YValue }
    aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
    members {
        resolution {
            actions { SetBoundValue 0.YValue 2 }
            veracity_depends_on { CONTENTS_OF 0.YValue }
        }
    }
}
resolve {
    proposition eq YValue 2
    actions { SetBoundValue 0.YValue 2 }
    depends_on { CONTENTS_OF 0.YValue }
}
recheck eq ?Y {{ d 1 e 2 f 3 }} {
    consider eq ?Y {{ d 1 e 2 f 3 }}
    resolution_space {
        proposition eq ?Y {{ d 1 e 2 f 3 }}
        geometry_depends_on { CONTENTS_OF 0.Y }
        aperture { VALUE_SET 0.Y }
        members {
            resolution {
                actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
                veracity_depends_on { CONTENTS_OF 0.Y }
            }
        }
    }
    resolve {
        proposition eq ?Y {{ d 1 e 2 f 3 }}
        actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
        depends_on { CONTENTS_OF 0.Y }
    }
    backtrack {
        failure_dependencies { CONTENTS_OF 0.Y }
        exhaustion
    }
    fail_recheck
}
backtrack {
    failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
    decision { for eq XValue 2 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } }
    non_relevant
    decision {
        for member_at Y ?YKey ?YValue
        aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
    }
    failure_dependencies {
        CONTENTS_OF 0.Y
        TYPE_OF 0.YKey
        CONTENTS_OF 0.YValue
    }
    decision {
        for member_at X ?XKey ?XValue
        aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
    }
    non_relevant
    decision { for eq ?Y {{ d 1 e 2 f 3 }} aperture { VALUE_SET 0.Y } }
    failure_dependencies {
        CONTENTS_OF 0.Y
        TYPE_OF 0.YKey
        CONTENTS_OF 0.YValue
    }
    decision { for eq ?X {{ a 1 b 2 c 3 }} aperture { VALUE_SET 0.X } }
    non_relevant
    exhaustion
}
exhaustion
{{
    X {{ a 1 b 2 c 3 }}
    XKey 'b'
    XValue 2
    Y {{ d 1 e 2 f 3 }}
    YKey 'e'
    YValue 2
}}
No next solution
Commit	Line	Data
c147a201	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	}
ae6f4d03	21	solution
c147a201	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	}
ae6f4d03	41	solution
c147a201	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	}
ae6f4d03	65	solution
c147a201	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	}
ae6f4d03	90	solution
c147a201	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	}
3cc9323e	129	backtrack {
	130	failure_dependencies { CONTENTS_OF 0.X }
	131	exhaustion
c147a201	132	}
c147a201	133	fail_recheck
c147a201	134	}
3cc9323e	135	backtrack {
3cc9323e	136	failure_dependencies { CONTENTS_OF 0.X; CONTENTS_OF 0.XValue }
b35f3e3b	137	decision {
	138	for member_at Y ?YKey ?YValue
	139	aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
	140	}
3cc9323e	141	non_relevant
b35f3e3b	142	decision {
	143	for member_at X ?XKey ?XValue
	144	aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
	145	}
3cc9323e	146	found_alternative
c147a201	147	}
	148	resolve {
	149	proposition member_at X ?XKey ?XValue
	150	actions { SetValue 0.XKey 'b'; BindValue 0.XValue 0.X.b }
	151	depends_on { CONTENTS_OF 0.X.b; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
	152	}
	153	consider member_at Y ?YKey ?YValue
	154	resolution_space {
	155	proposition member_at Y ?YKey ?YValue
	156	geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
	157	aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
	158	members {
	159	resolution_strategy {
	160	action_prototypes { set_value 0.YKey; set_value 0.YValue }
	161	implementation_candidates {
	162	{ { 'd' } { 0.Y.d } }
	163	{ { 'e' } { 0.Y.e } }
	164	{ { 'f' } { 0.Y.f } }
	165	}
	166	}
	167	}
	168	}
	169	resolve {
	170	proposition member_at Y ?YKey ?YValue
	171	actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
	172	depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
	173	}
	174	consider eq XValue 2
	175	resolution_space {
	176	proposition eq XValue 2
	177	geometry_depends_on { CONTENTS_OF 0.XValue }
	178	aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
	179	members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
	180	}
	181	resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
ae6f4d03	182	solution
c147a201	183	? eq YValue 2
	184	consider eq YValue 2
	185	resolution_space {
	186	proposition eq YValue 2
	187	geometry_depends_on { CONTENTS_OF 0.YValue }
	188	aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
	189	members {
	190	resolution {
	191	actions { SetBoundValue 0.YValue 2 }
	192	veracity_depends_on { CONTENTS_OF 0.YValue }
	193	}
	194	}
	195	}
	196	resolve {
	197	proposition eq YValue 2
	198	actions { SetBoundValue 0.YValue 2 }
	199	depends_on { CONTENTS_OF 0.YValue }
	200	}
	201	recheck eq ?Y {{ d 1 e 2 f 3 }} {
	202	consider eq ?Y {{ d 1 e 2 f 3 }}
	203	resolution_space {
	204	proposition eq ?Y {{ d 1 e 2 f 3 }}
	205	geometry_depends_on { CONTENTS_OF 0.Y }
	206	aperture { VALUE_SET 0.Y }
	207	members {
	208	resolution {
	209	actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
	210	veracity_depends_on { CONTENTS_OF 0.Y }
	211	}
	212	}
	213	}
	214	resolve {
	215	proposition eq ?Y {{ d 1 e 2 f 3 }}
	216	actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
	217	depends_on { CONTENTS_OF 0.Y }
	218	}
3cc9323e	219	backtrack {
	220	failure_dependencies { CONTENTS_OF 0.Y }
	221	exhaustion
	222	}
c147a201	223	fail_recheck
c147a201	224	}
3cc9323e	225	backtrack {
3cc9323e	226	failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
b35f3e3b	227	decision { for eq XValue 2 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } }
3cc9323e	228	non_relevant
b35f3e3b	229	decision {
	230	for member_at Y ?YKey ?YValue
	231	aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
	232	}
3cc9323e	233	found_alternative
c147a201	234	}
	235	resolve {
	236	proposition member_at Y ?YKey ?YValue
	237	actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
	238	depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
	239	}
	240	consider eq XValue 2
	241	resolution_space {
	242	proposition eq XValue 2
	243	geometry_depends_on { CONTENTS_OF 0.XValue }
	244	aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
	245	members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
	246	}
	247	resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
	248	consider eq YValue 2
	249	resolution_space {
	250	proposition eq YValue 2
	251	geometry_depends_on { CONTENTS_OF 0.YValue }
	252	aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e }
	253	members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } }
	254	}
	255	resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } }
ae6f4d03	256	solution
c147a201	257	? ...
ae6f4d03	258	resume
c147a201	259	remaining resolution_space {
c147a201	260	proposition member_at Y ?YKey ?YValue
3cc9323e	261	geometry_depends_on {
	262	CONTENTS_OF 0.Y
	263	TYPE_OF 0.YKey
	264	CONTENTS_OF 0.YValue
	265	}
c147a201	266	aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
	267	members {
	268	resolution_strategy {
	269	action_prototypes { set_value 0.YKey; set_value 0.YValue }
	270	implementation_candidates { { { 'f' } { 0.Y.f } } }
	271	}
	272	}
	273	}
	274	resolve {
	275	proposition member_at Y ?YKey ?YValue
	276	actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
	277	depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
	278	}
	279	consider eq XValue 2
	280	resolution_space {
	281	proposition eq XValue 2
	282	geometry_depends_on { CONTENTS_OF 0.XValue }
	283	aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
	284	members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
	285	}
	286	resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
	287	consider eq YValue 2
	288	resolution_space {
	289	proposition eq YValue 2
	290	geometry_depends_on { CONTENTS_OF 0.YValue }
	291	aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
	292	members {
	293	resolution {
	294	actions { SetBoundValue 0.YValue 2 }
	295	veracity_depends_on { CONTENTS_OF 0.YValue }
	296	}
	297	}
	298	}
	299	resolve {
	300	proposition eq YValue 2
	301	actions { SetBoundValue 0.YValue 2 }
	302	depends_on { CONTENTS_OF 0.YValue }
	303	}
	304	recheck eq ?Y {{ d 1 e 2 f 3 }} {
	305	consider eq ?Y {{ d 1 e 2 f 3 }}
	306	resolution_space {
	307	proposition eq ?Y {{ d 1 e 2 f 3 }}
	308	geometry_depends_on { CONTENTS_OF 0.Y }
	309	aperture { VALUE_SET 0.Y }
	310	members {
	311	resolution {
	312	actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
	313	veracity_depends_on { CONTENTS_OF 0.Y }
	314	}
	315	}
	316	}
	317	resolve {
	318	proposition eq ?Y {{ d 1 e 2 f 3 }}
	319	actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
	320	depends_on { CONTENTS_OF 0.Y }
	321	}
3cc9323e	322	backtrack {
	323	failure_dependencies { CONTENTS_OF 0.Y }
	324	exhaustion
c147a201	325	}
c147a201	326	fail_recheck
c147a201	327	}
3cc9323e	328	backtrack {
3cc9323e	329	failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
b35f3e3b	330	decision { for eq XValue 2 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } }
3cc9323e	331	non_relevant
b35f3e3b	332	decision {
	333	for member_at Y ?YKey ?YValue
	334	aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
	335	}
72304627	336	failure_dependencies {
	337	CONTENTS_OF 0.Y
	338	TYPE_OF 0.YKey
	339	CONTENTS_OF 0.YValue
	340	}
b35f3e3b	341	decision {
	342	for member_at X ?XKey ?XValue
	343	aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
	344	}
3cc9323e	345	non_relevant
b35f3e3b	346	decision { for eq ?Y {{ d 1 e 2 f 3 }} aperture { VALUE_SET 0.Y } }
72304627	347	failure_dependencies {
	348	CONTENTS_OF 0.Y
	349	TYPE_OF 0.YKey
	350	CONTENTS_OF 0.YValue
	351	}
b35f3e3b	352	decision { for eq ?X {{ a 1 b 2 c 3 }} aperture { VALUE_SET 0.X } }
3cc9323e	353	non_relevant
	354	exhaustion
	355	}
	356	exhaustion
c147a201	357	{{
	358	X {{ a 1 b 2 c 3 }}
	359	XKey 'b'
	360	XValue 2
	361	Y {{ d 1 e 2 f 3 }}
	362	YKey 'e'
	363	YValue 2
	364	}}
	365	No next solution