texts: domain: pizza ordering  <s> OK, what other vegetables do they have? </s> <s> They have jalapenos, onions, diced tomatoes, black olives, mushrooms, spinach, and green or red peppers. </s> <s> Hm, let's switch it to green peppers.
labels: OK, green peppers it is.