f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: relationship(rachel, april, Candidate Variable_0)4 2: Searching: relationship(rachel, april, Candidate Variable_0)
5 3: Searching: sibling(rachel, april)5 3: Searching: sibling(rachel, april)
n6 4: Searching: parent(Z, rachel)n6 4: Searching: parent(Candidate Variable_1, rachel)
7 5: Found: parent(charles, rachel)7 5: Found: parent(charles, rachel)
t8 6: Searching: parent(Z, april)t8 6: Searching: parent(charles, april)
9 7: Found: parent(frank, april)9 7: Fail: parent(charles, april) | {'Result': 'Search Failed'}
10 8: Searching: rachel\=april10 8: Fail: sibling(rachel, april) | {'Result': 'Search Failed'}
11 9: Found: rachel\=april11 9: Fail: relationship(rachel, april, Candidate Variable_0) | {'Result': 'Search Failed'}
12 10: Found: sibling(rachel, april)12 10: Fail: query | {'Result': 'Search Failed'}
13 11: Searching: _13884=sister13 
14 12: Found: sister=sister
15 13: Found: relationship(rachel, april, sister)
16 14: Comment: Rachel is April's sister.
17 15: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op