 The satisfaction based model has seen considerable further development—see e.g., Beaver (1992; 2001), Chierchia (1995), Heim (1992), Zeevat (1992), and, for a rather different formalization of a dynamic semantic approach, van Eijck (1993; 1994;  1995).[19]