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: conclusion4 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)
n8 6: Searching: stork_habitat(wetlands)n8 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'}
1611
n17Looking for other paths: Redo: baby_shower_location(Candidate Variable_1)n12Looking for other paths: Redo: stork_habitat(Candidate Variable_0)
1813
1914
20[Path 2]:15[Path 2]:
nn16 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'}
2719
n28Looking for other paths: Redo: baby_shower_location(Candidate Variable_1)n20Looking for other paths: Redo: stork_habitat(Candidate Variable_0)
2921
3022
31[Path 3]:23[Path 3]:
nn24 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'}
3827
n39Looking for other paths: Redo: stork_habitat(Candidate Variable_2)n28Looking for other paths: Redo: likely_to_see_storks(baby_shower_location)
4029
4130
42[Path 4]:31[Path 4]:
n43 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'}
5034
n51Looking for other paths: Redo: stork_habitat(Candidate Variable_2)n35Looking for other paths: Redo: likely_to_see_storks(baby_shower_location)
5236
5337
54[Path 5]:38[Path 5]:
n55 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'}
6246
t63Looking 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 
74Looking 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 
85Looking 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