Deductions
- nickname is for example Oxbridge ⇐ (Oxbridge is a nickname), (is a is inverse of is for example)
- St John's College Library Special Collections, University of Cambridge is part of Oxbridge ⇐ (St John's College Library Special Collections, University of Cambridge is part of St John's College), (St John's College is part of Oxbridge), (is part of is a transitive relation)
- St John's College is part of Oxbridge ⇐ (St John's College is part of University of Cambridge), (University of Cambridge is part of Oxbridge), (is part of is a transitive relation)
- Trinity College is part of Oxbridge ⇐ (Trinity College is part of University of Cambridge), (University of Cambridge is part of Oxbridge), (is part of is a transitive relation)
- college of the University of Cambridge is part of Oxbridge ⇐ (college of the University of Cambridge is part of University of Cambridge), (University of Cambridge is part of Oxbridge), (is part of is a transitive relation)