The Theory of Correlation Formulas and Their Application to Discourse Coherence
The Winograd Schema Challenge