f | 1 | [Path 1]: | f | 1 | [Path 1]:
n | 2 | 0: Start of execution: Begining Search | n | 2 | 0: Start of execution: Beginning Search
| 3 | 1: Searching: query |  | 3 | 1: Searching: query
| 4 | 2: Searching: conclusion |  | 4 | 2: Searching: conclusion
| 5 | 3: Searching: not(likely_to_see_storks(baby_shower_location)) |  | 5 | 3: Searching: not(likely_to_see_storks(baby_shower_location))
| 6 | 4: Searching: likely_to_see_storks(baby_shower_location) |  | 6 | 4: Searching: likely_to_see_storks(baby_shower_location)
| 7 | 5: Searching: stork_habitat(Candidate Variable_0) |  | 7 | 5: Searching: stork_habitat(Candidate Variable_0)
n | 8 | 6: Searching: stork_habitat(wetlands) | n | 8 | 6: Found: stork_habitat(wetlands)
| 9 | 7: Searching: baby_shower_location(Candidate Variable_1) |  |  |
| 10 | 8: Searching: baby_shower_location(home) |  | 9 | 7: Searching: baby_shower_location=home
| 11 | 9: Searching: stork_habitat(wetlands) |  |  |
| 12 | 10: Fail: stork_habitat(wetlands) | {'Result': 'Search Failed'} |  |  |
| 13 | 11: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} |  | 10 | 8: Fail: baby_shower_location=home | {'Result': 'Search Failed'}
| 14 | 12: Fail: conclusion | {'Result': 'Search Failed'} |  |  |
| 15 | 13: Fail: query | {'Result': 'Search Failed'} |  |  |
| 16 |  |  | 11 |
n | 17 | Looking for other paths: Redo: baby_shower_location(Candidate Variable_1) | n | 12 | Looking for other paths: Redo: stork_habitat(Candidate Variable_0)
| 18 |  |  | 13 |
| 19 |  |  | 14 |
| 20 | [Path 2]: |  | 15 | [Path 2]:
n |  |  | n | 16 | 9: Found: stork_habitat(grasslands)
| 21 | 14: Searching: baby_shower_location(community_center) |  | 17 | 10: Searching: baby_shower_location=home
| 22 | 15: Searching: stork_habitat(wetlands) |  |  |
| 23 | 16: Fail: stork_habitat(wetlands) | {'Result': 'Search Failed'} |  |  |
| 24 | 17: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} |  | 18 | 11: Fail: baby_shower_location=home | {'Result': 'Search Failed'}
| 25 | 18: Fail: conclusion | {'Result': 'Search Failed'} |  |  |
| 26 | 19: Fail: query | {'Result': 'Search Failed'} |  |  |
| 27 |  |  | 19 |
n | 28 | Looking for other paths: Redo: baby_shower_location(Candidate Variable_1) | n | 20 | Looking for other paths: Redo: stork_habitat(Candidate Variable_0)
| 29 |  |  | 21 |
| 30 |  |  | 22 |
| 31 | [Path 3]: |  | 23 | [Path 3]:
n |  |  | n | 24 | 12: Found: stork_habitat(natural_areas)
| 32 | 20: Searching: baby_shower_location(restaurant) |  | 25 | 13: Searching: baby_shower_location=home
| 33 | 21: Searching: stork_habitat(wetlands) |  |  |
| 34 | 22: Fail: stork_habitat(wetlands) | {'Result': 'Search Failed'} |  |  |
| 35 | 23: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} |  | 26 | 14: Fail: baby_shower_location=home | {'Result': 'Search Failed'}
| 36 | 24: Fail: conclusion | {'Result': 'Search Failed'} |  |  |
| 37 | 25: Fail: query | {'Result': 'Search Failed'} |  |  |
| 38 |  |  | 27 |
n | 39 | Looking for other paths: Redo: stork_habitat(Candidate Variable_2) | n | 28 | Looking for other paths: Redo: likely_to_see_storks(baby_shower_location)
| 40 |  |  | 29 |
| 41 |  |  | 30 |
| 42 | [Path 4]: |  | 31 | [Path 4]:
n | 43 | 26: Searching: stork_habitat(grasslands) | n |  |
| 44 | 27: Searching: baby_shower_location(home) |  | 32 | 15: Searching: baby_shower_location=community_center
| 45 | 28: Searching: stork_habitat(grasslands) |  | 33 | 16: Fail: baby_shower_location=community_center | {'Result': 'Search Failed'}
| 46 | 29: Fail: stork_habitat(grasslands) | {'Result': 'Search Failed'} |  |  |
| 47 | 30: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} |  |  |
| 48 | 31: Fail: conclusion | {'Result': 'Search Failed'} |  |  |
| 49 | 32: Fail: query | {'Result': 'Search Failed'} |  |  |
| 50 |  |  | 34 |
n | 51 | Looking for other paths: Redo: stork_habitat(Candidate Variable_2) | n | 35 | Looking for other paths: Redo: likely_to_see_storks(baby_shower_location)
| 52 |  |  | 36 |
| 53 |  |  | 37 |
| 54 | [Path 5]: |  | 38 | [Path 5]:
n | 55 | 33: Searching: stork_habitat(natural_areas) | n |  |
| 56 | 34: Searching: baby_shower_location(home) |  | 39 | 17: Searching: baby_shower_location=restaurant
| 57 | 35: Searching: stork_habitat(natural_areas) |  | 40 | 18: Fail: baby_shower_location=restaurant | {'Result': 'Search Failed'}
| 58 | 36: Fail: stork_habitat(natural_areas) | {'Result': 'Search Failed'} |  |  |
| 59 | 37: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} |  | 41 | 19: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'}
| 60 | 38: Fail: conclusion | {'Result': 'Search Failed'} |  | 42 | 20: Found: not(user:likely_to_see_storks(baby_shower_location))
| 61 | 39: Fail: query | {'Result': 'Search Failed'} |  | 43 | 21: Comment: It is highly unlikely to see storks at a baby shower.
|  |  |  | 44 | 22: Found: conclusion
|  |  |  | 45 | 23: Found: query | {'Result': 'Yes'}
| 62 |  |  | 46 |
t | 63 | Looking for other paths: Redo: baby_shower_location(Candidate Variable_3) | t |  |
| 64 |  |  |  |
| 65 |  |  |  |
| 66 | [Path 6]: |  |  |
| 67 | 40: Searching: baby_shower_location(community_center) |  |  |
| 68 | 41: Searching: stork_habitat(natural_areas) |  |  |
| 69 | 42: Fail: stork_habitat(natural_areas) | {'Result': 'Search Failed'} |  |  |
| 70 | 43: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} |  |  |
| 71 | 44: Fail: conclusion | {'Result': 'Search Failed'} |  |  |
| 72 | 45: Fail: query | {'Result': 'Search Failed'} |  |  |
| 73 |  |  |  |
| 74 | Looking for other paths: Redo: baby_shower_location(Candidate Variable_3) |  |  |
| 75 |  |  |  |
| 76 |  |  |  |
| 77 | [Path 7]: |  |  |
| 78 | 46: Searching: baby_shower_location(restaurant) |  |  |
| 79 | 47: Searching: stork_habitat(natural_areas) |  |  |
| 80 | 48: Fail: stork_habitat(natural_areas) | {'Result': 'Search Failed'} |  |  |
| 81 | 49: Fail: likely_to_see_storks(baby_shower_location) | {'Result': 'Search Failed'} |  |  |
| 82 | 50: Fail: conclusion | {'Result': 'Search Failed'} |  |  |
| 83 | 51: Fail: query | {'Result': 'Search Failed'} |  |  |
| 84 |  |  |  |
| 85 | Looking for other paths: Redo: stork_habitat(Candidate Variable_4) |  |  |
| 86 |  |  |  |
| 87 |  |  |  |
| 88 | [Path 8]: |  |  |
| 89 | 52: Searching: stork_habitat(wetlands) |  |  |
| 90 |  |  |  |

Legends
Colors
Added
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op