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: can_hit_homerun(brad_hand)4 2: Searching: can_hit_homerun(brad_hand)
5 3: Searching: player_role(brad_hand, Candidate Variable_0)5 3: Searching: player_role(brad_hand, Candidate Variable_0)
6 4: Found: player_role(brad_hand, pitcher)6 4: Found: player_role(brad_hand, pitcher)
t7 5: Searching: \+ Role = power_hittert7 5: Searching: pitcher=power_hitter
8 6: Found: \+ pitcher = power_hitter
9 7: Fail: can_hit_homerun(brad_hand) | {'Result': 'Search Failed'}
10 8: Fail: query | {'Result': 'Search Failed'}8 6: Fail: pitcher=power_hitter | {'Result': 'Search Failed'}
9 
10Looking for other paths: Redo: can_hit_homerun(brad_hand)
11 
12 
13[Path 2]:
14 7: Found: can_hit_homerun(brad_hand)
15 8: Found: query | {'Result': 'query'}
16 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op