Generated 2026-04-13 00:48:06 UTC | Back to ladder index | Back to docs
Status: passed
Validation: 1/1 passed
Parser failures: 0 | Apply failures: 0
Artifacts: raw run json | rendered run transcript
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Socrates is a man. |
| 2 | assert_rule | If someone is a man then they are mortal. |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| rule_man_to_mortal | mortal(socrates). | success | 1 |