This example has a lot of common-sense reasoning, linguistic ambiguity (e.g. in NP coreferences) etc. going on.

Just a few years ago, most folks at a computational linguistics conference would probably have said such abilities are impossible to achieve at least during their lifetime.