An assertion about a future event or about the future status of system elements that derives from an explanation