As opposed to what is the case in traditional theories of aspect shift, those possible ways of specifying are compositionally determined, i. e. by exclusive recurrence of semantic material already present in the enriched representation, and via application of the standardly assumed rule for cases of presupposition failure.
the semantic process in question is analysed here as entirely language internal.