 Karttunen spelled out how local satisfaction should be calculated separately for each connective and operator he considered. However, recent developments in Schlenker (2008) provide a general way of calculating what the local context should be. In the following reformulation of Karttunen’s model we incorporate Schlenker’s insights along the lines proposed by Beaver (2008).