Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions