"type-shifting" meaning in English

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "type",
        "3": "shifting"
      },
      "expansion": "type + shifting",
      "name": "compound"
    }
  ],
  "etymology_text": "From type + shifting",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "type-shifting (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Linguistics",
          "orig": "en:Linguistics",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Semantics",
          "orig": "en:Semantics",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              315,
              328
            ]
          ],
          "ref": "1998, Irene Heim, Angelika Kratzer, Semantics in Generative Grammar (Blackwell Textbooks in Linguistics), Oxford: Blackwell, →ISBN, page 199:",
          "text": "So in examples involving Antecedent-Contained VP Deletion, we seem to need movement of object DPs anyway. So there are reasons to assume such movement is in principle available, and we might as well use it to resolve the type mismatch in simple sentences with quantified objects as well. An additional mechanism of type-shifting is, at best, redundant.",
          "type": "quotation"
        },
        {
          "bold_text_offsets": [
            [
              89,
              102
            ]
          ],
          "ref": "2007, Chris Barker, Pauline Jacobson, “Introduction: Direct Compositionality”, in Chris Barker, Pauline Jacobson, editors, Direct Compositionality (Oxford Studies in Theoretical Linguistics), Oxford: Oxford University Press, page 7:",
          "text": "Much work discussing direct compositionality makes heavy use of type-shifting operators. Type-shifting is a natural tool for building directly compositional analyses, since type-shifting operators are always presented as having a precisely defined semantic effect, often in conjunction with a change of syntactic category.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "An operation or rule that maps the denotation of an expression of one semantic type to a related denotation of a different type, allowing it to be interpreted with a type other than its basic one."
      ],
      "id": "en-type-shifting-en-noun-s-omh8Ng",
      "links": [
        [
          "linguistics",
          "linguistics"
        ],
        [
          "semantics",
          "semantics"
        ],
        [
          "denotation",
          "denotation"
        ],
        [
          "semantic",
          "semantic"
        ],
        [
          "type",
          "type"
        ]
      ],
      "raw_glosses": [
        "(linguistics, semantics) An operation or rule that maps the denotation of an expression of one semantic type to a related denotation of a different type, allowing it to be interpreted with a type other than its basic one."
      ],
      "related": [
        {
          "word": "type coercion"
        }
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "linguistics",
        "sciences",
        "semantics"
      ]
    }
  ],
  "word": "type-shifting"
}

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "type",
        "3": "shifting"
      },
      "expansion": "type + shifting",
      "name": "compound"
    }
  ],
  "etymology_text": "From type + shifting",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "type-shifting (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "type coercion"
    }
  ],
  "senses": [
    {
      "categories": [
        "English compound terms",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with quotations",
        "English uncountable nouns",
        "Pages with 1 entry",
        "Pages with entries",
        "en:Linguistics",
        "en:Semantics"
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              315,
              328
            ]
          ],
          "ref": "1998, Irene Heim, Angelika Kratzer, Semantics in Generative Grammar (Blackwell Textbooks in Linguistics), Oxford: Blackwell, →ISBN, page 199:",
          "text": "So in examples involving Antecedent-Contained VP Deletion, we seem to need movement of object DPs anyway. So there are reasons to assume such movement is in principle available, and we might as well use it to resolve the type mismatch in simple sentences with quantified objects as well. An additional mechanism of type-shifting is, at best, redundant.",
          "type": "quotation"
        },
        {
          "bold_text_offsets": [
            [
              89,
              102
            ]
          ],
          "ref": "2007, Chris Barker, Pauline Jacobson, “Introduction: Direct Compositionality”, in Chris Barker, Pauline Jacobson, editors, Direct Compositionality (Oxford Studies in Theoretical Linguistics), Oxford: Oxford University Press, page 7:",
          "text": "Much work discussing direct compositionality makes heavy use of type-shifting operators. Type-shifting is a natural tool for building directly compositional analyses, since type-shifting operators are always presented as having a precisely defined semantic effect, often in conjunction with a change of syntactic category.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "An operation or rule that maps the denotation of an expression of one semantic type to a related denotation of a different type, allowing it to be interpreted with a type other than its basic one."
      ],
      "links": [
        [
          "linguistics",
          "linguistics"
        ],
        [
          "semantics",
          "semantics"
        ],
        [
          "denotation",
          "denotation"
        ],
        [
          "semantic",
          "semantic"
        ],
        [
          "type",
          "type"
        ]
      ],
      "raw_glosses": [
        "(linguistics, semantics) An operation or rule that maps the denotation of an expression of one semantic type to a related denotation of a different type, allowing it to be interpreted with a type other than its basic one."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "linguistics",
        "sciences",
        "semantics"
      ]
    }
  ],
  "word": "type-shifting"
}