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: crossed_blue_line_in_stanley_cup(frederik_andersen)4 2: Searching: crossed_blue_line_in_stanley_cup(frederik_andersen)
5 3: Searching: can_perform(frederik_andersen, cross_blue_line)5 3: Searching: can_perform(frederik_andersen, cross_blue_line)
n6 4: Searching: player_position(frederik_andersen, Position)n6 4: Searching: player_position(frederik_andersen, Candidate Variable_0)
7 5: Found: player_position(frederik_andersen, goaltender)7 5: Found: player_position(frederik_andersen, goaltender)
8 6: Searching: skater_action(cross_blue_line)8 6: Searching: skater_action(cross_blue_line)
9 7: Found: skater_action(cross_blue_line)9 7: Found: skater_action(cross_blue_line)
n10 8: Searching: \+ goaltender=goaltendern10 8: Searching: goaltender=goaltender
11 9: Fail: goaltender=goaltender | {'Result': 'Search Failed'}11 9: Found: goaltender=goaltender
12 10: Fail: can_perform(frederik_andersen, cross_blue_line) | {'Result': 'Search Failed'}12 10: Fail: can_perform(frederik_andersen, cross_blue_line) | {'Result': 'Search Failed'}
13 11: Fail: crossed_blue_line_in_stanley_cup(frederik_andersen) | {'Result': 'Search Failed'}13 11: Fail: crossed_blue_line_in_stanley_cup(frederik_andersen) | {'Result': 'Search Failed'}
14 12: Fail: query | {'Result': 'Search Failed'}14 12: Fail: query | {'Result': 'Search Failed'}
tt15 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op