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
n4 2: Searching: \+ still_in_place(dont_ask_dont_tell)n
5 3: Searching: still_in_place(dont_ask_dont_tell)4 2: Searching: still_in_place(dont_ask_dont_tell)
6 4: Searching: implementation_date(Candidate Variable_0)5 3: Searching: implementation_date(Candidate Variable_0)
7 5Searching: implementation_date(1993)6 4Found: implementation_date(1993)
8 6: Searching: repeal_date(Candidate Variable_1)7 5: Searching: repeal_date(Candidate Variable_1)
9 7Searching: repeal_date(2010)8 6Found: repeal_date(2010)
10 8: Searching: attack_date(Candidate Variable_2)9 7: Searching: attack_date(Candidate Variable_2)
11 9Searching: attack_date(2001)10 8Found: attack_date(2001)
12 10: Searching: (1993<2001, 2001<2010)
13 11: Searching: 1993<200111 9: Searching: 1993<2001
12 10: Found: 1993<2001
14 12: Searching: 2001<201013 11: Searching: 2001<2010
14 12: Found: 2001<2010
15 13: Searching: still_in_place(dont_ask_dont_tell)15 13: Found: still_in_place(dont_ask_dont_tell)
16 14: Fail: query | {'Result': 'Search Failed'}16 14: Fail: query | {'Result': 'Search Failed'}
tt17 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op