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 |
| 2: Searching: could_have_been_present(king_arthur, anne_boleyn_beheading, Candidate Variable_0) | | 2: Searching: could_have_been_present(king_arthur, anne_boleyn_beheading, Candidate Variable_0) |
| 3: Searching: historical_period(king_arthur, Candidate Variable_1) | | 3: Searching: historical_period(king_arthur, Candidate Variable_1) |
n | 4: Searching: historical_period(king_arthur, medieval) | n | 4: Found: historical_period(king_arthur, medieval) |
| 5: Searching: event(anne_boleyn_beheading, Candidate Variable_2) | | 5: Searching: event(anne_boleyn_beheading, Candidate Variable_2) |
n | 6: Searching: event(anne_boleyn_beheading, 1536) | n | 6: Found: event(anne_boleyn_beheading, 1536) |
| 7: Searching: medieval==medieval | | 7: Searching: medieval==medieval |
n | 8: Searching: medieval==medieval | n | 8: Found: medieval==medieval |
| 9: Searching: 1536<500 | | 9: Searching: 1536<500 |
| 10: Fail: 1536<500 | {'Result': 'Search Failed'} | | 10: Fail: 1536<500 | {'Result': 'Search Failed'} |
t | 11: Searching: no=no | t | |
| 12: Searching: no=no | | Looking for other paths: Redo: could_have_been_present(king_arthur, anne_boleyn_beheading, Candidate Variable_0) |
| 13: Searching: could_have_been_present(king_arthur, anne_boleyn_beheading, no) | | |
| 14: Searching: no=no | | |
| 15: Searching: no=no | | [Path 2]: |
| 16: Searching: query | {'Result': 'yes'} | | 11: Searching: medieval==tudor |
| | | 12: Fail: medieval==tudor | {'Result': 'Search Failed'} |
| | | 13: Fail: could_have_been_present(king_arthur, anne_boleyn_beheading, Candidate Variable_0) | {'Result': 'Search Failed'} |
| | | 14: Fail: query | {'Result': 'Search Failed'} |
| | | |