Deductions
- result has quality class ⇐ (existence is a class), (result has quality existence)
- preferred rank has quality result ⇐ (preferred rank is subclass of ranking), (ranking has quality result)
- university has quality result ⇐ (university has quality means), (means has quality result), (has quality is a transitive relation)
- Norway has quality result ⇐ (Norway has quality means), (means has quality result), (has quality is a transitive relation)
- Czech Republic has quality result ⇐ (Czech Republic has quality means), (means has quality result), (has quality is a transitive relation)
- Canada has quality result ⇐ (Canada has quality means), (means has quality result), (has quality is a transitive relation)
- South Africa has quality result ⇐ (South Africa has quality means), (means has quality result), (has quality is a transitive relation)
- Switzerland has quality result ⇐ (Switzerland has quality means), (means has quality result), (has quality is a transitive relation)
- India has quality result ⇐ (India has quality means), (means has quality result), (has quality is a transitive relation)
- tautology has quality result ⇐ (tautology is subclass of means), (means has quality result)
- problem is subclass of result ⇐ (solution is subclass of result), (solution is opposite of problem)
- free country has quality result ⇐ (free country is a means), (means has quality result)
- college and university ranking has quality result ⇐ (college and university ranking is a means), (means has quality result)
- ranking has quality result ⇐ (ranking is subclass of means), (means has quality result)
- documentation file has quality result ⇐ (documentation file is subclass of means), (means has quality result)
- result has quality existence ⇐ (result is subclass of entity), (entity has quality existence)