University of Cambridge

Deductions

• St John's College Library Special Collections, University of Cambridge is part of University of Cambridge ⇐ (St John's College Library Special Collections, University of Cambridge is part of St John's College Library), (St John's College Library is part of University of Cambridge), (is part of is a transitive relation)
• St John's College Library is part of University of Cambridge ⇐ (St John's College Library is part of St John's College), (St John's College is part of University of Cambridge), (is part of is a transitive relation)
• collegiate university is for example University of Cambridge ⇐ (University of Cambridge is a collegiate university), (is a is inverse of is for example)