texts: domain: pizza ordering  <s> Unfortunately, we do not have green peppers today at pizza hut. Is there any other topping you might want to replace it with?
labels: Okay, can you replace the green peppers with onions?