assert-premise
Add logical formulas to build knowledge bases incrementally for first-order logic reasoning sessions.
Instructions
Add a formula to a session's knowledge base.
When to use: Building up premises incrementally in a session.
Example: session_id: "abc-123..." formula: "all x (man(x) -> mortal(x))" → Adds the formula to the session KB
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | Yes | Session ID from create-session | |
| formula | Yes | FOL formula to add to the knowledge base | |
| verbosity | No | Response verbosity: 'minimal' (token-efficient), 'standard' (default), 'detailed' (debug info) |