The formula x y (L(x,y) W(h,y) W(a,x))
Not only does this sentence not say what we want, but it talks about
any x and y, they don't even have to be novels!
- literally says 'For all x, there is some y such that: if x is longer
than y, then Hardy wrote y and Austen wrote x'.
- This sentence is rather "mathematical" and does not really have a more
elegant alternative of stating it.
Back to Question.