{
  "accepted_projected_sha256": "6519bb100935d6da0aac42faecbe0f5f6b18c642fe4c1befc5e7c1573cd085c7",
  "application_count": 34,
  "applications": [
    {
      "application_id": "TR018-LISTEN-IFF-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 50,
      "file": "content/first-order-logic/models-theories/introduction.tex",
      "instance_id": "inst-00145",
      "line": 29,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 579620,
      "projected_local_offset": 973,
      "reader_text": "if and only if",
      "source_offset": 1085,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A002",
      "application_mode": "rendered_prose_replacement",
      "column": 28,
      "file": "content/first-order-logic/models-theories/introduction.tex",
      "instance_id": "inst-00145",
      "line": 56,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 581038,
      "projected_local_offset": 2391,
      "reader_text": "if and only if",
      "source_offset": 2503,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A003",
      "application_mode": "rendered_prose_replacement",
      "column": 60,
      "file": "content/first-order-logic/models-theories/expressing-props-of-structures.tex",
      "instance_id": "inst-00146",
      "line": 46,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 585660,
      "projected_local_offset": 7013,
      "reader_text": "if and only if",
      "source_offset": 2103,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A004",
      "application_mode": "rendered_prose_replacement",
      "column": 21,
      "file": "content/first-order-logic/models-theories/expressing-props-of-structures.tex",
      "instance_id": "inst-00146",
      "line": 49,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 585812,
      "projected_local_offset": 7165,
      "reader_text": "if and only if",
      "source_offset": 2255,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A005",
      "application_mode": "rendered_prose_replacement",
      "column": 48,
      "file": "content/first-order-logic/models-theories/expressing-props-of-structures.tex",
      "instance_id": "inst-00146",
      "line": 51,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 585978,
      "projected_local_offset": 7331,
      "reader_text": "if and only if",
      "source_offset": 2421,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A006",
      "application_mode": "rendered_prose_replacement",
      "column": 13,
      "file": "content/first-order-logic/models-theories/expressing-relations.tex",
      "instance_id": "inst-00148",
      "line": 31,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 593697,
      "projected_local_offset": 15050,
      "reader_text": "if and only if",
      "source_offset": 1274,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A007",
      "application_mode": "rendered_prose_replacement",
      "column": 57,
      "file": "content/first-order-logic/models-theories/expressing-relations.tex",
      "instance_id": "inst-00148",
      "line": 46,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 594458,
      "projected_local_offset": 15811,
      "reader_text": "if and only if",
      "source_offset": 2035,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A008",
      "application_mode": "rendered_prose_replacement",
      "column": 55,
      "file": "content/first-order-logic/models-theories/expressing-relations.tex",
      "instance_id": "inst-00148",
      "line": 116,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 597455,
      "projected_local_offset": 18808,
      "reader_text": "if and only if",
      "source_offset": 5032,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A009",
      "application_mode": "rendered_prose_replacement",
      "column": 21,
      "file": "content/first-order-logic/models-theories/set-theory.tex",
      "instance_id": "inst-00149",
      "line": 36,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 599040,
      "projected_local_offset": 20393,
      "reader_text": "if and only if",
      "source_offset": 1670,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A010",
      "application_mode": "rendered_prose_replacement",
      "column": 47,
      "file": "content/first-order-logic/models-theories/set-theory.tex",
      "instance_id": "inst-00149",
      "line": 139,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 604143,
      "projected_local_offset": 25496,
      "reader_text": "if and only if",
      "source_offset": 6773,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A011",
      "application_mode": "rendered_prose_replacement",
      "column": 48,
      "file": "content/first-order-logic/models-theories/size-of-structures.tex",
      "instance_id": "inst-00150",
      "line": 16,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 606148,
      "projected_local_offset": 27501,
      "reader_text": "if and only if",
      "source_offset": 469,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A012",
      "application_mode": "rendered_prose_replacement",
      "column": 39,
      "file": "content/first-order-logic/models-theories/size-of-structures.tex",
      "instance_id": "inst-00150",
      "line": 33,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 606723,
      "projected_local_offset": 28076,
      "reader_text": "if and only if",
      "source_offset": 1044,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A013",
      "application_mode": "rendered_prose_replacement",
      "column": 69,
      "file": "content/first-order-logic/models-theories/size-of-structures.tex",
      "instance_id": "inst-00150",
      "line": 34,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 606820,
      "projected_local_offset": 28173,
      "reader_text": "if and only if",
      "source_offset": 1141,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A014",
      "application_mode": "rendered_prose_replacement",
      "column": 39,
      "file": "content/first-order-logic/models-theories/size-of-structures.tex",
      "instance_id": "inst-00150",
      "line": 52,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 607395,
      "projected_local_offset": 28748,
      "reader_text": "if and only if",
      "source_offset": 1716,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A015",
      "application_mode": "rendered_prose_replacement",
      "column": 29,
      "file": "content/first-order-logic/models-theories/size-of-structures.tex",
      "instance_id": "inst-00150",
      "line": 57,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 607504,
      "projected_local_offset": 28857,
      "reader_text": "if and only if",
      "source_offset": 1825,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IFF-001-A016",
      "application_mode": "rendered_prose_replacement",
      "column": 4,
      "file": "content/first-order-logic/models-theories/size-of-structures.tex",
      "instance_id": "inst-00150",
      "line": 64,
      "normalization_id": "TR018-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 607670,
      "projected_local_offset": 29023,
      "reader_text": "if and only if",
      "source_offset": 1991,
      "source_text": "iff"
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 31,
      "file": "content/first-order-logic/models-theories/introduction.tex",
      "instance_id": "inst-00145",
      "line": 51,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 580750,
      "projected_local_offset": 2103,
      "reader_text": "that is",
      "source_offset": 2215,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A002",
      "application_mode": "rendered_prose_replacement",
      "column": 33,
      "file": "content/first-order-logic/models-theories/expressing-props-of-structures.tex",
      "instance_id": "inst-00146",
      "line": 61,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 586383,
      "projected_local_offset": 7736,
      "reader_text": "that is",
      "source_offset": 2826,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A003",
      "application_mode": "rendered_prose_replacement",
      "column": 43,
      "file": "content/first-order-logic/models-theories/theories.tex",
      "instance_id": "inst-00147",
      "line": 68,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 588949,
      "projected_local_offset": 10302,
      "reader_text": "that is",
      "source_offset": 2596,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A004",
      "application_mode": "rendered_prose_replacement",
      "column": 64,
      "file": "content/first-order-logic/models-theories/theories.tex",
      "instance_id": "inst-00147",
      "line": 84,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 589604,
      "projected_local_offset": 10957,
      "reader_text": "that is",
      "source_offset": 3251,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A005",
      "application_mode": "rendered_prose_replacement",
      "column": 35,
      "file": "content/first-order-logic/models-theories/expressing-relations.tex",
      "instance_id": "inst-00148",
      "line": 59,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 594903,
      "projected_local_offset": 16256,
      "reader_text": "that is",
      "source_offset": 2480,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A006",
      "application_mode": "rendered_prose_replacement",
      "column": 9,
      "file": "content/first-order-logic/models-theories/expressing-relations.tex",
      "instance_id": "inst-00148",
      "line": 72,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 595576,
      "projected_local_offset": 16929,
      "reader_text": "that is",
      "source_offset": 3153,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A007",
      "application_mode": "rendered_prose_replacement",
      "column": 31,
      "file": "content/first-order-logic/models-theories/expressing-relations.tex",
      "instance_id": "inst-00148",
      "line": 84,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 596153,
      "projected_local_offset": 17506,
      "reader_text": "that is",
      "source_offset": 3730,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A008",
      "application_mode": "rendered_prose_replacement",
      "column": 30,
      "file": "content/first-order-logic/models-theories/expressing-relations.tex",
      "instance_id": "inst-00148",
      "line": 85,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 596216,
      "projected_local_offset": 17569,
      "reader_text": "that is",
      "source_offset": 3793,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A009",
      "application_mode": "rendered_prose_replacement",
      "column": 42,
      "file": "content/first-order-logic/models-theories/set-theory.tex",
      "instance_id": "inst-00149",
      "line": 87,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 601548,
      "projected_local_offset": 22901,
      "reader_text": "that is",
      "source_offset": 4178,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A010",
      "application_mode": "rendered_prose_replacement",
      "column": 30,
      "file": "content/first-order-logic/models-theories/set-theory.tex",
      "instance_id": "inst-00149",
      "line": 97,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 602110,
      "projected_local_offset": 23463,
      "reader_text": "that is",
      "source_offset": 4740,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A011",
      "application_mode": "rendered_prose_replacement",
      "column": 7,
      "file": "content/first-order-logic/models-theories/set-theory.tex",
      "instance_id": "inst-00149",
      "line": 113,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 602806,
      "projected_local_offset": 24159,
      "reader_text": "that is",
      "source_offset": 5436,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A012",
      "application_mode": "rendered_prose_replacement",
      "column": 53,
      "file": "content/first-order-logic/models-theories/set-theory.tex",
      "instance_id": "inst-00149",
      "line": 115,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 602994,
      "projected_local_offset": 24347,
      "reader_text": "that is",
      "source_offset": 5624,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A013",
      "application_mode": "rendered_prose_replacement",
      "column": 19,
      "file": "content/first-order-logic/models-theories/set-theory.tex",
      "instance_id": "inst-00149",
      "line": 117,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 603101,
      "projected_local_offset": 24454,
      "reader_text": "that is",
      "source_offset": 5731,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-IE-001-A014",
      "application_mode": "rendered_prose_replacement",
      "column": 1,
      "file": "content/first-order-logic/models-theories/set-theory.tex",
      "instance_id": "inst-00149",
      "line": 164,
      "normalization_id": "TR018-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 605200,
      "projected_local_offset": 26553,
      "reader_text": "that is",
      "source_offset": 7830,
      "source_text": "i.e."
    },
    {
      "application_id": "TR018-LISTEN-EG-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 37,
      "file": "content/first-order-logic/models-theories/expressing-props-of-structures.tex",
      "instance_id": "inst-00146",
      "line": 20,
      "normalization_id": "TR018-LISTEN-EG-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 584297,
      "projected_local_offset": 5650,
      "reader_text": "for example",
      "source_offset": 740,
      "source_text": "e.g."
    },
    {
      "application_id": "TR018-LISTEN-EG-001-A002",
      "application_mode": "rendered_prose_replacement",
      "column": 17,
      "file": "content/first-order-logic/models-theories/set-theory.tex",
      "instance_id": "inst-00149",
      "line": 106,
      "normalization_id": "TR018-LISTEN-EG-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 602577,
      "projected_local_offset": 23930,
      "reader_text": "for example",
      "source_offset": 5207,
      "source_text": "e.g."
    },
    {
      "application_id": "TR018-LISTEN-DOTS-JOIN-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 22,
      "file": "content/first-order-logic/models-theories/expressing-relations.tex",
      "instance_id": "inst-00148",
      "line": 44,
      "normalization_id": "TR018-LISTEN-DOTS-JOIN-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 594285,
      "projected_local_offset": 15638,
      "reader_text": ", and so on,",
      "source_offset": 1862,
      "source_text": ",\\dots,"
    },
    {
      "application_id": "TR018-LISTEN-DOTS-JOIN-001-A002",
      "application_mode": "rendered_prose_replacement",
      "column": 51,
      "file": "content/first-order-logic/models-theories/set-theory.tex",
      "instance_id": "inst-00149",
      "line": 63,
      "normalization_id": "TR018-LISTEN-DOTS-JOIN-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 600440,
      "projected_local_offset": 21793,
      "reader_text": "and so on",
      "source_offset": 3070,
      "source_text": "and \\dots"
    }
  ],
  "chapter_key": "fol:mat",
  "decisions": [
    {
      "accepted_literal": "iff",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 16,
      "normalization_class": "listen_words_only_abbreviation_expansion",
      "normalization_id": "TR018-LISTEN-IFF-001",
      "reader_text": "if and only if"
    },
    {
      "accepted_literal": "i.e.",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 14,
      "normalization_class": "listen_words_only_abbreviation_expansion",
      "normalization_id": "TR018-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": "TR018-LISTEN-EG-001",
      "reader_text": "for example"
    },
    {
      "accepted_literals": [
        ",\\dots,",
        "and \\dots"
      ],
      "affected_profiles": [
        "listen"
      ],
      "application_count": 2,
      "normalization_class": "listen_words_only_sentence_join",
      "normalization_id": "TR018-LISTEN-DOTS-JOIN-001",
      "reader_text": "punctuation-preserving and so on"
    }
  ],
  "excluded_formula_internal_iff": [
    {
      "column": 17,
      "file": "content/first-order-logic/models-theories/expressing-relations.tex",
      "instance_id": "inst-00148",
      "line": 28,
      "projected_global_offset": 593548,
      "projected_local_offset": 14901,
      "reason": "formula-internal occurrence governed by accepted contextual mathematical speech",
      "source_offset": 1125
    },
    {
      "column": 27,
      "file": "content/first-order-logic/models-theories/expressing-relations.tex",
      "instance_id": "inst-00148",
      "line": 48,
      "projected_global_offset": 594493,
      "projected_local_offset": 15846,
      "reason": "formula-internal occurrence governed by accepted contextual mathematical speech",
      "source_offset": 2070
    }
  ],
  "excluded_formula_internal_iff_count": 2,
  "normalization_class_counts": {
    "listen_words_only_abbreviation_expansion": 3,
    "listen_words_only_sentence_join": 1
  },
  "normalization_decision_count": 4,
  "schema": "openlogic-fol-models-theories-reader-normalizations-v1",
  "semantic_records_and_mathml_mutated": false,
  "source_and_projection_mutated": false,
  "tranche_id": "OLAB-TR-018"
}