Text: Just one small detail that might have given Dole and his illustrious advisers a moment's  The appropriations measures, while restrained by recent standards, nonetheless weigh in at probably $16 billion over the target the GOP Congress set for domestic discretionary spending only a year ago.
Entailment: The GOP set a target for domestic spending.
Contradiction: The GOP decided not to set a target for domestic spending.