English temporal connectives

Lexical entries for the English temporal connectives of [Hei74] and [Kar74b]: before, after, when, while, as long as, whenever, as soon as, since, until with its variant till, and the deadline preposition by. English has one until for both of Karttunen's uses, the durative and, under negation, the punctual; the entry records the durative one, and the punctual use is the polarity item English.PolarityItems.until_.

References

• [Hei74]
• [Kar74b]

def English.TemporalConnectives.before : Tense.Connective

before: she left before he arrived.

Equations

• English.TemporalConnectives.before = { form := "before", relation := Tense.Connective.Relation.before }

def English.TemporalConnectives.after : Tense.Connective

after: she left after he arrived.

Equations

• English.TemporalConnectives.after = { form := "after", relation := Tense.Connective.Relation.after }

def English.TemporalConnectives.when_ : Tense.Connective

when: she arrived when he left.

Equations

• English.TemporalConnectives.when_ = { form := "when", relation := Tense.Connective.Relation.when_ }

def English.TemporalConnectives.while_ : Tense.Connective

while: she read while he slept.

Equations

• English.TemporalConnectives.while_ = { form := "while", relation := Tense.Connective.Relation.while_ }

def English.TemporalConnectives.asLongAs : Tense.Connective

as long as, synonymous with while: I'll stay as long as you need me.

Equations

• English.TemporalConnectives.asLongAs = { form := "as long as", relation := Tense.Connective.Relation.while_ }

def English.TemporalConnectives.whenever : Tense.Connective

whenever: whenever it rains, I carry an umbrella.

Equations

• English.TemporalConnectives.whenever = { form := "whenever", relation := Tense.Connective.Relation.whenever }

def English.TemporalConnectives.asSoonAs : Tense.Connective

as soon as, an after with a proximity implicature: he left as soon as she arrived.

Equations

• English.TemporalConnectives.asSoonAs = { form := "as soon as", relation := Tense.Connective.Relation.after }

def English.TemporalConnectives.since : Tense.Connective

since: he has been happy since she arrived.

Equations

• English.TemporalConnectives.since = { form := "since", relation := Tense.Connective.Relation.since }

def English.TemporalConnectives.until_ : Tense.Connective

Durative until: John slept until three.

Equations

• English.TemporalConnectives.until_ = { form := "until", relation := Tense.Connective.Relation.until_ }

def English.TemporalConnectives.till : Tense.Connective

till, the variant of until.

Equations

• English.TemporalConnectives.till = { form := "till", relation := Tense.Connective.Relation.until_ }

def English.TemporalConnectives.by_ : Tense.Connective

by, the deadline: he arrived by three, at or before three.

Equations

• English.TemporalConnectives.by_ = { form := "by", relation := Tense.Connective.Relation.by_ }