Onglet Inspection
Dans la boîte Valeur des règles s’affiche la liste des règles existantes. Celles qui sont évaluées comme vraies avec les symboles définis courants sont affichées en vert, les autres, en rouge. Dans la boîte Trace d’évaluation de règle s’affiche l’expression de la règle sélectionnée. Les parties de cette expression qui sont vraies sont affichées en vert, et les autres sont affichées en rouge. Ceci permet d’identifier rapidement la raison pour laquelle une règle est évaluée comme fausse.