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