Incorrect Answer.
The formula 
x 
y (W(h,x) 
W(a,y) 
L(x,y))
- literally says 'There is some x such that for all y we have the
following: If Hardy wrote x, then Austen wrote y and x is longer than y.
- It is hard to re-express this sentence more elegantly, as it describes
a rather "mathematical" situation.
This sentence does not come close to expressing what we want. For one thing,
it does not restrict x or y to novels. For another thing, if the "witness"
for x is indeed a novel that Hardy wrote, then
this sentence suggests that all objects y, whether they
are novel or not, are written by Austen and shorter than x.
Back to Question.
Next Question.