school

Deductions

• school has quality class ⇐ (class is a class), (school has quality class)
• school has quality existence ⇐ (school has quality entity), (entity has quality existence), (has quality is a transitive relation)
• school has quality entity ⇐ (class is a entity), (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 is a school ⇐ (independent school is subclass of school), (Brentwood School is a independent school)
• school has quality class ⇐ (type of educational institution is a class), (school has quality type of educational institution)
• 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)