Theorem 1.1 (Hrushovski’s Theorem 3.5). Let G be a definable group, X a definable subset, and G̃ be the ∨-definable group generated by X. Suppose all this data is defined over a model M . Suppose μ is an M-invariant translation-invariant ideal on subsets of G̃. Let q be a wide type over M , contained in G̃. Identify q with its ∧-definable set of realizations. Suppose (F) there exist two realizatio...

As these authors observe, the sentences in (1) and (2) are similar in both form and meaning. The truncated clefts in (1) look like the clefts in (2) minus the cleft clause, and in the right contexts, each of the sentences in (1) can be used with the meaning of the corresponding sentence in (2). Following a question like Who went to Hamburg?, (1b) can be used to convey what (2b) conveys, and fol...

The interpretation of adjective-noun pairs plays a crucial role in tasks such as recognizing textual entailment. Formal semantics often places adjectives into a taxonomy which should dictate adjectives’ entailment behavior when placed in adjective-noun compounds. However, we show experimentally that the behavior of subsective adjectives (e.g. red) versus non-subsective adjectives (e.g. fake) is...

The basic principle of motivic pattern extraction consists of detecting repeated motives, i.e. identifying several short extracts or subsequences as instances, or occurrences, of a same series of description called pattern. The approach is focused here on monodic sequences: music is considered as a series of notes without superpositions. Patterns are formalised as chains of states – called patt...