(Slot-Cardinality Symptom _Intentional 1) (=> (Symptom ?Self) (Exists (?A) (And (Interpreted-By ?Self ?A) (Patient ?A))))