Entailment : the formalisation of inference