Deductions
- Brentwood School has quality class ⇐ (class is a class), (Brentwood School has quality class)
- Brentwood School has quality existence ⇐ (Brentwood School has quality entity), (entity has quality existence), (has quality is a transitive relation)
- Brentwood School has quality entity ⇐ (class is a entity), (Brentwood School has quality class)
- school is for example Brentwood School ⇐ (Brentwood School is a school), (is a is inverse of is for example)
- Brentwood School has quality class ⇐ (Brentwood School is a school), (school has quality class)
- Brentwood School has quality type of educational institution ⇐ (Brentwood School is a school), (school has quality type of educational institution)
- Brentwood School is a school ⇐ (independent school is subclass of school), (Brentwood School is a independent school)
- independent school is for example Brentwood School ⇐ (Brentwood School is a independent school), (is a is inverse of is for example)
- Brentwood School is a independent school ⇐ (independent school is subclass of independent school), (Brentwood School is a independent school)