Given a premise, retrieve a hypothesis that is entailed by the premise.Computed by subtraction within the same size class.
Calculated through deduction within a similar size class.
Computed by addition not within the same size class.