Predicate Calculus
Translating English sentences to WFF: "English sentences appearing in logical reasoning can be expressed as a WFF. This makes the expressions compact and precise.
Transcribing English sentences into WFF is sometimes a non-trivial task