Identifying Formal Sentences