He's booked rooms for us, and will be round to dine at eight."
The rooms have been booked and we will be able to eat at eight.
mnli hypothesis: The rooms have been booked and we will be able to eat at eight. premise: He's booked rooms for us, and will be round to dine at eight."