Formal Specifications From Natural Language