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