Text: More formally, it also bears the name of Franaois Mitterrand, for whom it was the ultimate (but posthumous) achievement of his ambitious building program for Paris.
Entailment: The building bears the name of Mitterrand.
Contradiction: The building does not bear the name of Mitterrand.