{
  "tool": "deductive_entailment_authority",
  "expected_status": "decided",
  "arguments": {
    "request_id": "demo-dea-e1",
    "scenario_id": "entailed-modus-ponens",
    "premises": [
      "socrates_is_human",
      "socrates_is_human -> socrates_is_mortal"
    ],
    "claim": "socrates_is_mortal",
    "proposer": {
      "lane": "frontier_fixture",
      "model_family": "model_style_proposer",
      "proposal_id": "proposal-e1"
    }
  }
}
