1. A method comprising: varying one or more data values or expressions specified by a business intelligence document subject to a data mining assertion associated with a business intelligence document, wherein the data mining assertion specifies a constraint on at least one data value or expression specified by the business intelligence document; solving the data mining assertion based on the varying to identify data values that satisfy the data mining assertion; and presenting a solution of the solving operation in association with the business intelligence document.