Russian Academy of Sciences Deductions academy of sciences is for example Russian Academy of Sciences ⇐ (Russian Academy of Sciences is a academy of sciences), (is a is inverse of is for example)