1. A method for displaying assertion evaluation information of a temporal description, comprising: generating a data structure for the processing of the temporal expression; evaluating the temporal expression and generating evaluation information representative of the processing steps in the evaluation of the temporal expression; and displaying a graphical representation of the evaluation information of the temporal expression, wherein said graphical representation allows for user selectively display the evaluation information for each processing step in the evaluation of the temporal expression.