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: conclusion | | 2: Searching: conclusion |
| 3: Searching: not(likely_to_see_storks(baby_shower_location)) | | 3: Searching: not(likely_to_see_storks(baby_shower_location)) |
| 4: Searching: likely_to_see_storks(baby_shower_location) | | 4: Searching: likely_to_see_storks(baby_shower_location) |
| 5: Searching: stork_habitat(Candidate Variable_0) | | 5: Searching: stork_habitat(Candidate Variable_0) |
n | 6: Searching: stork_habitat(wetlands) | n | 6: Found: stork_habitat(wetlands) |
| 7: Searching: baby_shower_location(Candidate Variable_1) | | |
| 8: Searching: baby_shower_location(home) | | 7: Searching: baby_shower_location=home |
| 9: Searching: stork_habitat(wetlands) | | |
| 10: Fail: stork_habitat(wetlands) | {'Result': 'Search Failed'} | | |
| 11: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} | | 8: Fail: baby_shower_location=home | {'Result': 'Search Failed'} |
| 12: Fail: conclusion | {'Result': 'Search Failed'} | | |
| 13: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
n | Looking for other paths: Redo: baby_shower_location(Candidate Variable_1) | n | Looking for other paths: Redo: stork_habitat(Candidate Variable_0) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
n | | n | 9: Found: stork_habitat(grasslands) |
| 14: Searching: baby_shower_location(community_center) | | 10: Searching: baby_shower_location=home |
| 15: Searching: stork_habitat(wetlands) | | |
| 16: Fail: stork_habitat(wetlands) | {'Result': 'Search Failed'} | | |
| 17: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} | | 11: Fail: baby_shower_location=home | {'Result': 'Search Failed'} |
| 18: Fail: conclusion | {'Result': 'Search Failed'} | | |
| 19: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
n | Looking for other paths: Redo: baby_shower_location(Candidate Variable_1) | n | Looking for other paths: Redo: stork_habitat(Candidate Variable_0) |
| | | |
| | | |
| [Path 3]: | | [Path 3]: |
n | | n | 12: Found: stork_habitat(natural_areas) |
| 20: Searching: baby_shower_location(restaurant) | | 13: Searching: baby_shower_location=home |
| 21: Searching: stork_habitat(wetlands) | | |
| 22: Fail: stork_habitat(wetlands) | {'Result': 'Search Failed'} | | |
| 23: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} | | 14: Fail: baby_shower_location=home | {'Result': 'Search Failed'} |
| 24: Fail: conclusion | {'Result': 'Search Failed'} | | |
| 25: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
n | Looking for other paths: Redo: stork_habitat(Candidate Variable_2) | n | Looking for other paths: Redo: likely_to_see_storks(baby_shower_location) |
| | | |
| | | |
| [Path 4]: | | [Path 4]: |
n | 26: Searching: stork_habitat(grasslands) | n | |
| 27: Searching: baby_shower_location(home) | | 15: Searching: baby_shower_location=community_center |
| 28: Searching: stork_habitat(grasslands) | | 16: Fail: baby_shower_location=community_center | {'Result': 'Search Failed'} |
| 29: Fail: stork_habitat(grasslands) | {'Result': 'Search Failed'} | | |
| 30: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} | | |
| 31: Fail: conclusion | {'Result': 'Search Failed'} | | |
| 32: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
n | Looking for other paths: Redo: stork_habitat(Candidate Variable_2) | n | Looking for other paths: Redo: likely_to_see_storks(baby_shower_location) |
| | | |
| | | |
| [Path 5]: | | [Path 5]: |
n | 33: Searching: stork_habitat(natural_areas) | n | |
| 34: Searching: baby_shower_location(home) | | 17: Searching: baby_shower_location=restaurant |
| 35: Searching: stork_habitat(natural_areas) | | 18: Fail: baby_shower_location=restaurant | {'Result': 'Search Failed'} |
| 36: Fail: stork_habitat(natural_areas) | {'Result': 'Search Failed'} | | |
| 37: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} | | 19: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} |
| 38: Fail: conclusion | {'Result': 'Search Failed'} | | 20: Found: not(user:likely_to_see_storks(baby_shower_location)) |
| 39: Fail: query | {'Result': 'Search Failed'} | | 21: Comment: It is highly unlikely to see storks at a baby shower. |
| | | 22: Found: conclusion |
| | | 23: Found: query | {'Result': 'Yes'} |
| | | |
t | Looking for other paths: Redo: baby_shower_location(Candidate Variable_3) | t | |
| | | |
| | | |
| [Path 6]: | | |
| 40: Searching: baby_shower_location(community_center) | | |
| 41: Searching: stork_habitat(natural_areas) | | |
| 42: Fail: stork_habitat(natural_areas) | {'Result': 'Search Failed'} | | |
| 43: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} | | |
| 44: Fail: conclusion | {'Result': 'Search Failed'} | | |
| 45: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
| Looking for other paths: Redo: baby_shower_location(Candidate Variable_3) | | |
| | | |
| | | |
| [Path 7]: | | |
| 46: Searching: baby_shower_location(restaurant) | | |
| 47: Searching: stork_habitat(natural_areas) | | |
| 48: Fail: stork_habitat(natural_areas) | {'Result': 'Search Failed'} | | |
| 49: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} | | |
| 50: Fail: conclusion | {'Result': 'Search Failed'} | | |
| 51: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
| Looking for other paths: Redo: stork_habitat(Candidate Variable_4) | | |
| | | |
| | | |
| [Path 8]: | | |
| 52: Searching: stork_habitat(wetlands) | | |
| | | |