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: have_different_musical_passions4 2: Searching: have_different_musical_passions
5 3: Searching: different_musical_passions(classical_music, none)5 3: Searching: different_musical_passions(classical_music, none)
t6 4: Searching: squidward_musical_interests(classical_music)t6 4: Searching: squidward_musical_interests(Candidate Variable_0)
7 5: Searching: squidward_musical_interests(classical_music)7 5: Found: squidward_musical_interests(classical_music)
8 6: Searching: alan_greenspan_musical_interests(none)8 6: Searching: alan_greenspan_musical_interests(Candidate Variable_1)
9 7: Searching: alan_greenspan_musical_interests(none)9 7: Found: alan_greenspan_musical_interests(none)
10 8: Searching: classical_music \= none10 8: Searching: classical_music\=none
11 9: Searching: classical_music \= none11 9: Found: classical_music\=none
12 10: Found: different_musical_passions(classical_music, none)
12 10Searching: have_different_musical_passions13 11Found: have_different_musical_passions
13 11Searching: query | {'Result': 'yes'}14 12Found: query | {'Result': 'Yes'}
15 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op