To Fail

He failed to win a prize.

ToFail asserts that some relation is not valid. Without additional information, ToFail implies the relation did exist. With further information, the relation may not exist:

He failed to win a prize, because there were no prizes to be won.