Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics