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_perform(karl_anthony_towns, corner_kick)4 2: Searching: can_perform(karl_anthony_towns, corner_kick)
5 3: Searching: player_sport(karl_anthony_towns, Candidate Variable_0)5 3: Searching: player_sport(karl_anthony_towns, Candidate Variable_0)
6 4: Found: player_sport(karl_anthony_towns, basketball)6 4: Found: player_sport(karl_anthony_towns, basketball)
t7 5: Searching: (   Candidate Variable_0 = soccer, corner_kick = corner_kickt7 5: Searching: basketball=soccer
8 6: Fail: (   Candidate Variable_0 = soccer, corner_kick = corner_kick) | {'Result': 'Search Failed'}8 6: Fail: basketball=soccer | {'Result': 'Search Failed'}
9 7: Searching: (   Candidate Variable_0 = football, corner_kick = corner_kick9 
10 8: Fail: (   Candidate Variable_0 = football, corner_kick = corner_kick) | {'Result': 'Search Failed'}10Looking for other paths: Redo: can_perform(karl_anthony_towns, corner_kick)
11 9: Searching: (   Candidate Variable_0 = basketball, corner_kick = corner_kick11 
12 10: Fail: (   Candidate Variable_0 = basketball, corner_kick = corner_kick) | {'Result': 'Search Failed'}12 
13[Path 2]:
14 7: Searching: basketball=football
15 8: Fail: basketball=football | {'Result': 'Search Failed'}
16 
17Looking for other paths: Redo: can_perform(karl_anthony_towns, corner_kick)
18 
19 
20[Path 3]:
21 9: Searching: basketball=basketball
22 10: Found: basketball=basketball
23 11: Searching: corner_kick=dunk
24 12: Fail: corner_kick=dunk | {'Result': 'Search Failed'}
13 11: Fail: can_perform(karl_anthony_towns, corner_kick) | {'Result': 'Search Failed'}25 13: Fail: can_perform(karl_anthony_towns, corner_kick) | {'Result': 'Search Failed'}
14 12: Fail: query | {'Result': 'Search Failed'}26 14: Fail: query | {'Result': 'Search Failed'}
27 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op