f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: erdogan_unfamiliar_with_boreks | | 2: Searching: erdogan_unfamiliar_with_boreks |
| 3: Searching: borek_properties(Candidate Variable_0) | | 3: Searching: borek_properties(Candidate Variable_0) |
n | 4: Searching: borek_properties([traditional_dish, popular_in_turkey, cultural_significance]) | n | 4: Found: borek_properties([traditional_dish, popular_in_turkey, cultural_significance]) |
| 5: Searching: erdogan_background(Candidate Variable_1) | | 5: Searching: erdogan_background(Candidate Variable_1) |
n | 6: Searching: erdogan_background([turkish_national, istanbul_origin, unknown_culinary_preferences]) | n | 6: Found: erdogan_background([turkish_national, istanbul_origin, unknown_culinary_preferences]) |
| 7: Searching: erdogan_culinary_preferences(unknown, Candidate Variable_2) | | 7: Searching: erdogan_culinary_preferences(Candidate Variable_2, Candidate Variable_3) |
| 8: Searching: erdogan_culinary_preferences(unknown, unfamiliar) | | 8: Found: erdogan_culinary_preferences(unknown, unfamiliar) |
| 9: Searching: assess_unfamiliarity(cultural_significance, turkish_national, unknown, true) | | 9: Searching: assess_unfamiliarity([traditional_dish, popular_in_turkey, cultural_significance], [turkish_national, istanbul_origin, unknown_culinary_preferences], unknown, unfamiliar) |
| 10: Searching: assess_unfamiliarity(cultural_significance, turkish_national, unknown, true) | | 10: Fail: assess_unfamiliarity([traditional_dish, popular_in_turkey, cultural_significance], [turkish_national, istanbul_origin, unknown_culinary_preferences], unknown, unfamiliar) | {'Result': 'Search Failed'} |
| 11: Searching: assess_unfamiliarity(_, _, _, false) | | |
| 12: Searching: assess_unfamiliarity(_, _, _, false) | | |
| 13: Searching: erdogan_unfamiliar_with_boreks | | |
| 14: Fail: erdogan_unfamiliar_with_boreks | {'Result': 'Search Failed'} | | 11: Fail: erdogan_unfamiliar_with_boreks | {'Result': 'Search Failed'} |
| 15: Fail: query | {'Result': 'Search Failed'} | | 12: Fail: query | {'Result': 'Search Failed'} |
| | | |
t | | t | |
| [Path 2]: Counter Example: Availability of Börek in Istanbul | | |
| 16: Searching: boreks_available_in_istanbul | | |
| 17: Searching: \+ boreks_available_in_istanbul | | |
| 18: Fail: \+ boreks_available_in_istanbul | {'Result': 'Search Succeeded'} | | |
| | | |
| | | |
| [Path 3]: Counter Example: Success if Börek is unavailable in Istanbul | | |
| 19: Searching: \+ boreks_available_in_istanbul. | | |
| 20: Searching: \+ boreks_available_in_istanbul | {'Result': 'yes'} | | |