list-premises
Review all asserted statements in a logic reasoning session to track what has been established in the knowledge base.
Instructions
List all premises in a session's knowledge base.
When to use: Review what has been asserted so far.
Example: session_id: "abc-123..." → Returns: { premises: ["all x (man(x) -> mortal(x))", "man(socrates)"] }
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | Yes | Session ID from create-session | |
| verbosity | No | Response verbosity: 'minimal' (token-efficient), 'standard' (default), 'detailed' (debug info) |