Uses of nonmonotonic logic in natural language understanding implicatures