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: likely_to_harm(bugs_bunny, olive_tree) | | 2: Searching: likely_to_harm(bugs_bunny, olive_tree) |
n | 3: Searching: behavior(bugs_bunny, mischievous) | n | 3: Searching: behavior(bugs_bunny, Candidate Variable_0) |
| 4: Searching: behavior(bugs_bunny, mischievous) | | 4: Found: behavior(bugs_bunny, mischievous) |
| 5: Searching: interacts_with_olive_trees(bugs_bunny, yes) | | 5: Searching: interacts_with_olive_trees(bugs_bunny, Candidate Variable_1) |
| 6: Searching: interacts_with_olive_trees(bugs_bunny, yes) | | 6: Found: interacts_with_olive_trees(bugs_bunny, yes) |
| 7: Searching: intention(bugs_bunny, prank) | | 7: Searching: intention(bugs_bunny, Candidate Variable_2) |
| 8: Searching: intention(bugs_bunny, prank) | | 8: Found: intention(bugs_bunny, prank) |
| 9: Searching: potential_harm(olive_tree, physical_damage) | | 9: Searching: potential_harm(olive_tree, Candidate Variable_3) |
| 10: Searching: potential_harm(olive_tree, physical_damage) | | 10: Found: potential_harm(olive_tree, physical_damage) |
| 11: Searching: motive(bugs_bunny, mischief) | | 11: Searching: mischievous=mischievous |
| 12: Searching: motive(bugs_bunny, mischief) | | 12: Found: mischievous=mischievous |
| 13: Searching: opportunity(olive_tree, accessible) | | 13: Searching: true |
| 14: Searching: opportunity(olive_tree, accessible) | | 14: Found: true |
| 15: Searching: cartoonist_exaggeration(excessive, unlikely_in_real_world) | | 15: Searching: true |
| 16: Searching: cartoonist_exaggeration(excessive, unlikely_in_real_world) | | 16: Found: true |
| 17: Searching: botanist_insight(olive_tree_vulnerability, high) | | 17: Searching: botanist_insight(Candidate Variable_4, Candidate Variable_5) |
| 18: Searching: botanist_insight(olive_tree_vulnerability, high) | | 18: Found: botanist_insight(olive_tree_vulnerability, high) |
| 19: Searching: botanist_opinion(recovery, slow) | | 19: Searching: botanist_opinion(Candidate Variable_6, Candidate Variable_7) |
| 20: Searching: botanist_opinion(recovery, slow) | | 20: Found: botanist_opinion(recovery_from_damage, slow) |
| 21: Searching: _1234=high | | |
| 22: Searching: high=high | | 21: Searching: high=high |
| 23: Searching: _1235=slow | | 22: Found: high=high |
| 24: Searching: slow=slow | | 23: Searching: recovery_from_damage=slow |
| 25: Searching: likely_to_harm(bugs_bunny, olive_tree) | | 24: Fail: recovery_from_damage=slow | {'Result': 'Search Failed'} |
| 26: Searching: query | {'Result': 'yes'} | | |
| | | Looking for other paths: Redo: likely_to_harm(bugs_bunny, olive_tree) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
t | | t | 25: Searching: physical_damage=physical_damage |
| | | 26: Found: physical_damage=physical_damage |
| | | 27: Searching: true |
| | | 28: Found: true |
| | | 29: Searching: prank=prank |
| | | 30: Found: prank=prank |
| | | 31: Searching: botanist_insight(Candidate Variable_8, Candidate Variable_9) |
| | | 32: Found: botanist_insight(olive_tree_vulnerability, high) |
| | | 33: Searching: botanist_opinion(Candidate Variable_10, Candidate Variable_11) |
| | | 34: Found: botanist_opinion(recovery_from_damage, slow) |
| | | 35: Searching: high=high |
| | | 36: Found: high=high |
| | | 37: Searching: recovery_from_damage=slow |
| | | 38: Fail: recovery_from_damage=slow | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: behavior(bugs_bunny, Candidate Variable_0) |
| | | |
| | | |
| | | [Path 3]: |
| 27: Searching: behavior(bugs_bunny, playful) | | 39: Found: behavior(bugs_bunny, playful) |
| 28: Searching: behavior(bugs_bunny, playful) | | 40: Searching: interacts_with_olive_trees(bugs_bunny, Candidate Variable_12) |
| 29: Searching: likely_to_harm(bugs_bunny, olive_tree) | {'Result': 'Search Failed'} | | 41: Found: interacts_with_olive_trees(bugs_bunny, yes) |
| | | 42: Searching: intention(bugs_bunny, Candidate Variable_13) |
| | | 43: Found: intention(bugs_bunny, prank) |
| | | 44: Searching: potential_harm(olive_tree, Candidate Variable_14) |
| | | 45: Found: potential_harm(olive_tree, physical_damage) |
| | | 46: Searching: playful=mischievous |
| | | 47: Fail: playful=mischievous | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: likely_to_harm(bugs_bunny, olive_tree) |
| | | |
| | | |
| | | [Path 4]: |
| | | 48: Searching: physical_damage=physical_damage |
| | | 49: Found: physical_damage=physical_damage |
| | | 50: Searching: true |
| | | 51: Found: true |
| | | 52: Searching: prank=prank |
| | | 53: Found: prank=prank |
| | | 54: Searching: botanist_insight(Candidate Variable_15, Candidate Variable_16) |
| | | 55: Found: botanist_insight(olive_tree_vulnerability, high) |
| | | 56: Searching: botanist_opinion(Candidate Variable_17, Candidate Variable_18) |
| | | 57: Found: botanist_opinion(recovery_from_damage, slow) |
| | | 58: Searching: high=high |
| | | 59: Found: high=high |
| | | 60: Searching: recovery_from_damage=slow |
| | | 61: Fail: recovery_from_damage=slow | {'Result': 'Search Failed'} |
| 30: Fail: likely_to_harm(bugs_bunny, olive_tree) | {'Result': 'Search Failed'} | | 62: Fail: likely_to_harm(bugs_bunny, olive_tree) | {'Result': 'Search Failed'} |
| 31: Fail: query | {'Result': 'Search Failed'} | | 63: Fail: query | {'Result': 'Search Failed'} |
| | | |