Text: The program is discretionary, and Justice components can choose whether they want to include frequent flyer savings, lodging savings, or both.
Entailment: The program can be altered to include travel savings.
Contradiction: The program cannot be altered to include travel savings.