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