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: step_parent(rosa, annie)4 2: Searching: step_parent(rosa, annie)
5 3: Searching: married(rosa, Candidate Variable_0)5 3: Searching: married(rosa, Candidate Variable_0)
6 4: Found: married(rosa, stephen)6 4: Found: married(rosa, stephen)
7 5: Searching: parent(stephen, annie)7 5: Searching: parent(stephen, annie)
8 6: Found: parent(stephen, annie)8 6: Found: parent(stephen, annie)
9 7: Found: step_parent(rosa, annie)9 7: Found: step_parent(rosa, annie)
10 8: Searching: sister_in_law(rosa, darren)10 8: Searching: sister_in_law(rosa, darren)
11 9: Searching: married(rosa, Candidate Variable_1)11 9: Searching: married(rosa, Candidate Variable_1)
t1210: Found: married(rosa, stephen)t12 10: Found: married(rosa, stephen)
1311: Searching: sibling(stephen, darren)13 11: Searching: sibling(stephen, darren)
1412: Fail: sibling(stephen, darren) | {'Result': 'Search Failed'}14 12: Fail: sibling(stephen, darren) | {'Result': 'Search Failed'}
1513: Fail: sister_in_law(rosa, darren) | {'Result': 'Search Failed'}15 13: Fail: sister_in_law(rosa, darren) | {'Result': 'Search Failed'}
1614: 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