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: is_alive(vibrio_cholerae)4 2: Searching: is_alive(vibrio_cholerae)
5 3: Searching: cholera(vibrio_cholerae)5 3: Searching: cholera(vibrio_cholerae)
t6 4: Searching: cholera(vibrio_cholerae)t6 4: Found: cholera(vibrio_cholerae)
7 5: Searching: \+ living_organisms_attributes(vibrio_cholerae)7 5: Searching: living_organisms_attributes(vibrio_cholerae)
8 6: Searching: \+ living_organisms_attributes(has_metabolism)8 6: Fail: living_organisms_attributes(vibrio_cholerae) | {'Result': 'Search Failed'}
9 7: Fail: \+ living_organisms_attributes(has_metabolism) | {'Result': 'no'}9 
10Looking for other paths: Redo: is_alive(vibrio_cholerae)
11 
12 
13[Path 2]:
10 8Searching: is_alive(vibrio_cholerae)14 7Found: is_alive(vibrio_cholerae)
11 9: Searching: query | {'Result': 'no'}15 8: Found: query | {'Result': 'Yes'}
16 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op