Constructing Formal Sentences