Proposition-Level Clustering for Multi-Document Summarization