Corpus - what we found
High degree of regularity in what information was deemed relevant and how to group information into sentences
Proof steps encompassed in English sentences was roughly equivalent in size to the steps taken in the Nuprl proofs
Sentences with similar content had similar types of inference steps being performed in them