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: crime_dog(Candidate Variable_0)4 2: Searching: crime_dog(Candidate Variable_0)
n5 3: Searching: crime_dog(mcgruff)n5 3: Found: crime_dog(mcgruff)
6 4: Searching: slogan(mcgruff, Candidate Variable_1)6 4: Searching: slogan(mcgruff, Candidate Variable_1)
n7 5: Searching: slogan(mcgruff, 'Take a bite out of crime')n7 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_slogan13 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'}
5319
t54[Path 2]:t
5551: 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