Statistics for The Theory of Correlation Formulas and Their Application to Discourse Coherence