Negation-as-failure as an approach to the Hanks-McDermott problem