Having already lunched heartily, Tommy contented himself with ordering a Welsh rarebit and a cup of coffee.
Tommy was not hungry, but he felt compelled to order something.
mnli hypothesis: Tommy was not hungry, but he felt compelled to order something. premise: Having already lunched heartily, Tommy contented himself with ordering a Welsh rarebit and a cup of coffee.