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: sibling(spencer, maxine)4 2: Searching: sibling(spencer, maxine)
n5 3: Searching: parent(Z, spencer)n5 3: Searching: parent(Candidate Variable_0, spencer)
6 4: Found: parent(carmelita, spencer)6 4: Found: parent(carmelita, spencer)
n7 5: Searching: parent(Z, maxine)n7 5: Searching: parent(carmelita, maxine)
8 6: Found: parent(carmelita, maxine)8 6: Found: parent(carmelita, maxine)
n9 7: Searching: spencer \= maxinen9 7: Searching: spencer\=maxine
10 8: Found: spencer \= maxine10 8: Found: spencer\=maxine
11 9: Found: sibling(spencer, maxine)11 9: Found: sibling(spencer, maxine)
12 10: Found: query | {'Result': 'truth = True'}12 10: Found: query | {'Result': 'truth = True'}
tt13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op