Infixation. Typical examples would be cases of non-local semantic construal, as in ‘Alice knows someone is cheating’, with a wide-scope reading for ‘someone’: ‘there is a particular person x such that Alice thinks x is cheating’. The quantifier phrase ‘someone’ occupies the structural position where in fact the np-type hypothesis is needed, and realizes its semantic effect at some higher sentential level. With a type-assignment s/(np\s) for ‘someone’, there is no derivation producing the non-local reading. In generative grammar, one would call the non-local construal an instance of ‘covert’ movement.