simple present Deductions grammatical tense is for example simple present ⇐ (simple present is a grammatical tense), (is a is inverse of is for example)