Deductions
- 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)
- library is for example St John's College Library ⇐ (St John's College Library is a library), (is a is inverse of is for example)
- St John's College Library is a library ⇐ (university library is subclass of library), (St John's College Library is a university library)
- GLAM is for example St John's College Library ⇐ (St John's College Library is a GLAM), (is a is inverse of is for example)
- St John's College Library has quality acronym ⇐ (St John's College Library is a GLAM), (GLAM has quality acronym)
- St John's College Library is a GLAM ⇐ (university library is subclass of GLAM), (St John's College Library is a university library)
- university library is for example St John's College Library ⇐ (St John's College Library is a university library), (is a is inverse of is for example)
- academic library is for example St John's College Library ⇐ (St John's College Library is a academic library), (is a is inverse of is for example)
- St John's College Library is a academic library ⇐ (university library is subclass of academic library), (St John's College Library is a university library)