Jon awoke late into the night, his bladder full.
Jon slept through the night soundly without waking.
mnli hypothesis: Jon slept through the night soundly without waking. premise: Jon awoke late into the night, his bladder full.