Zhang's English score is lower than 95.
There are five grades including A+, A, B+, B, and C in English. If a student gets A+ in English, then his score is greater than 95. If a student gets A in English, then his score is in the range of 90-95. Zhang got an A in English. Wang's English score is better than Zhang's. Wu's English score is lower than 90.
Grade(a+) ∨ Grade(a) ∨ Grade(b+) ∨ Grade(b) ∨ Grade(c) ∀x (GetGrade(x, a+) → GreaterThan95(x)) ∀x (GetGrade(x, a) → Range90to95(x)) GetGrade(zhang, a) Better(wang, zhang) LowerThan90(wu)