Changes:
  - added those factive test cases that are valid entailments