f1[Path 1]:f1[Path 1]:
n20: Start of execution: Beginning Searchn2 0: Start of execution: Beginning Search
31: Searching: query3 1: Searching: query
4 2: Searching: organ_donation(Candidate Variable_0, Candidate Variable_1)
42Searching: organ_donation(Donor, Recipient)5 3Found: organ_donation(donor, recipient)
53: Searching: living_donation(Donor, SurgicalProcedure)6 4: Searching: living_donation(donor, Candidate Variable_2)
64: Searching: donor_alive7 5: Fail: living_donation(donor, Candidate Variable_3) | {'Result': 'Search Failed'}
75: Fail: donor_alive | {'Result': 'Search Failed'}
88
n9Looking for other paths: Redo: organ_donation(Donor, Recipient)n9Looking for other paths: Redo: query
1010
1111
12[Path 2]:12[Path 2]:
n136: Searching: deceased_donation(Donor, BrainDead)n13 6: Searching: deceased_donation(donor, Candidate Variable_4)
147: Searching: donor_deceased
158: Fail: donor_deceased | {'Result': 'Search Failed'}
169: Fail: organ_donation(Donor, Recipient) | {'Result': 'Search Failed'}14 7: Fail: deceased_donation(donor, Candidate Variable_5) | {'Result': 'Search Failed'}
1710: Fail: query | {'Result': 'Search Failed'}15 
16Looking for other paths: Redo: organ_donation(Candidate Variable_0, Candidate Variable_1)
1817
1918
t20Only failed paths are shown due to the presence of disjunctions.t19[Path 3]:
20 8: Found: organ_donation(life_saving_act, true)
21 9: Searching: living_donation(life_saving_act, Candidate Variable_6)
22 10: Fail: living_donation(life_saving_act, Candidate Variable_7) | {'Result': 'Search Failed'}
23 
24Looking for other paths: Redo: query
25 
26 
27[Path 4]:
28 11: Searching: deceased_donation(life_saving_act, Candidate Variable_8)
29 12: Fail: deceased_donation(life_saving_act, Candidate Variable_9) | {'Result': 'Search Failed'}
30 13: Fail: query | {'Result': 'Search Failed'}
31 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op