{
 "corpus": "carroll-symbolic-logic-1897",
 "seat": "EA-CORPORA-38/09",
 "title": "Lewis Carroll, Symbolic Logic, Part I: Elementary, fourth edition (London: Macmillan, 1897)",
 "edition": "The Project Gutenberg text (#28696), from the fourth edition",
 "language": "eng",
 "license": {
  "payload": "C. L. Dodgson (d. 1898) is public domain; the Gutenberg licence is cut from text/ and kept in original/. The archive asserts no licence over the payload.",
  "record": "CC-BY-4.0 applies to this seat record only."
 },
 "origin": {
  "items": [
   {
    "source": "Project Gutenberg",
    "ebook": 28696,
    "url": "https://www.gutenberg.org/ebooks/28696",
    "file": "pg28696.txt"
   }
  ],
  "transport": "in-session fetch (Transport D); No-Double-Draw"
 },
 "works": {
  "count": 1,
  "units": "one text file per work",
  "list": [
   {
    "slug": "symbolic-logic",
    "work": "Symbolic Logic, Part I",
    "text": "text/symbolic-logic.txt",
    "originals": [
     "original/gutenberg/pg28696.txt"
    ],
    "lines": 13824
   }
  ]
 },
 "normalization": "The Project Gutenberg file as served, under original/. text/ is the same file with the Gutenberg header and licence cut at their markers. No text was corrected by hand.",
 "scope": "Part I whole, with the sorites problems.",
 "why_seated": "The syllogism made a game for the machine of the diagram: the sorites as a puzzle to be solved by a method.",
 "fetched": "2026-11-14",
 "verified_loci": [
  "the preface to the fourth edition — 'PREFACE TO THE FOURTH EDITION' (text/symbolic-logic.txt)",
  "the sorites — 'Soriteses' (text/symbolic-logic.txt)"
 ],
 "loci_not_found": [],
 "lines_total": 13824,
 "ruling": "Lee Sharks, 2026-11-14 01:25 EST: \"lets continue to assemble and we'll deposit and seat the whole thing as a massive batch\"; the standing rule for originals-library seatings, 2026-10-18: \"original language where available always\".",
 "research": {
  "study": "Critique of Pure Inference (working draft v1.1) and The Production of Readers (#1767), §11.6 \"the witnesses between\"",
  "for": "the reception history of inference from the Peripatos to the machine: the commentators who name Aristotle's ἑταῖροι, the Latin handbooks, the early-modern refusals of the syllogism, the nineteenth-century rebuilds, and the traditions that reasoned about inference without the Organon"
 },
 "spine": "EA-CORPORA-38 (#1768)",
 "axn": "AXN:0C91.ORIGINAL.🧫🎶☁️◀️🪜🌋",
 "axn_basis": {
  "sha256_of": "MANIFEST.sha256",
  "sha256": "3a881fd22315ed099d035f53e508c83ffa65fdefaffb67b5c8f5611e45fb42b3",
  "hex_of": "#1768 (AXN:0C91.DATASET.🗺️♦️🧊⏏️🎵♄)",
  "family": "ORIGINAL",
  "glyph_table": "v2.1",
  "assigned": "2026-11-14"
 }
}