About S-Match NLP contains preprocessors for converting natural language into logical formulas. Getting started You can get started at S-Match Core index page.