9. The method for forming entailment relations according to claim 1 , further comprising an assessment of the appropriateness of the entailment relation between said extracted pattern and said input pattern by human intervention.
9. The method for forming entailment relations according to claim 1 , further comprising an assessment of the appropriateness of the entailment relation between said extracted pattern and said input pattern by human intervention. 22. A computer program product stored on a non-transitory computer usable medium comprising program code for performing all the steps of the method according to claim 9 when said program is run on a computer.