[negation-002.html]
  expected: FAIL