{
  "normalization_class_counts": {
    "listen_tts_abbreviation_expansion": 2,
    "listen_words_only_symbol_name": 3,
    "listener_sentence_join": 14,
    "projected_list_punctuation": 1,
    "renderer_only_nonsemantic_scaffold": 1
  },
  "normalization_count": 21,
  "rows": [
    {
      "accepted_projected_literal": "{table}[!h]",
      "accepted_projected_sha256": "b91e037b6b987f24a9ad518796ca475b936c645d3773c88af483d0d933524eac",
      "affected_routes": [
        "read",
        "listen",
        "explore",
        "source"
      ],
      "authority_file": "content/first-order-logic/syntax-and-semantics/main-operator.tex",
      "authority_line": 79,
      "authority_literal": "\\begin{table}[!h]",
      "normalization_id": "TR016-PRESENTATION-NORMALIZATION-001",
      "reader_action": "remove the unmatched projected outer-table scaffold around the audited inner table object",
      "scope": "renderer_only_nonsemantic_scaffold",
      "source_transcript_policy": "accepted projected bytes and byte-exact authority source are packaged and unchanged"
    },
    {
      "accepted_speech": "i is less than or equal to n",
      "affected_formula_ids": [
        "projected-formula-0006722"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-001",
      "reader_action": "use a context-relative spoken variant so the accepted mathematical content joins grammatical surrounding prose",
      "reader_speech": "i less than or equal to n",
      "scope": "listen_occurrence_sentence_join",
      "source_file": "content/first-order-logic/syntax-and-semantics/formation-sequences.tex",
      "source_line": 44
    },
    {
      "accepted_speech": "indices m sub zero through m sub k are less than i",
      "affected_formula_ids": [
        "projected-formula-0006727"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-002",
      "reader_action": "use a context-relative spoken variant so the accepted mathematical content joins grammatical surrounding prose",
      "reader_speech": "indices m sub zero through m sub k, each less than i,",
      "scope": "listen_occurrence_sentence_join",
      "source_file": "content/first-order-logic/syntax-and-semantics/formation-sequences.tex",
      "source_line": 46
    },
    {
      "accepted_speech": "sequence c sub zero, v sub zero, f superscript two sub zero of c sub zero and v sub zero, then f superscript one sub zero of that binary term",
      "affected_formula_ids": [
        "projected-formula-0006729"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-003",
      "reader_action": "use a context-relative spoken variant so the accepted mathematical content joins grammatical surrounding prose",
      "reader_speech": "c sub zero, v sub zero, f superscript two sub zero of c sub zero and v sub zero, then f superscript one sub zero of that binary term",
      "scope": "listen_occurrence_sentence_join",
      "source_file": "content/first-order-logic/syntax-and-semantics/formation-sequences.tex",
      "source_line": 53
    },
    {
      "accepted_speech": "i is less than or equal to n",
      "affected_formula_ids": [
        "projected-formula-0006736"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-004",
      "reader_action": "use a context-relative spoken variant so the accepted mathematical content joins grammatical surrounding prose",
      "reader_speech": "i less than or equal to n",
      "scope": "listen_occurrence_sentence_join",
      "source_file": "content/first-order-logic/syntax-and-semantics/formation-sequences.tex",
      "source_line": 67
    },
    {
      "accepted_speech": "indices j and k are less than i",
      "affected_formula_ids": [
        "projected-formula-0006738"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-005",
      "reader_action": "use a context-relative spoken variant so the accepted mathematical content joins grammatical surrounding prose",
      "reader_speech": "indices j and k, each less than i,",
      "scope": "listen_occurrence_sentence_join",
      "source_file": "content/first-order-logic/syntax-and-semantics/formation-sequences.tex",
      "source_line": 68
    },
    {
      "accepted_display_label": "Displayed redundant formula formation sequence",
      "accepted_speech_preserved": "sequence: A superscript one sub zero of v sub zero; A superscript one sub one of c sub one; their conjunction; A superscript one sub one of c sub one again; for every v sub one, A superscript one sub zero of v sub zero; and the existential conjunction binding v sub zero",
      "affected_formal_object_ids": [
        "projected-env-001057"
      ],
      "affected_formula_ids": [
        "projected-formula-0006748"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-006",
      "reader_action": "avoid repeating the word sequence at the formal-label and spoken-formula boundary",
      "reader_display_label": "Displayed example with redundant entries.",
      "scope": "listen_display_label_sentence_join",
      "source_file": "content/first-order-logic/syntax-and-semantics/formation-sequences.tex",
      "source_line": 94
    },
    {
      "accepted_speech": "indices j and k are less than n",
      "affected_formula_ids": [
        "projected-formula-0006795"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-007",
      "reader_action": "use a context-relative spoken variant so the accepted mathematical content joins grammatical surrounding prose",
      "reader_speech": "indices j and k, each less than n,",
      "scope": "listen_occurrence_sentence_join",
      "source_file": "content/first-order-logic/syntax-and-semantics/formation-sequences.tex",
      "source_line": 187
    },
    {
      "accepted_speech_preserved": [
        "the universal quantifier for x",
        "the existential quantifier for x"
      ],
      "affected_formula_ids": [
        "projected-formula-0006860",
        "projected-formula-0006861"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-008",
      "reader_action": "add the words namely and appositive comma boundaries around the two quantifier alternatives",
      "scope": "listen_quantifier_appositive_boundary",
      "source_file": "content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex",
      "source_lines": [
        59,
        60
      ]
    },
    {
      "affected_formula_ids": [
        "projected-formula-0006867"
      ],
      "affected_routes": [
        "read",
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-009",
      "reader_action": "restore a full stop between the displayed formula and the following source sentence",
      "scope": "display_to_new_sentence_boundary",
      "source_file": "content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex",
      "source_line": 69
    },
    {
      "affected_formula_ids": [
        "projected-formula-0006875"
      ],
      "affected_routes": [
        "read",
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-010",
      "reader_action": "restore a full stop between the displayed formula and the following source sentence",
      "scope": "display_to_new_sentence_boundary",
      "source_file": "content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex",
      "source_line": 80
    },
    {
      "accepted_speech": "the universal quantifier for variable v sub zero",
      "affected_formula_ids": [
        "projected-formula-0006877"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-011",
      "reader_action": "use a context-relative spoken variant so the accepted mathematical content joins grammatical surrounding prose",
      "reader_speech": "universal quantifier for variable v sub zero",
      "scope": "listen_occurrence_sentence_join",
      "source_file": "content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex",
      "source_line": 85
    },
    {
      "accepted_speech": "the universal quantifier for variable v sub zero",
      "affected_formula_ids": [
        "projected-formula-0006881"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-012",
      "reader_action": "use a context-relative spoken variant so the accepted mathematical content joins grammatical surrounding prose",
      "reader_speech": "universal quantifier for variable v sub zero",
      "scope": "listen_occurrence_sentence_join",
      "source_file": "content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex",
      "source_line": 87
    },
    {
      "accepted_speech": "the universal quantifier for variable v sub zero",
      "affected_formula_ids": [
        "projected-formula-0006882"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-013",
      "reader_action": "use a context-relative spoken variant so the accepted mathematical content joins grammatical surrounding prose",
      "reader_speech": "universal quantifier for variable v sub zero",
      "scope": "listen_occurrence_sentence_join",
      "source_file": "content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex",
      "source_line": 87
    },
    {
      "accepted_speech": "the universal quantifier for variable v sub zero",
      "affected_formula_ids": [
        "projected-formula-0006888"
      ],
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-JOIN-NORMALIZATION-014",
      "reader_action": "use a context-relative spoken variant so the accepted mathematical content joins grammatical surrounding prose",
      "reader_speech": "universal quantifier for variable v sub zero",
      "scope": "listen_occurrence_sentence_join",
      "source_file": "content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex",
      "source_line": 89
    },
    {
      "accepted_projection_behavior": "the conditional comma-list macros leave a comma before each surviving projected item",
      "affected_formula_ids": [
        "projected-formula-0006283",
        "projected-formula-0006284",
        "projected-formula-0006285",
        "projected-formula-0006286",
        "projected-formula-0006287",
        "projected-formula-0006288",
        "projected-formula-0006329",
        "projected-formula-0006330"
      ],
      "affected_routes": [
        "read",
        "listen"
      ],
      "normalization_id": "TR016-LIST-PUNCTUATION-NORMALIZATION-001",
      "reader_action": "suppress the first comma in each of four projected list blocks and use ordinary interior comma spacing",
      "scope": "projected_conditional_comma_list_punctuation",
      "source_file": "content/first-order-logic/syntax-and-semantics/first-order-languages.tex",
      "source_lines": [
        39,
        40,
        41,
        42,
        44,
        45,
        100,
        104
      ]
    },
    {
      "accepted_literal": "Punctuation marks: (, ), and the comma.",
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-SYMBOL-NORMALIZATION-001",
      "reader_text": "Punctuation marks: opening parenthesis, closing parenthesis, and the comma.",
      "scope": "listen_words_only_symbol_name",
      "source_file": "content/first-order-logic/syntax-and-semantics/first-order-languages.tex",
      "source_line": 62
    },
    {
      "accepted_literal": "!",
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-SYMBOL-NORMALIZATION-002",
      "reader_text": "exclamation mark",
      "scope": "listen_words_only_symbol_name",
      "source_file": "content/first-order-logic/syntax-and-semantics/first-order-languages.tex",
      "source_line": 123
    },
    {
      "accepted_literal": "opening parenthesis (",
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-SYMBOL-NORMALIZATION-003",
      "reader_text": "opening parenthesis",
      "scope": "listen_words_only_symbol_name",
      "source_file": "content/first-order-logic/syntax-and-semantics/unique-readability.tex",
      "source_line": 184
    },
    {
      "accepted_literal": "iff",
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-TTS-NORMALIZATION-001",
      "reader_text": "if and only if",
      "scope": "listen_tts_abbreviation_expansion",
      "source_file": "content/first-order-logic/syntax-and-semantics/terms-formulas.tex",
      "source_lines": [
        171,
        172
      ]
    },
    {
      "accepted_literal": "iff",
      "affected_routes": [
        "listen"
      ],
      "normalization_id": "TR016-LISTEN-TTS-NORMALIZATION-002",
      "reader_text": "if and only if",
      "scope": "listen_tts_abbreviation_expansion",
      "source_file": "content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex",
      "source_line": 96
    }
  ],
  "schema": "openlogic-fol-syntax-reader-normalizations-v1",
  "semantic_occurrence_override_count_unchanged": 50,
  "semantic_records_and_mathml_mutated": false,
  "source_and_projection_mutated": false
}