Task: Sentence Composition
Input (English): formula
Output (English): He gave us a general formula for attacking polynomials.