In the area of agreement features (canonically: person, number and gender), morphological and typological research on the one hand, and formal semantic research, on the other, have both made significant progress in recent years. Nevertheless with a few notable exceptions (e.g., Schlenker 1999; Harbour 2007) there has been little systematic effort to date to integrate results from the morphology, typology, and formal semantics. For example, Cysouw (2003) constitutes the first major treatment of the range of variation in the morphological expression of person marking since Forchheimer (1953), and contains the most comprehensive array of morphological data available. Yet this work contains only a few paragraphs on the meanings assumed for the features, with no discussion of possible formalizations (a criticism raised in Schulze 2004).Similarly, Corbett (2000) contains a wealth of typological information on the representation of number, but only a very short discussion of the formal semantics, although this is a major topic of inquiry in that domain. On the other hand, work such as Heim