f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
n | 2: Searching: \+ still_in_place(dont_ask_dont_tell) | n | |
| 3: Searching: still_in_place(dont_ask_dont_tell) | | 2: Searching: still_in_place(dont_ask_dont_tell) |
| 4: Searching: implementation_date(Candidate Variable_0) | | 3: Searching: implementation_date(Candidate Variable_0) |
| 5: Searching: implementation_date(1993) | | 4: Found: implementation_date(1993) |
| 6: Searching: repeal_date(Candidate Variable_1) | | 5: Searching: repeal_date(Candidate Variable_1) |
| 7: Searching: repeal_date(2010) | | 6: Found: repeal_date(2010) |
| 8: Searching: attack_date(Candidate Variable_2) | | 7: Searching: attack_date(Candidate Variable_2) |
| 9: Searching: attack_date(2001) | | 8: Found: attack_date(2001) |
| 10: Searching: (1993<2001, 2001<2010) | | |
| 11: Searching: 1993<2001 | | 9: Searching: 1993<2001 |
| | | 10: Found: 1993<2001 |
| 12: Searching: 2001<2010 | | 11: Searching: 2001<2010 |
| | | 12: Found: 2001<2010 |
| 13: Searching: still_in_place(dont_ask_dont_tell) | | 13: Found: still_in_place(dont_ask_dont_tell) |
| 14: Fail: query | {'Result': 'Search Failed'} | | 14: Fail: query | {'Result': 'Search Failed'} |
t | | t | |