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: could_have_been_present(king_arthur, anne_boleyn_beheading, Candidate Variable_0)4 2: Searching: could_have_been_present(king_arthur, anne_boleyn_beheading, Candidate Variable_0)
5 3: Searching: historical_period(king_arthur, Candidate Variable_1)5 3: Searching: historical_period(king_arthur, Candidate Variable_1)
n6 4: Searching: historical_period(king_arthur, medieval)n6 4: Found: historical_period(king_arthur, medieval)
7 5: Searching: event(anne_boleyn_beheading, Candidate Variable_2)7 5: Searching: event(anne_boleyn_beheading, Candidate Variable_2)
n8 6: Searching: event(anne_boleyn_beheading, 1536)n8 6: Found: event(anne_boleyn_beheading, 1536)
9 7: Searching: medieval==medieval9 7: Searching: medieval==medieval
n10 8: Searching: medieval==medievaln10 8: Found: medieval==medieval
11 9: Searching: 1536<50011 9: Searching: 1536<500
12 10: Fail: 1536<500 | {'Result': 'Search Failed'}12 10: Fail: 1536<500 | {'Result': 'Search Failed'}
t13 11: Searching: no=not13 
14 12: Searching: no=no14Looking for other paths: Redo: could_have_been_present(king_arthur, anne_boleyn_beheading, Candidate Variable_0)
15 13: Searching: could_have_been_present(king_arthur, anne_boleyn_beheading, no)15 
16 14: Searching: no=no16 
17 15: Searching: no=no17[Path 2]:
18 16: Searching: query | {'Result': 'yes'}18 11: Searching: medieval==tudor
19 12: Fail: medieval==tudor | {'Result': 'Search Failed'}
20 13: Fail: could_have_been_present(king_arthur, anne_boleyn_beheading, Candidate Variable_0) | {'Result': 'Search Failed'}
21 14: Fail: query | {'Result': 'Search Failed'}
22 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op