Frick Art Research Library Deductions library is for example Frick Art Research Library ⇐ (Frick Art Research Library is a library), (is a is inverse of is for example)