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: petition_required(rowing)4 2: Searching: petition_required(rowing)
t5 3: Searching: marist_processes(student_petitions, sports_teams)t5 3: Searching: marist_processes(student_petitions, Candidate Variable_0)
6 4: Searching: marist_processes(student_petitions, sports_teams)6 4: Found: marist_processes(student_petitions, sports_teams)
7 5: Searching: recognized_sport(marist, rowing, false)7 5: Searching: recognized_sport(marist, rowing, true)
8 6: Searching: recognized_sport(marist, rowing, _)8 6: Fail: recognized_sport(marist, rowing, true) | {'Result': 'Search Failed'}
9 
10Looking for other paths: Redo: petition_required(rowing)
11 
12 
13[Path 2]:
14 7: Searching: rowing=rowing
15 8: Found: rowing=rowing
9 7Searching: petition_required(rowing)16 9Found: petition_required(rowing)
10 8Searching: query | {'Result': 'yes'}17 10Found: query | {'Result': 'Yes'}
18 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op