Incorrect Answer.
The formula 
x y (W(h,x) 
W(a,y) 
L(x,y)))
- literally says 'For all x and all y, if Hardy wrote x and Austen
wrote y, then x is longer than y'.
- This sentence can be re-expressed more elegantly as 'All of Hardy's novels
are longer that any of Austen's'.
Although this sentence comes close to expressing what we want, it claims
that the desired property holds for all novels that
Hardy wrote, not just for at least one of them!
Back to Question.
Next Question.