Portuguese Deductions language is for example Portuguese ⇐ (Portuguese is a language), (is a is inverse of is for example)