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: crime_dog(Candidate Variable_0) |  | 4 | 2: Searching: crime_dog(Candidate Variable_0)
n | 5 | 3: Searching: crime_dog(mcgruff) | n | 5 | 3: Found: crime_dog(mcgruff)
| 6 | 4: Searching: slogan(mcgruff, Candidate Variable_1) |  | 6 | 4: Searching: slogan(mcgruff, Candidate Variable_1)
n | 7 | 5: Searching: slogan(mcgruff, 'Take a bite out of crime') | n | 7 | 5: Found: slogan(mcgruff, 'Take a bite out of crime')
| 8 | 6: Searching: incident(Candidate Variable_2, 1997, Boxer1, Boxer2) |  | 8 | 6: Searching: incident(Candidate Variable_2, Candidate Variable_3, Candidate Variable_4, Candidate Variable_5)
| 9 | 7: Searching: incident(ear_biting, 1997, mike_tyson, evander_holyfield) |  | 9 | 7: Found: incident(ear_biting, 1997, Candidate Variable_6, Candidate Variable_7)
| 10 | 8: Searching: leading_up_to_incident(tense_boxing_match) |  | 10 | 8: Searching: 1997=1997
| 11 | 9: Searching: leading_up_to_incident(tense_boxing_match) |  | 11 | 9: Found: 1997=1997
| 12 | 10: Searching: incident_aftermath(Candidate Variable_3) |  | 12 | 10: Searching: conclude_comparison
| 13 | 11: Searching: incident_aftermath(disqualification of Mike Tyson) |  |  |
| 14 | 12: Searching: comparing_action_and_slogan |  | 13 | 11: Searching: comparing_action_and_slogan
| 15 | 13: Searching: slogan(McSlogan, 'Take a bite') |  |  |
| 16 | 14: Searching: slogan(_G224, 'Take a bite') |  | 14 | 12: Searching: slogan(Candidate Variable_8, 'Take a bite')
| 17 | 15: Searching: incident(Incident, _, Boxer1, _) |  | 15 | 13: Fail: slogan(Candidate Variable_9, 'Take a bite') | {'Result': 'Search Failed'}
| 18 | 16: Searching: incident(ear_biting, _, mike_tyson, _) |  | 16 | 14: Fail: comparing_action_and_slogan | {'Result': 'Search Failed'}
| 19 | 17: Searching: doer_of_action(Boxer1) |  | 17 | 15: Fail: conclude_comparison | {'Result': 'Search Failed'}
| 20 | 18: Searching: doer_of_action(mike_tyson) |  | 18 | 16: Fail: query | {'Result': 'Search Failed'}
| 21 | 19: Searching: action_description(ear_biting, 'biting') |  |  |
| 22 | 20: Searching: action_description(ear_biting, 'biting') |  |  |
| 23 | 21: Searching: _2404=true |  |  |
| 24 | 22: Searching: true=true |  |  |
| 25 | 23: Searching: extending_analysis(mike_tyson, Conduct) |  |  |
| 26 | 24: Searching: unusual_conduct(mike_tyson, head_butting) |  |  |
| 27 | 25: Searching: unusual_conduct(mike_tyson, head_butting) |  |  |
| 28 | 26: Searching: impact_of_incident(Impact) |  |  |
| 29 | 27: Searching: impact_on_boxing(rule_changes) |  |  |
| 30 | 28: Searching: impact_on_boxing(rule_changes) |  |  |
| 31 | 29: Searching: provide_biographical_context(mike_tyson, evander_holyfield) |  |  |
| 32 | 30: Searching: biography(mike_tyson, Candidate Variable_4) |  |  |
| 33 | 31: biography(evander_holyfield, Candidate Variable_5) |  |  |
| 34 | 32: Searching: biography(mike_tyson, _); biography(evander_holyfield, _) |  |  |
| 35 | 33: Searching: conclude_comparison |  |  |
| 36 | 34: Searching: comparing_action_and_slogan |  |  |
| 37 | 35: Searching: slogan(_G1268, 'Take a bite') |  |  |
| 38 | 36: Searching: incident(_G1290, _, mike_tyson, _) |  |  |
| 39 | 37: Searching: doer_of_action(mike_tyson) |  |  |
| 40 | 38: Searching: action_description(_G1290, 'biting') |  |  |
| 41 | 39: Searching: action_description(_G1290, 'biting') |  |  |
| 42 | 40: Searching: _3616=true |  |  |
| 43 | 41: Searching: true=true |  |  |
| 44 | 42: Searching: extending_analysis(mike_tyson, head_butting) |  |  |
| 45 | 43: Searching: impact_of_incident(rule_changes) |  |  |
| 46 | 44: Searching: provide_biographical_context(mike_tyson, evander_holyfield) |  |  |
| 47 | 45: Searching: provide_biographical_context(mike_tyson, evander_holyfield) |  |  |
| 48 | 46: Searching: biography(mike_tyson, _G1448) |  |  |
| 49 | 47: Searching: biography(evander_holyfield, _G1449) |  |  |
| 50 | 48: Searching: biography(mike_tyson, _); biography(evander_holyfield, _) |  |  |
| 51 | 49: Searching: conclude_comparison |  |  |
| 52 | 50: Searching: query | {'Result': 'yes'} |  |  |
| 53 |  |  | 19 |
t | 54 | [Path 2]: | t |  |
| 55 | 51: Searching: crime_dog(Candidate Variable_6) |  |  |
| 56 | 52: Searching: crime_dog(_G234) |  |  |
| 57 | 53: Fail: slogan(Candidate Variable_7) | {'Result': 'Search Failed'} |  |  |
| 58 | 54: Fail: incident(Candidate Variable_8, 1997, Boxer1, Boxer2) | {'Result': 'Search Failed'} |  |  |
| 59 | 55: Fail: leading_up_to_incident(_G236) | {'Result': 'Search Failed'} |  |  |
| 60 | 56: Fail: comparing_action_and_slogan | {'Result': 'Search |  |  |

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