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: top_sticks_out_of_sea(mount_fuji, sea_of_japan)4 2: Searching: top_sticks_out_of_sea(mount_fuji, sea_of_japan)
nn5 3: Searching: height(mount_fuji, Candidate Variable_0)
5 3Searching: height(mount_fuji, 3776)6 4Found: height(mount_fuji, 3776)
6 4: Searching: depth(sea_of_japan, 1525)7 5: Searching: depth(sea_of_japan, Candidate Variable_1)
7 5: Searching: height(mount_fuji, 3776)
8 6: Searching: depth(sea_of_japan, 1525)8 6: Found: depth(sea_of_japan, 1525)
9 7: Searching: 3776>15259 7: Searching: 3776>1525
t10 8: Searching: 3776>1525t10 8: Found: 3776>1525
11 9: Exit: 3776>1525
12 10Exit: top_sticks_out_of_sea(mount_fuji, sea_of_japan)11 9Found: top_sticks_out_of_sea(mount_fuji, sea_of_japan)
13 11Exit: query | {'Result': 'true'}12 10Found: query | {'Result': 'Yes'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op