Given a premise, retrieve a hypothesis that is entailed by the premise.These techniques require considerable information about the system being developed and can only be used after system design.
Techniques are required.
No techniques are needed.