If a student's English class score is lower than 90, then it is not greater than 95 or 90, and lower than 95.
∀x ∀y (Student(x) ∧ EnglishScore(x, y) ∧ LowerThan90(y) → ¬GreaterThan95(y) ∧ ¬GreaterThan90(y) ∧ LowerThan95(y))