{
  "accepted_projected_sha256": "ba553e37375752c5db946151d8873c36f0cf65118f5beec33a1925c013288d7e",
  "application_count": 26,
  "applications": [
    {
      "application_id": "TR019-LISTEN-IFF-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 30,
      "file": "content/first-order-logic/proof-systems/sequent-calculus.tex",
      "instance_id": "inst-00153",
      "line": 38,
      "normalization_id": "TR019-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 614925,
      "projected_local_offset": 6781,
      "reader_text": "if and only if",
      "source_offset": 1596,
      "source_text": "iff"
    },
    {
      "application_id": "TR019-LISTEN-IFF-001-A002",
      "application_mode": "rendered_prose_replacement",
      "column": 67,
      "file": "content/first-order-logic/proof-systems/natural-deduction.tex",
      "instance_id": "inst-00154",
      "line": 60,
      "normalization_id": "TR019-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 619311,
      "projected_local_offset": 11167,
      "reader_text": "if and only if",
      "source_offset": 3228,
      "source_text": "iff"
    },
    {
      "application_id": "TR019-LISTEN-IFF-001-A003",
      "application_mode": "rendered_prose_replacement",
      "column": 32,
      "file": "content/first-order-logic/proof-systems/natural-deduction.tex",
      "instance_id": "inst-00154",
      "line": 63,
      "normalization_id": "TR019-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 619491,
      "projected_local_offset": 11347,
      "reader_text": "if and only if",
      "source_offset": 3408,
      "source_text": "iff"
    },
    {
      "application_id": "TR019-LISTEN-IFF-001-A004",
      "application_mode": "rendered_prose_replacement",
      "column": 32,
      "file": "content/first-order-logic/proof-systems/natural-deduction.tex",
      "instance_id": "inst-00154",
      "line": 77,
      "normalization_id": "TR019-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 620034,
      "projected_local_offset": 11890,
      "reader_text": "if and only if",
      "source_offset": 3951,
      "source_text": "iff"
    },
    {
      "application_id": "TR019-LISTEN-IFF-001-A005",
      "application_mode": "rendered_prose_replacement",
      "column": 21,
      "file": "content/first-order-logic/proof-systems/tableaux.tex",
      "instance_id": "inst-00155",
      "line": 45,
      "normalization_id": "TR019-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 622417,
      "projected_local_offset": 14273,
      "reader_text": "if and only if",
      "source_offset": 1933,
      "source_text": "iff"
    },
    {
      "application_id": "TR019-LISTEN-IFF-001-A006",
      "application_mode": "rendered_prose_replacement",
      "column": 33,
      "file": "content/first-order-logic/proof-systems/axiomatic-deduction.tex",
      "instance_id": "inst-00156",
      "line": 47,
      "normalization_id": "TR019-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 626253,
      "projected_local_offset": 18109,
      "reader_text": "if and only if",
      "source_offset": 2000,
      "source_text": "iff"
    },
    {
      "application_id": "TR019-LISTEN-IE-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 34,
      "file": "content/first-order-logic/proof-systems/tableaux.tex",
      "instance_id": "inst-00155",
      "line": 82,
      "normalization_id": "TR019-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 624099,
      "projected_local_offset": 15955,
      "reader_text": "that is",
      "source_offset": 3615,
      "source_text": "i.e."
    },
    {
      "application_id": "TR019-LISTEN-IE-001-A002",
      "application_mode": "rendered_prose_replacement",
      "column": 1,
      "file": "content/first-order-logic/proof-systems/axiomatic-deduction.tex",
      "instance_id": "inst-00156",
      "line": 51,
      "normalization_id": "TR019-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 626514,
      "projected_local_offset": 18370,
      "reader_text": "that is",
      "source_offset": 2261,
      "source_text": "i.e."
    },
    {
      "application_id": "TR019-LISTEN-IE-001-A003",
      "application_mode": "rendered_prose_replacement",
      "column": 33,
      "file": "content/first-order-logic/proof-systems/axiomatic-deduction.tex",
      "instance_id": "inst-00156",
      "line": 64,
      "normalization_id": "TR019-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 627261,
      "projected_local_offset": 19117,
      "reader_text": "that is",
      "source_offset": 3008,
      "source_text": "i.e."
    },
    {
      "application_id": "TR019-LISTEN-IE-001-A004",
      "application_mode": "rendered_prose_replacement",
      "column": 31,
      "file": "content/first-order-logic/proof-systems/axiomatic-deduction.tex",
      "instance_id": "inst-00156",
      "line": 80,
      "normalization_id": "TR019-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 628205,
      "projected_local_offset": 20061,
      "reader_text": "that is",
      "source_offset": 3952,
      "source_text": "i.e."
    },
    {
      "application_id": "TR019-LISTEN-EG-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 24,
      "file": "content/first-order-logic/proof-systems/introduction.tex",
      "instance_id": "inst-00152",
      "line": 43,
      "normalization_id": "TR019-LISTEN-EG-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 610267,
      "projected_local_offset": 2123,
      "reader_text": "for example",
      "source_offset": 2011,
      "source_text": "e.g."
    },
    {
      "application_id": "TR019-LISTEN-EG-001-A002",
      "application_mode": "rendered_prose_replacement",
      "column": 14,
      "file": "content/first-order-logic/proof-systems/axiomatic-deduction.tex",
      "instance_id": "inst-00156",
      "line": 29,
      "normalization_id": "TR019-LISTEN-EG-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 625321,
      "projected_local_offset": 17177,
      "reader_text": "for example",
      "source_offset": 1068,
      "source_text": "e.g."
    },
    {
      "application_id": "TR019-LISTEN-DOTS-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 3,
      "file": "content/first-order-logic/proof-systems/natural-deduction.tex",
      "instance_id": "inst-00154",
      "line": 23,
      "normalization_id": "TR019-LISTEN-DOTS-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 616930,
      "projected_local_offset": 8786,
      "reader_text": "if something, then something",
      "source_offset": 847,
      "source_text": "if \\dots then \\dots"
    },
    {
      "application_id": "TR019-LISTEN-RULE-SEAM-001-A001",
      "application_mode": "contextual_formula_to_prose_join",
      "column": 19,
      "file": "content/first-order-logic/proof-systems/sequent-calculus.tex",
      "formula_id": "projected-formula-0008087",
      "instance_id": "inst-00153",
      "line": 30,
      "normalization_id": "TR019-LISTEN-RULE-SEAM-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 614481,
      "projected_local_offset": 6337,
      "reader_text": "one occurrence of rule",
      "source_offset": 1152,
      "source_text": "formula speech ending in rule + source prose rule"
    },
    {
      "application_id": "TR019-LISTEN-RULE-SEAM-001-A002",
      "application_mode": "contextual_formula_to_prose_join",
      "column": 42,
      "file": "content/first-order-logic/proof-systems/natural-deduction.tex",
      "formula_id": "projected-formula-0008124",
      "instance_id": "inst-00154",
      "line": 51,
      "normalization_id": "TR019-LISTEN-RULE-SEAM-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 618759,
      "projected_local_offset": 10615,
      "reader_text": "one occurrence of rule",
      "source_offset": 2676,
      "source_text": "formula speech ending in rule + source prose rule"
    },
    {
      "application_id": "TR019-LISTEN-RULE-SEAM-001-A003",
      "application_mode": "contextual_formula_to_prose_join",
      "column": 1,
      "file": "content/first-order-logic/proof-systems/tableaux.tex",
      "formula_id": "projected-formula-0008143",
      "instance_id": "inst-00155",
      "line": 34,
      "normalization_id": "TR019-LISTEN-RULE-SEAM-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 621790,
      "projected_local_offset": 13646,
      "reader_text": "one occurrence of rule",
      "source_offset": 1306,
      "source_text": "formula speech ending in rule + source prose rule"
    },
    {
      "application_id": "TR019-LISTEN-FORMAL-NARRATIVE-001-A001",
      "application_mode": "listen_formal_object_recomposition",
      "column": 1,
      "file": "content/first-order-logic/proof-systems/sequent-calculus.tex",
      "formal_object_id": "projected-env-001228",
      "instance_id": "inst-00153",
      "line": 44,
      "normalization_id": "TR019-LISTEN-FORMAL-NARRATIVE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 615281,
      "projected_local_offset": 7137,
      "reader_text": "one ordered sequence with owned formula spans embedded once",
      "source_offset": 1952,
      "source_text": "listen_text paragraph + ordered_steps + bare owned-formula list"
    },
    {
      "application_id": "TR019-LISTEN-FORMAL-NARRATIVE-001-A002",
      "application_mode": "listen_formal_object_recomposition",
      "column": 1,
      "file": "content/first-order-logic/proof-systems/natural-deduction.tex",
      "formal_object_id": "projected-env-001229",
      "instance_id": "inst-00154",
      "line": 67,
      "normalization_id": "TR019-LISTEN-FORMAL-NARRATIVE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 619690,
      "projected_local_offset": 11546,
      "reader_text": "one ordered sequence with owned formula spans embedded once",
      "source_offset": 3607,
      "source_text": "listen_text paragraph + ordered_steps + bare owned-formula list"
    },
    {
      "application_id": "TR019-LISTEN-FORMAL-NARRATIVE-001-A003",
      "application_mode": "listen_formal_object_recomposition",
      "column": 1,
      "file": "content/first-order-logic/proof-systems/tableaux.tex",
      "formal_object_id": "projected-env-001230",
      "instance_id": "inst-00155",
      "line": 53,
      "normalization_id": "TR019-LISTEN-FORMAL-NARRATIVE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 622737,
      "projected_local_offset": 14593,
      "reader_text": "one ordered sequence with owned formula spans embedded once",
      "source_offset": 2253,
      "source_text": "listen_text paragraph + ordered_steps + bare owned-formula list"
    },
    {
      "application_id": "TR019-LISTEN-FORMAL-NARRATIVE-001-A004",
      "application_mode": "listen_formal_object_recomposition",
      "column": 1,
      "file": "content/first-order-logic/proof-systems/axiomatic-deduction.tex",
      "formal_object_id": "projected-env-001232",
      "instance_id": "inst-00156",
      "line": 54,
      "normalization_id": "TR019-LISTEN-FORMAL-NARRATIVE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 626696,
      "projected_local_offset": 18552,
      "reader_text": "one ordered sequence with owned formula spans embedded once",
      "source_offset": 2443,
      "source_text": "listen_text paragraph + ordered_steps + bare owned-formula list"
    },
    {
      "application_id": "TR019-ARTICLE-ELEMENT-001-A001",
      "application_mode": "renderer_macro_grammar_repair",
      "column": 15,
      "file": "content/first-order-logic/proof-systems/axiomatic-deduction.tex",
      "instance_id": "inst-00156",
      "line": 22,
      "normalization_id": "TR019-ARTICLE-ELEMENT-001",
      "profiles": [
        "read",
        "listen"
      ],
      "projected_global_offset": 624908,
      "projected_local_offset": 16764,
      "reader_text": "an element",
      "source_offset": 655,
      "source_text": "!!a{element}"
    },
    {
      "application_id": "TR019-LISTEN-DISPLAY-SEAM-001-A001",
      "application_mode": "listen_formula_boundary_punctuation",
      "column": 1,
      "file": "content/first-order-logic/proof-systems/sequent-calculus.tex",
      "formula_id": "projected-formula-0008085",
      "instance_id": "inst-00153",
      "line": 18,
      "normalization_id": "TR019-LISTEN-DISPLAY-SEAM-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 613788,
      "projected_local_offset": 5644,
      "reader_text": ",",
      "source_offset": 459,
      "source_text": "display-formula terminal punctuation not voiced"
    },
    {
      "application_id": "TR019-LISTEN-DISPLAY-SEAM-001-A002",
      "application_mode": "listen_formula_boundary_punctuation",
      "column": 1,
      "file": "content/first-order-logic/proof-systems/tableaux.tex",
      "formula_id": "projected-formula-0008142",
      "instance_id": "inst-00155",
      "line": 19,
      "normalization_id": "TR019-LISTEN-DISPLAY-SEAM-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 620997,
      "projected_local_offset": 12853,
      "reader_text": ".",
      "source_offset": 513,
      "source_text": "display-formula terminal punctuation not voiced"
    },
    {
      "application_id": "TR019-LISTEN-DISPLAY-SEAM-001-A003",
      "application_mode": "listen_formula_boundary_punctuation",
      "column": 1,
      "file": "content/first-order-logic/proof-systems/tableaux.tex",
      "formula_id": "projected-formula-0008156",
      "instance_id": "inst-00155",
      "line": 48,
      "normalization_id": "TR019-LISTEN-DISPLAY-SEAM-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 622561,
      "projected_local_offset": 14417,
      "reader_text": ".",
      "source_offset": 2077,
      "source_text": "display-formula terminal punctuation not voiced"
    },
    {
      "application_id": "TR019-LISTEN-LABEL-CONTEXT-001-A001",
      "application_mode": "contextual_formula_speech",
      "column": 11,
      "file": "content/first-order-logic/proof-systems/natural-deduction.tex",
      "formula_id": "projected-formula-0008136",
      "instance_id": "inst-00154",
      "line": 74,
      "normalization_id": "TR019-LISTEN-LABEL-CONTEXT-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 619900,
      "projected_local_offset": 11756,
      "reader_text": "one",
      "source_offset": 3817,
      "source_text": "discharge label one"
    },
    {
      "application_id": "TR019-LISTEN-FALSEHOOD-RULE-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 22,
      "file": "content/first-order-logic/proof-systems/natural-deduction.tex",
      "instance_id": "inst-00154",
      "line": 78,
      "normalization_id": "TR019-LISTEN-FALSEHOOD-RULE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 620096,
      "projected_local_offset": 11952,
      "reader_text": "The falsehood rule",
      "source_offset": 4013,
      "source_text": "The rule \\FalseInt{}"
    }
  ],
  "chapter_key": "fol:prf",
  "decisions": [
    {
      "accepted_literal": "iff",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 6,
      "normalization_class": "listen_words_only_abbreviation_expansion",
      "normalization_id": "TR019-LISTEN-IFF-001",
      "reader_text": "if and only if"
    },
    {
      "accepted_literal": "i.e.",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 4,
      "normalization_class": "listen_words_only_abbreviation_expansion",
      "normalization_id": "TR019-LISTEN-IE-001",
      "reader_text": "that is"
    },
    {
      "accepted_literal": "e.g.",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 2,
      "normalization_class": "listen_words_only_abbreviation_expansion",
      "normalization_id": "TR019-LISTEN-EG-001",
      "reader_text": "for example"
    },
    {
      "accepted_literal": "if \\dots then \\dots",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 1,
      "normalization_class": "listen_words_only_sentence_pattern",
      "normalization_id": "TR019-LISTEN-DOTS-001",
      "reader_text": "if something, then something"
    },
    {
      "accepted_literal": "formula speech ending in ‘rule’ followed by source prose beginning ‘rule’",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 3,
      "normalization_class": "listen_contextual_duplicate_word_suppression",
      "normalization_id": "TR019-LISTEN-RULE-SEAM-001",
      "reader_text": "one grammatical occurrence of ‘rule’"
    },
    {
      "accepted_literal": "duplicated paragraph, ordered steps, and bare formula list",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 4,
      "normalization_class": "listen_formal_object_single_ordered_narrative",
      "normalization_id": "TR019-LISTEN-FORMAL-NARRATIVE-001",
      "reader_text": "one ordered narrative with every owned formula span embedded exactly once"
    },
    {
      "accepted_literal": "!!a{element}",
      "affected_profiles": [
        "read",
        "listen"
      ],
      "application_count": 1,
      "normalization_class": "renderer_indefinite_article_grammar",
      "normalization_id": "TR019-ARTICLE-ELEMENT-001",
      "reader_text": "an element"
    },
    {
      "accepted_literal": "unvoiced punctuation absorbed into display formula source",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 3,
      "normalization_class": "listen_display_formula_sentence_punctuation",
      "normalization_id": "TR019-LISTEN-DISPLAY-SEAM-001",
      "reader_text": "explicit comma or period at the exact prose seam"
    },
    {
      "accepted_literal": "The label discharge label one",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 1,
      "normalization_class": "listen_contextual_formula_speech",
      "normalization_id": "TR019-LISTEN-LABEL-CONTEXT-001",
      "reader_text": "The label one"
    },
    {
      "accepted_literal": "The rule falsehood rule",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 1,
      "normalization_class": "listen_contextual_duplicate_word_suppression",
      "normalization_id": "TR019-LISTEN-FALSEHOOD-RULE-001",
      "reader_text": "The falsehood rule"
    }
  ],
  "normalization_class_application_counts": {
    "listen_contextual_duplicate_word_suppression": 4,
    "listen_contextual_formula_speech": 1,
    "listen_display_formula_sentence_punctuation": 3,
    "listen_formal_object_single_ordered_narrative": 4,
    "listen_words_only_abbreviation_expansion": 12,
    "listen_words_only_sentence_pattern": 1,
    "renderer_indefinite_article_grammar": 1
  },
  "normalization_class_decision_counts": {
    "listen_contextual_duplicate_word_suppression": 2,
    "listen_contextual_formula_speech": 1,
    "listen_display_formula_sentence_punctuation": 1,
    "listen_formal_object_single_ordered_narrative": 1,
    "listen_words_only_abbreviation_expansion": 3,
    "listen_words_only_sentence_pattern": 1,
    "renderer_indefinite_article_grammar": 1
  },
  "normalization_decision_count": 10,
  "schema": "openlogic-fol-derivation-systems-reader-normalizations-v1",
  "semantic_records_and_mathml_mutated": false,
  "source_and_projection_mutated": false,
  "tranche_id": "OLAB-TR-019"
}