{
  "accepted_projected_sha256": "1c6e2b5bc74625edc7496b795b1950956ee28f3d03a148e65624e592340a5299",
  "application_count": 53,
  "applications": [
    {
      "application_id": "TR017-SCAFFOLD-OMISSION-001-A001",
      "application_mode": "renderer_scaffold_omission",
      "column": 1,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 279,
      "normalization_id": "TR017-SCAFFOLD-OMISSION-001",
      "profiles": [
        "read",
        "listen"
      ],
      "projected_global_offset": 565440,
      "projected_local_offset": 32444,
      "reader_text": "",
      "source_offset": 11522,
      "source_text": "\\DeclareRobustCommand{\\VDash}{\\mathrel{||}\\joinrel\\Relbar}"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 3,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 115,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 547192,
      "projected_local_offset": 14196,
      "reader_text": "if and only if",
      "source_offset": 4745,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A002",
      "application_mode": "rendered_prose_replacement",
      "column": 57,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 118,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 547340,
      "projected_local_offset": 14344,
      "reader_text": "if and only if",
      "source_offset": 4893,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A003",
      "application_mode": "rendered_prose_replacement",
      "column": 48,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 122,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 547440,
      "projected_local_offset": 14444,
      "reader_text": "if and only if",
      "source_offset": 5012,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A004",
      "application_mode": "rendered_prose_replacement",
      "column": 53,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 126,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 547525,
      "projected_local_offset": 14529,
      "reader_text": "if and only if",
      "source_offset": 5119,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A005",
      "application_mode": "rendered_prose_replacement",
      "column": 52,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 130,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 547629,
      "projected_local_offset": 14633,
      "reader_text": "if and only if",
      "source_offset": 5244,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A006",
      "application_mode": "rendered_prose_replacement",
      "column": 52,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 134,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 547742,
      "projected_local_offset": 14746,
      "reader_text": "if and only if",
      "source_offset": 5378,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A007",
      "application_mode": "rendered_prose_replacement",
      "column": 55,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 143,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 547863,
      "projected_local_offset": 14867,
      "reader_text": "if and only if",
      "source_offset": 5711,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A008",
      "application_mode": "rendered_prose_replacement",
      "column": 55,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 147,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 548004,
      "projected_local_offset": 15008,
      "reader_text": "if and only if",
      "source_offset": 5873,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A009",
      "application_mode": "rendered_prose_replacement",
      "column": 16,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 172,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 549192,
      "projected_local_offset": 16196,
      "reader_text": "if and only if",
      "source_offset": 7172,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A010",
      "application_mode": "rendered_prose_replacement",
      "column": 52,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 174,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 549296,
      "projected_local_offset": 16300,
      "reader_text": "if and only if",
      "source_offset": 7337,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A011",
      "application_mode": "rendered_prose_replacement",
      "column": 1,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 25,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 557354,
      "projected_local_offset": 24358,
      "reader_text": "if and only if",
      "source_offset": 990,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A012",
      "application_mode": "rendered_prose_replacement",
      "column": 1,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 60,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 559024,
      "projected_local_offset": 26028,
      "reader_text": "if and only if",
      "source_offset": 2660,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A013",
      "application_mode": "rendered_prose_replacement",
      "column": 31,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 107,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 560549,
      "projected_local_offset": 27553,
      "reader_text": "if and only if",
      "source_offset": 4367,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A014",
      "application_mode": "rendered_prose_replacement",
      "column": 46,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 193,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 562575,
      "projected_local_offset": 29579,
      "reader_text": "if and only if",
      "source_offset": 8618,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A015",
      "application_mode": "rendered_prose_replacement",
      "column": 18,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 216,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 563532,
      "projected_local_offset": 30536,
      "reader_text": "if and only if",
      "source_offset": 9575,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A016",
      "application_mode": "rendered_prose_replacement",
      "column": 32,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 225,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 563926,
      "projected_local_offset": 30930,
      "reader_text": "if and only if",
      "source_offset": 9969,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A017",
      "application_mode": "rendered_prose_replacement",
      "column": 39,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 231,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 564112,
      "projected_local_offset": 31116,
      "reader_text": "if and only if",
      "source_offset": 10155,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A018",
      "application_mode": "rendered_prose_replacement",
      "column": 20,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 243,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 564537,
      "projected_local_offset": 31541,
      "reader_text": "if and only if",
      "source_offset": 10580,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A019",
      "application_mode": "rendered_prose_replacement",
      "column": 39,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 248,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 564751,
      "projected_local_offset": 31755,
      "reader_text": "if and only if",
      "source_offset": 10794,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A020",
      "application_mode": "rendered_prose_replacement",
      "column": 51,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 263,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 565107,
      "projected_local_offset": 32111,
      "reader_text": "if and only if",
      "source_offset": 11166,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A021",
      "application_mode": "rendered_prose_replacement",
      "column": 52,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 265,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 565215,
      "projected_local_offset": 32219,
      "reader_text": "if and only if",
      "source_offset": 11294,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A022",
      "application_mode": "rendered_prose_replacement",
      "column": 3,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 293,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 565972,
      "projected_local_offset": 32976,
      "reader_text": "if and only if",
      "source_offset": 12154,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A023",
      "application_mode": "rendered_prose_replacement",
      "column": 62,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 296,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 566121,
      "projected_local_offset": 33125,
      "reader_text": "if and only if",
      "source_offset": 12303,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A024",
      "application_mode": "rendered_prose_replacement",
      "column": 54,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 300,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 566223,
      "projected_local_offset": 33227,
      "reader_text": "if and only if",
      "source_offset": 12424,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A025",
      "application_mode": "rendered_prose_replacement",
      "column": 14,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 305,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 566330,
      "projected_local_offset": 33334,
      "reader_text": "if and only if",
      "source_offset": 12553,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A026",
      "application_mode": "rendered_prose_replacement",
      "column": 58,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 308,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 566446,
      "projected_local_offset": 33450,
      "reader_text": "if and only if",
      "source_offset": 12690,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A027",
      "application_mode": "rendered_prose_replacement",
      "column": 58,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 312,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 566577,
      "projected_local_offset": 33581,
      "reader_text": "if and only if",
      "source_offset": 12842,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A028",
      "application_mode": "rendered_prose_replacement",
      "column": 63,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 321,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 566721,
      "projected_local_offset": 33725,
      "reader_text": "if and only if",
      "source_offset": 13238,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A029",
      "application_mode": "rendered_prose_replacement",
      "column": 14,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 327,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 566907,
      "projected_local_offset": 33911,
      "reader_text": "if and only if",
      "source_offset": 13445,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A030",
      "application_mode": "rendered_prose_replacement",
      "column": 28,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 335,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 567246,
      "projected_local_offset": 34250,
      "reader_text": "if and only if",
      "source_offset": 13787,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A031",
      "application_mode": "rendered_prose_replacement",
      "column": 46,
      "file": "content/first-order-logic/syntax-and-semantics/assignments.tex",
      "instance_id": "inst-00141",
      "line": 345,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 567658,
      "projected_local_offset": 34662,
      "reader_text": "if and only if",
      "source_offset": 14199,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A032",
      "application_mode": "rendered_prose_replacement",
      "column": 22,
      "file": "content/first-order-logic/syntax-and-semantics/extensionality.tex",
      "instance_id": "inst-00142",
      "line": 36,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 569187,
      "projected_local_offset": 36191,
      "reader_text": "if and only if",
      "source_offset": 1422,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A033",
      "application_mode": "rendered_prose_replacement",
      "column": 53,
      "file": "content/first-order-logic/syntax-and-semantics/extensionality.tex",
      "instance_id": "inst-00142",
      "line": 54,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 569812,
      "projected_local_offset": 36816,
      "reader_text": "if and only if",
      "source_offset": 2047,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A034",
      "application_mode": "rendered_prose_replacement",
      "column": 50,
      "file": "content/first-order-logic/syntax-and-semantics/extensionality.tex",
      "instance_id": "inst-00142",
      "line": 107,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 571965,
      "projected_local_offset": 38969,
      "reader_text": "if and only if",
      "source_offset": 4200,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A035",
      "application_mode": "rendered_prose_replacement",
      "column": 49,
      "file": "content/first-order-logic/syntax-and-semantics/semantic-notions.tex",
      "instance_id": "inst-00143",
      "line": 26,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 573969,
      "projected_local_offset": 40973,
      "reader_text": "if and only if",
      "source_offset": 1038,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A036",
      "application_mode": "rendered_prose_replacement",
      "column": 15,
      "file": "content/first-order-logic/syntax-and-semantics/semantic-notions.tex",
      "instance_id": "inst-00143",
      "line": 32,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 574149,
      "projected_local_offset": 41153,
      "reader_text": "if and only if",
      "source_offset": 1218,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A037",
      "application_mode": "rendered_prose_replacement",
      "column": 26,
      "file": "content/first-order-logic/syntax-and-semantics/semantic-notions.tex",
      "instance_id": "inst-00143",
      "line": 44,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 574506,
      "projected_local_offset": 41510,
      "reader_text": "if and only if",
      "source_offset": 1575,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A038",
      "application_mode": "rendered_prose_replacement",
      "column": 22,
      "file": "content/first-order-logic/syntax-and-semantics/semantic-notions.tex",
      "instance_id": "inst-00143",
      "line": 63,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 575231,
      "projected_local_offset": 42235,
      "reader_text": "if and only if",
      "source_offset": 2300,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A039",
      "application_mode": "rendered_prose_replacement",
      "column": 40,
      "file": "content/first-order-logic/syntax-and-semantics/semantic-notions.tex",
      "instance_id": "inst-00143",
      "line": 84,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 576166,
      "projected_local_offset": 43170,
      "reader_text": "if and only if",
      "source_offset": 3235,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A040",
      "application_mode": "rendered_prose_replacement",
      "column": 52,
      "file": "content/first-order-logic/syntax-and-semantics/semantic-notions.tex",
      "instance_id": "inst-00143",
      "line": 85,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 576249,
      "projected_local_offset": 43253,
      "reader_text": "if and only if",
      "source_offset": 3318,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A041",
      "application_mode": "rendered_prose_replacement",
      "column": 37,
      "file": "content/first-order-logic/syntax-and-semantics/semantic-notions.tex",
      "instance_id": "inst-00143",
      "line": 87,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 576384,
      "projected_local_offset": 43388,
      "reader_text": "if and only if",
      "source_offset": 3453,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IFF-001-A042",
      "application_mode": "rendered_prose_replacement",
      "column": 34,
      "file": "content/first-order-logic/syntax-and-semantics/semantic-notions.tex",
      "instance_id": "inst-00143",
      "line": 107,
      "normalization_id": "TR017-LISTEN-IFF-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 576999,
      "projected_local_offset": 44003,
      "reader_text": "if and only if",
      "source_offset": 4068,
      "source_text": "iff"
    },
    {
      "application_id": "TR017-LISTEN-IE-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 19,
      "file": "content/first-order-logic/syntax-and-semantics/intro-semantics.tex",
      "instance_id": "inst-00137",
      "line": 32,
      "normalization_id": "TR017-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 534411,
      "projected_local_offset": 1415,
      "reader_text": "that is",
      "source_offset": 1519,
      "source_text": "i.e."
    },
    {
      "application_id": "TR017-LISTEN-IE-001-A002",
      "application_mode": "rendered_prose_replacement",
      "column": 16,
      "file": "content/first-order-logic/syntax-and-semantics/structures.tex",
      "instance_id": "inst-00138",
      "line": 18,
      "normalization_id": "TR017-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 535683,
      "projected_local_offset": 2687,
      "reader_text": "that is",
      "source_offset": 554,
      "source_text": "i.e."
    },
    {
      "application_id": "TR017-LISTEN-IE-001-A003",
      "application_mode": "rendered_prose_replacement",
      "column": 1,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 44,
      "normalization_id": "TR017-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 544545,
      "projected_local_offset": 11549,
      "reader_text": "that is",
      "source_offset": 2004,
      "source_text": "i.e."
    },
    {
      "application_id": "TR017-LISTEN-IE-001-A004",
      "application_mode": "rendered_prose_replacement",
      "column": 26,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 209,
      "normalization_id": "TR017-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 550808,
      "projected_local_offset": 17812,
      "reader_text": "that is",
      "source_offset": 8875,
      "source_text": "i.e."
    },
    {
      "application_id": "TR017-LISTEN-IE-001-A005",
      "application_mode": "rendered_prose_replacement",
      "column": 66,
      "file": "content/first-order-logic/syntax-and-semantics/semantic-notions.tex",
      "instance_id": "inst-00143",
      "line": 19,
      "normalization_id": "TR017-LISTEN-IE-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 573667,
      "projected_local_offset": 40671,
      "reader_text": "that is",
      "source_offset": 736,
      "source_text": "i.e."
    },
    {
      "application_id": "TR017-LISTEN-EG-001-A001",
      "application_mode": "rendered_prose_replacement",
      "column": 35,
      "file": "content/first-order-logic/syntax-and-semantics/structures.tex",
      "instance_id": "inst-00138",
      "line": 23,
      "normalization_id": "TR017-LISTEN-EG-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 536031,
      "projected_local_offset": 3035,
      "reader_text": "for example",
      "source_offset": 902,
      "source_text": "e.g."
    },
    {
      "application_id": "TR017-LISTEN-EG-001-A002",
      "application_mode": "rendered_prose_replacement",
      "column": 61,
      "file": "content/first-order-logic/syntax-and-semantics/structures.tex",
      "instance_id": "inst-00138",
      "line": 77,
      "normalization_id": "TR017-LISTEN-EG-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 538625,
      "projected_local_offset": 5629,
      "reader_text": "for example",
      "source_offset": 3496,
      "source_text": "e.g."
    },
    {
      "application_id": "TR017-LISTEN-EG-001-A003",
      "application_mode": "rendered_prose_replacement",
      "column": 30,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 170,
      "normalization_id": "TR017-LISTEN-EG-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 549135,
      "projected_local_offset": 16139,
      "reader_text": "for example",
      "source_offset": 7078,
      "source_text": "e.g."
    },
    {
      "application_id": "TR017-LISTEN-EG-001-A004",
      "application_mode": "rendered_prose_replacement",
      "column": 64,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 210,
      "normalization_id": "TR017-LISTEN-EG-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 550905,
      "projected_local_offset": 17909,
      "reader_text": "for example",
      "source_offset": 8972,
      "source_text": "e.g."
    },
    {
      "application_id": "TR017-LISTEN-EG-001-A005",
      "application_mode": "rendered_prose_replacement",
      "column": 5,
      "file": "content/first-order-logic/syntax-and-semantics/satisfaction.tex",
      "instance_id": "inst-00140",
      "line": 241,
      "normalization_id": "TR017-LISTEN-EG-001",
      "profiles": [
        "listen"
      ],
      "projected_global_offset": 552298,
      "projected_local_offset": 19302,
      "reader_text": "for example",
      "source_offset": 10365,
      "source_text": "e.g."
    }
  ],
  "chapter_key": "fol:sem",
  "decisions": [
    {
      "accepted_literal": "\\DeclareRobustCommand{\\VDash}{\\mathrel{||}\\joinrel\\Relbar}",
      "affected_profiles": [
        "read",
        "listen"
      ],
      "application_count": 1,
      "normalization_class": "renderer_only_nonsemantic_scaffold",
      "normalization_id": "TR017-SCAFFOLD-OMISSION-001",
      "reader_action": "omit the local declaration scaffold; render every mathematical use from its accepted contextual semantic record"
    },
    {
      "accepted_literal": "iff",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 42,
      "normalization_class": "listen_words_only_abbreviation_expansion",
      "normalization_id": "TR017-LISTEN-IFF-001",
      "reader_text": "if and only if"
    },
    {
      "accepted_literal": "i.e.",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 5,
      "normalization_class": "listen_words_only_abbreviation_expansion",
      "normalization_id": "TR017-LISTEN-IE-001",
      "reader_text": "that is"
    },
    {
      "accepted_literal": "e.g.",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 5,
      "normalization_class": "listen_words_only_abbreviation_expansion",
      "normalization_id": "TR017-LISTEN-EG-001",
      "reader_text": "for example"
    }
  ],
  "ledger_only_scaffold_application_count": 1,
  "normalization_class_counts": {
    "listen_words_only_abbreviation_expansion": 3,
    "renderer_only_nonsemantic_scaffold": 1
  },
  "normalization_count": 4,
  "normalization_decision_count": 4,
  "rendered_listen_application_count": 52,
  "rows": [
    {
      "accepted_literal": "\\DeclareRobustCommand{\\VDash}{\\mathrel{||}\\joinrel\\Relbar}",
      "affected_profiles": [
        "read",
        "listen"
      ],
      "application_count": 1,
      "normalization_class": "renderer_only_nonsemantic_scaffold",
      "normalization_id": "TR017-SCAFFOLD-OMISSION-001",
      "reader_action": "omit the local declaration scaffold; render every mathematical use from its accepted contextual semantic record"
    },
    {
      "accepted_literal": "iff",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 42,
      "normalization_class": "listen_words_only_abbreviation_expansion",
      "normalization_id": "TR017-LISTEN-IFF-001",
      "reader_text": "if and only if"
    },
    {
      "accepted_literal": "i.e.",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 5,
      "normalization_class": "listen_words_only_abbreviation_expansion",
      "normalization_id": "TR017-LISTEN-IE-001",
      "reader_text": "that is"
    },
    {
      "accepted_literal": "e.g.",
      "affected_profiles": [
        "listen"
      ],
      "application_count": 5,
      "normalization_class": "listen_words_only_abbreviation_expansion",
      "normalization_id": "TR017-LISTEN-EG-001",
      "reader_text": "for example"
    }
  ],
  "schema": "openlogic-fol-semantics-reader-normalizations-v1",
  "semantic_records_and_mathml_mutated": false,
  "source_and_projection_mutated": false,
  "tranche_id": "OLAB-TR-017"
}