Given a premise, retrieve a hypothesis that is entailed by the premise.Both of these approaches have been used with good effect in program evaluation.
Two programs in particular have had good results.
Only one approach has been used with good effects.