My interpretation is: "... by those and only those who [...] combat evil" forall X: combats_evil(X) <=> does_evil(X) but not forall X: drinks_water(X) <=> d

My interpretation is: "... by those and only those who [...] combat evil" forall X: combats_evil(X) <=> does_evil(X) but not forall X: drinks_water(X) <=> does_evil(X)