CNL2ASP: converting controlled natural language sentences into ASP