f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: erdogan_unfamiliar_with_boreks4 2: Searching: erdogan_unfamiliar_with_boreks
5 3: Searching: borek_properties(Candidate Variable_0)5 3: Searching: borek_properties(Candidate Variable_0)
n6 4: Searching: borek_properties([traditional_dish, popular_in_turkey, cultural_significance])n6 4: Found: borek_properties([traditional_dish, popular_in_turkey, cultural_significance])
7 5: Searching: erdogan_background(Candidate Variable_1)7 5: Searching: erdogan_background(Candidate Variable_1)
n8 6: Searching: erdogan_background([turkish_national, istanbul_origin, unknown_culinary_preferences])n8 6: Found: erdogan_background([turkish_national, istanbul_origin, unknown_culinary_preferences])
9 7: Searching: erdogan_culinary_preferences(unknown, Candidate Variable_2)9 7: Searching: erdogan_culinary_preferences(Candidate Variable_2, Candidate Variable_3)
10 8: Searching: erdogan_culinary_preferences(unknown, unfamiliar)10 8: Found: erdogan_culinary_preferences(unknown, unfamiliar)
11 9: Searching: assess_unfamiliarity(cultural_significance, turkish_national, unknown, true)11 9: Searching: assess_unfamiliarity([traditional_dish, popular_in_turkey, cultural_significance], [turkish_national, istanbul_origin, unknown_culinary_preferences], unknown, unfamiliar)
12 10: Searching: assess_unfamiliarity(cultural_significance, turkish_national, unknown, true)12 10: Fail: assess_unfamiliarity([traditional_dish, popular_in_turkey, cultural_significance], [turkish_national, istanbul_origin, unknown_culinary_preferences], unknown, unfamiliar) | {'Result': 'Search Failed'}
13 11: Searching: assess_unfamiliarity(_, _, _, false)
14 12: Searching: assess_unfamiliarity(_, _, _, false)
15 13: Searching: erdogan_unfamiliar_with_boreks
16 14: Fail: erdogan_unfamiliar_with_boreks | {'Result': 'Search Failed'}13 11: Fail: erdogan_unfamiliar_with_boreks | {'Result': 'Search Failed'}
17 15: Fail: query | {'Result': 'Search Failed'}14 12: Fail: query | {'Result': 'Search Failed'}
1815
t19 t
20[Path 2]: Counter Example: Availability of Börek in Istanbul
2116: Searching: boreks_available_in_istanbul
2217: Searching: \+ boreks_available_in_istanbul
2318: Fail: \+ boreks_available_in_istanbul | {'Result': 'Search Succeeded'}
24 
25 
26[Path 3]: Counter Example: Success if Börek is unavailable in Istanbul
2719: Searching: \+ boreks_available_in_istanbul.
2820: Searching: \+ boreks_available_in_istanbul | {'Result': 'yes'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op