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: likely_to_harm(bugs_bunny, olive_tree)4 2: Searching: likely_to_harm(bugs_bunny, olive_tree)
n5 3: Searching: behavior(bugs_bunny, mischievous)n5 3: Searching: behavior(bugs_bunny, Candidate Variable_0)
6 4: Searching: behavior(bugs_bunny, mischievous)6 4: Found: behavior(bugs_bunny, mischievous)
7 5: Searching: interacts_with_olive_trees(bugs_bunny, yes)7 5: Searching: interacts_with_olive_trees(bugs_bunny, Candidate Variable_1)
8 6: Searching: interacts_with_olive_trees(bugs_bunny, yes)8 6: Found: interacts_with_olive_trees(bugs_bunny, yes)
9 7: Searching: intention(bugs_bunny, prank)9 7: Searching: intention(bugs_bunny, Candidate Variable_2)
10 8: Searching: intention(bugs_bunny, prank)10 8: Found: intention(bugs_bunny, prank)
11 9: Searching: potential_harm(olive_tree, physical_damage)11 9: Searching: potential_harm(olive_tree, Candidate Variable_3)
12 10: Searching: potential_harm(olive_tree, physical_damage)12 10: Found: potential_harm(olive_tree, physical_damage)
13 11: Searching: motive(bugs_bunny, mischief)13 11: Searching: mischievous=mischievous
14 12: Searching: motive(bugs_bunny, mischief)14 12: Found: mischievous=mischievous
15 13: Searching: opportunity(olive_tree, accessible)15 13: Searching: true
16 14: Searching: opportunity(olive_tree, accessible)16 14: Found: true
17 15: Searching: cartoonist_exaggeration(excessive, unlikely_in_real_world)17 15: Searching: true
18 16: Searching: cartoonist_exaggeration(excessive, unlikely_in_real_world)18 16: Found: true
19 17: Searching: botanist_insight(olive_tree_vulnerability, high)19 17: Searching: botanist_insight(Candidate Variable_4, Candidate Variable_5)
20 18: Searching: botanist_insight(olive_tree_vulnerability, high)20 18: Found: botanist_insight(olive_tree_vulnerability, high)
21 19: Searching: botanist_opinion(recovery, slow)21 19: Searching: botanist_opinion(Candidate Variable_6, Candidate Variable_7)
22 20: Searching: botanist_opinion(recovery, slow)22 20: Found: botanist_opinion(recovery_from_damage, slow)
23 21: Searching: _1234=high
24 22: Searching: high=high23 21: Searching: high=high
25 23: Searching: _1235=slow24 22: Found: high=high
26 24: Searching: slow=slow25 23: Searching: recovery_from_damage=slow
27 25: Searching: likely_to_harm(bugs_bunny, olive_tree)26 24: Fail: recovery_from_damage=slow | {'Result': 'Search Failed'}
28 26: Searching: query | {'Result': 'yes'}27 
28Looking for other paths: Redo: likely_to_harm(bugs_bunny, olive_tree)
29 
2930
30[Path 2]:31[Path 2]:
tt32 25: Searching: physical_damage=physical_damage
33 26: Found: physical_damage=physical_damage
34 27: Searching: true
35 28: Found: true
36 29: Searching: prank=prank
37 30: Found: prank=prank
38 31: Searching: botanist_insight(Candidate Variable_8, Candidate Variable_9)
39 32: Found: botanist_insight(olive_tree_vulnerability, high)
40 33: Searching: botanist_opinion(Candidate Variable_10, Candidate Variable_11)
41 34: Found: botanist_opinion(recovery_from_damage, slow)
42 35: Searching: high=high
43 36: Found: high=high
44 37: Searching: recovery_from_damage=slow
45 38: Fail: recovery_from_damage=slow | {'Result': 'Search Failed'}
46 
47Looking for other paths: Redo: behavior(bugs_bunny, Candidate Variable_0)
48 
49 
50[Path 3]:
3127Searching: behavior(bugs_bunny, playful)51 39Found: behavior(bugs_bunny, playful)
3228: Searching: behavior(bugs_bunny, playful)52 40: Searching: interacts_with_olive_trees(bugs_bunny, Candidate Variable_12)
3329: Searching: likely_to_harm(bugs_bunny, olive_tree) | {'Result': 'Search Failed'}53 41: Found: interacts_with_olive_trees(bugs_bunny, yes)
54 42: Searching: intention(bugs_bunny, Candidate Variable_13)
55 43: Found: intention(bugs_bunny, prank)
56 44: Searching: potential_harm(olive_tree, Candidate Variable_14)
57 45: Found: potential_harm(olive_tree, physical_damage)
58 46: Searching: playful=mischievous
59 47: Fail: playful=mischievous | {'Result': 'Search Failed'}
60 
61Looking for other paths: Redo: likely_to_harm(bugs_bunny, olive_tree)
62 
63 
64[Path 4]:
65 48: Searching: physical_damage=physical_damage
66 49: Found: physical_damage=physical_damage
67 50: Searching: true
68 51: Found: true
69 52: Searching: prank=prank
70 53: Found: prank=prank
71 54: Searching: botanist_insight(Candidate Variable_15, Candidate Variable_16)
72 55: Found: botanist_insight(olive_tree_vulnerability, high)
73 56: Searching: botanist_opinion(Candidate Variable_17, Candidate Variable_18)
74 57: Found: botanist_opinion(recovery_from_damage, slow)
75 58: Searching: high=high
76 59: Found: high=high
77 60: Searching: recovery_from_damage=slow
78 61: Fail: recovery_from_damage=slow | {'Result': 'Search Failed'}
3430: Fail: likely_to_harm(bugs_bunny, olive_tree) | {'Result': 'Search Failed'}79 62: Fail: likely_to_harm(bugs_bunny, olive_tree) | {'Result': 'Search Failed'}
3531: Fail: query | {'Result': 'Search Failed'}80 63: Fail: query | {'Result': 'Search Failed'}
81 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op