Given a premise, retrieve a hypothesis that is entailed by the premise.When they awoke, Jon found the answer to their problems.
Jon found the answer to their problems when they woke up.
Jon still didn't know the answer to their problems, even when they awoke.