S-Match NLP contains preprocessors for converting natural language into logical formulas.