Bow Tie Kreative Writing System

Rules / argument

ARG-016 Hard constraint layer: document

Conclusion does not outrun premises

IF the conclusion adds a stronger, broader, or different claim than the argument established, THEN narrow it or add the missing support ELSE retain.

Why the rule exists

The final claim inherits the limits of the premises and evidence.

Condition

The rule fires when this evaluates true. Paths marked below must be present in the fact base; the engine reports the rest rather than guessing them.

  • document.conclusion.entailment_status eq "outruns_premises"

Facts this rule reads

Fact paths read by ARG-016 and whether the analyser derives them
PathSource
document.conclusion.entailment_status You supply it

Then

  1. align — target document.conclusion
  2. insert — target missing_support

Else

  1. retain — target current_text, No triggering condition is present.

LAKA

Smallest sufficient intervention
Yes
Primary axes

Sources

  • The Sense of Style — Steven Pinker
    Reader-centered clarity informed by linguistics and cognition.
  • Technical Communication — Mike Markel; Stuart A. Selber
    Audience, design, ethics, research, and technical genres.
The raw rule record

Verbatim from 14-argument-nonfiction-rules.json. Also available at /v1/rules/ARG-016.

{
  "id": "ARG-016",
  "name": "Conclusion does not outrun premises",
  "domain": "argument",
  "layer": "document",
  "strength": "hard_constraint",
  "human_logic": "IF the conclusion adds a stronger, broader, or different claim than the argument established, THEN narrow it or add the missing support ELSE retain.",
  "when": {
    "path": "document.conclusion.entailment_status",
    "operator": "eq",
    "value": "outruns_premises"
  },
  "then": [
    {
      "action": "align",
      "target": "document.conclusion",
      "with": "supported_claim_boundary"
    },
    {
      "action": "insert",
      "target": "missing_support",
      "when": "stronger_conclusion_required"
    }
  ],
  "else": [
    {
      "action": "retain",
      "target": "current_text",
      "reason": "No triggering condition is present."
    }
  ],
  "unless": [],
  "because": "The final claim inherits the limits of the premises and evidence.",
  "diagnostics": [],
  "examples": {},
  "source_ids": [
    "BK-008",
    "BK-026"
  ],
  "laka": {
    "smallest_sufficient_intervention": true,
    "primary_axes": [
      "scope",
      "depth",
      "magnitude",
      "reversibility"
    ]
  }
}

Other argument rules

  1. ARG-001 Define the rhetorical situation IF author, audience, purpose, text, or setting is unknown, THEN define the missing element before drafting strategy ELSE proceed. Hard constraint
  2. ARG-002 One controlling thesis IF a document makes multiple unrelated controlling claims, THEN narrow, subordinate, or split them ELSE retain. Context default
  3. ARG-003 Classify claim before selecting evidence IF a claim is present, THEN classify it as factual, causal, evaluative, definitional, predictive, or policy before choosing support ELSE do not infer support requirements. Hard constraint
  4. ARG-004 Evidence matches claim type IF evidence type does not support the claim type, THEN replace, supplement, narrow, or remove the claim ELSE retain. Hard constraint
  5. ARG-005 Make the warrant available IF evidence does not obviously entail the claim for the intended audience, THEN state the connecting warrant ELSE retain. Context default
  6. ARG-006 Qualify to the evidence boundary IF claim scope exceeds evidence population, conditions, time, or uncertainty, THEN narrow or qualify the claim ELSE retain. Hard constraint
  7. ARG-007 Address strongest relevant counterargument IF a reasonable reader has a strong relevant objection, THEN represent it fairly and respond with evidence or concession ELSE omit peripheral objections. Context default
  8. ARG-008 Distinguish correlation from causation IF evidence is correlational AND the claim is causal, THEN add causal evidence, state a mechanism with tests, or change the claim to association ELSE retain. Hard constraint