premise: Gregg Overman, a union spokesman, said a backlog of retirements are hitting now as pilots take advantage of a contract provision that enables them to leave and lock in a pension value somewhat higher than <hypo> if they stayed.
hypothesis: <hypo> should be "it would be"