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: impossible_to_reach_on(mayflower, burning_man)4 2: Searching: impossible_to_reach_on(mayflower, burning_man)
5 3: Searching: ship(mayflower, Candidate Variable_0, Candidate Variable_1, Candidate Variable_2)5 3: Searching: ship(mayflower, Candidate Variable_0, Candidate Variable_1, Candidate Variable_2)
n6 4: Searching: ship(mayflower, 1620, Candidate Variable_3, Candidate Variable_4)n6 4: Found: ship(mayflower, 1620, england, america)
7 5: Searching: event_location(burning_man, Candidate Variable_5, Candidate Variable_6, Candidate Variable_7)7 5: Searching: event_location(burning_man, Candidate Variable_3, Candidate Variable_4, Candidate Variable_5)
8 6: Searching: event_location(burning_man, black_rock_desert, nevada, usa)8 6: Found: event_location(burning_man, black_rock_desert, nevada, usa)
9 7: Searching: 1620<18009 7: Searching: 1620<1800
t10 8: Searching: 1620<1800t10 8: Found: 1620<1800
11 9: Exit: 1620<1800
1210Exit: impossible_to_reach_on(mayflower, burning_man)11 9Found: impossible_to_reach_on(mayflower, burning_man)
1311: Exit: query12 10: Found: query | {'Result': 'Yes'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op