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: likely_to_harm(bugs_bunny, olive_tree) |  | 4 | 2: Searching: likely_to_harm(bugs_bunny, olive_tree)
n | 5 | 3: Searching: behavior(bugs_bunny, mischievous) | n | 5 | 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=high |  | 23 | 21: Searching: high=high
| 25 | 23: Searching: _1235=slow |  | 24 | 22: Found: high=high
| 26 | 24: Searching: slow=slow |  | 25 | 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 |
|  |  |  | 28 | Looking for other paths: Redo: likely_to_harm(bugs_bunny, olive_tree)
|  |  |  | 29 |
| 29 |  |  | 30 |
| 30 | [Path 2]: |  | 31 | [Path 2]:
t |  |  | t | 32 | 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 |
|  |  |  | 47 | Looking for other paths: Redo: behavior(bugs_bunny, Candidate Variable_0)
|  |  |  | 48 |
|  |  |  | 49 |
|  |  |  | 50 | [Path 3]:
| 31 | 27: Searching: behavior(bugs_bunny, playful) |  | 51 | 39: Found: behavior(bugs_bunny, playful)
| 32 | 28: Searching: behavior(bugs_bunny, playful) |  | 52 | 40: Searching: interacts_with_olive_trees(bugs_bunny, Candidate Variable_12)
| 33 | 29: 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 |
|  |  |  | 61 | Looking 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'}
| 34 | 30: Fail: likely_to_harm(bugs_bunny, olive_tree) | {'Result': 'Search Failed'} |  | 79 | 62: Fail: likely_to_harm(bugs_bunny, olive_tree) | {'Result': 'Search Failed'}
| 35 | 31: 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