symptom Deductions rare disease has quality symptom ⇐ (rare disease is subclass of disease), (disease has quality symptom) congenital disorder has quality symptom ⇐ (congenital disorder is subclass of disease), (disease has quality symptom)