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.
- 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.
Back to Question.