solution
Deductions
- solution has quality class ⇐ (existence is a class), (solution has quality existence)
- solution is subclass of situation ⇐ (problem is subclass of situation), (problem is opposite of solution)
- solution has quality existence ⇐ (solution is subclass of result), (result has quality existence)
- solution is subclass of condition ⇐ (problem is subclass of condition), (problem is opposite of solution)