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: would_have_been_born_without_vikings(edward_ii, Candidate Variable_0)4 2: Searching: would_have_been_born_without_vikings(edward_ii, Candidate Variable_0)
5 3: Searching: birth_year(edward_ii, Candidate Variable_1)5 3: Searching: birth_year(edward_ii, Candidate Variable_1)
n6 4: Searching: birth_year(edward_ii, 1284)n6 4: Found: birth_year(edward_ii, 1284)
7 5: Searching: end_of_viking_age(Candidate Variable_2)7 5: Searching: end_of_viking_age(Candidate Variable_2)
n8 6: Searching: end_of_viking_age(1066)n8 6: Found: end_of_viking_age(1066)
9 7: Searching: 1284>10669 7: Searching: 1284>1066
tt10 8: Found: 1284>1066
11 9: Searching: _15498=yes
12 10: Found: yes=yes
13 11: Found: would_have_been_born_without_vikings(edward_ii, yes)
14 12: Searching: yes=no
10 8: Fail: 1284>1066 | {'Result': 'Search Failed'}15 13: Fail: yes=no | {'Result': 'Search Failed'}
11 9: Fail: would_have_been_born_without_vikings(edward_ii, Candidate Variable_0) | {'Result': 'Search Failed'}
12 10: Fail: query | {'Result': 'Search Failed'}16 14: Fail: query | {'Result': 'Search Failed'}
17 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op