Given a premise, retrieve a hypothesis that is entailed by the premise.Cumulative changes are also tracked, including additions, deletions, and modifications to requirements.
Additions and deletions and all changes are recorded.
Additions are recorded, but no attention is given to deletions.