Allison has room for broccoli.
If you have room for dessert, you have room for broccoli. Everyone at Luis's dinner party has room for dessert, including Luis. Mauricia does not have room for broccoli. Luis's dinner party is the first ever dinner party that Allison has attended. Gustave has room for both broccoli and asparagus. Broccoli and asparagus are both vegetables.
∀x (RoomFor(x, dessert) → RoomFor(x, broccoli)) ∀x (AtLuisParty(x) → RoomFor(x, dessert)) ¬RoomFor(mauricia, broccoli) FirstDinnerParty(allison, luisparty) ∧ AtLuisParty(allison) RoomFor(gustave, broccoli) ∧ RoomFor(gustave, asparagus) Vegetable(broccoli) ∧ Vegetable(asparagus)