Moreover, Partee argued that evidence, in fact, supported expressions having different types in different contexts.
[1][2][3] Type shifters remain a standard tool in formal semantic work, particularly in categorial grammar and related frameworks.
Type shifters have also been used to interpret quantifiers in object position and to capture scope ambiguities.
In that regard, they serve as an alternative to syntactic operations such as quantifier raising used in mainstream generative approaches to semantics.
[4][5] Type shifters have also been used to generate and compose alternative sets without the need to fully adopt an alternative-based semantics.