Title: Sentence Sense with Harvey's Proof Edition