[検査] タブ[ルール値] ボックスには、既存のルールのリストが表示されます。現在の定義済みシンボルで true として評価されたルールは緑にハイライトされ、そうでない場合は赤にハイライトされます。選択したルールのエクスプレッションは、[ルール評価トレース] ボックスに表示されます。緑で表示されているルール エクスプレッションの部分は true で、赤色に表示される部分は false です。このツールを使用すると、ルールが false として評価された理由を素早く判断できます。