Incorrect Answer.

The formula x y (W(h,x) W(a,y) L(x,y)) 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.