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
t4 2: Searching: \+ eligible_for_medicare(eleventh_grader)t
5 3: Searching: eligible_for_medicare(eleventh_grader)4 2: Searching: eligible_for_medicare(eleventh_grader)
6 4: Searching: age(eleventh_grader, Candidate Variable_0)5 3: Searching: age(eleventh_grader, Candidate Variable_0)
7 5Searching: age(eleventh_grader, 16)6 4Found: age(eleventh_grader, 16)
8 6: Searching: medicare_eligibility(age, Candidate Variable_1)7 5: Searching: medicare_eligibility(age, Candidate Variable_1)
9 7Searching: medicare_eligibility(age, 65)8 6Found: medicare_eligibility(age, 65)
10 8: Searching: 16>=659 7: Searching: 16>=65
11 9: Fail: 16>=65 | {'Result': 'Search Failed'}10 8: Fail: 16>=65 | {'Result': 'Search Failed'}
12 10: Searching: eligible_for_medicare(eleventh_grader)11 9: Fail: eligible_for_medicare(eleventh_grader) | {'Result': 'Search Failed'}
13 11: Searching: \+ (exception(disability, yes); exception(medical_condition, yes))12 
13Looking for other paths: Redo: query
14 
15 
16[Path 2]:
17 10: Searching: exception(disability, yes)
18 11: Fail: exception(disability, yes) | {'Result': 'Search Failed'}
19 
20Looking for other paths: Redo: query
21 
22 
23[Path 3]:
24 12: Searching: exception(medical_condition, yes)
14 12: Fail: \+ (exception(disability, yes); exception(medical_condition, yes)) | {'Result': 'Search Failed'}25 13: Fail: exception(medical_condition, yes) | {'Result': 'Search Failed'}
15 13: Fail: query | {'Result': 'Search Failed'}26 
27Looking for other paths: Redo: query
28 
29 
30[Path 4]:
31 14: Found: query | {'Result': 'Yes'}
32 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op