nn1[Path 1]:
10: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
21: Searching: query3 1: Searching: query
32: Searching: parent(kenneth, isabel)4 2: Searching: parent(kenneth, isabel)
43: Searching: married_to(kenneth, Candidate Variable_0)5 3: Searching: married_to(kenneth, Candidate Variable_0)
5   - Searching: parent_of(Candidate Variable_0, isabel)
6   - Fail: parent_of(Wife, isabel)
7   - Fail: parent(kenneth, isabel)
8   - Fail: query | {'Result': 'Search Failed'}
9 
10Looking for other paths: Redo: married_to(kenneth, Candidate Variable_0)
11 
12 [Path 2]:
13 4: Found: married_to(kenneth, wife)6 4: Found: married_to(kenneth, wife)
14 5: Searching: parent_of(wife, isabel)7 5: Searching: parent_of(wife, isabel)
n15 6: Fail: parent_of(wife, isabel)n8 6: Fail: parent_of(wife, isabel) | {'Result': 'Search Failed'}
16 7: Fail: parent(kenneth, isabel)9 7: Fail: parent(kenneth, isabel) | {'Result': 'Search Failed'}
17 8: Fail: query | {'Result': 'Search Failed'}10 8: Fail: query | {'Result': 'Search Failed'}
tt11 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op