Deductions
- policy has quality superclass ⇐ (policy has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- policy has quality class ⇐ (abstract entity is a class), (policy has quality abstract entity)
- policy has quality superclass ⇐ (policy has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- policy has quality taxonomic rank ⇐ (policy has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- policy has quality abstract entity ⇐ (type of policy is a abstract entity), (policy has quality type of policy)
- policy has quality existence ⇐ (policy has quality entity), (entity has quality existence), (has quality is a transitive relation)
- policy has quality entity ⇐ (type of policy is a entity), (policy has quality type of policy)
- language planning is subclass of policy ⇐ (language planning is subclass of public policy), (public policy is subclass of policy), (is subclass of is a transitive relation)