この図は、前述のRules Designerの「ルールセット」領域で集計パターン一致オプションを選択した後の様子を示しています。IF/THENルールは、「IF <変数> is the <関数> of <式> where <変数> is a <ファクト・タイプ> <テストの挿入> <パターンの挿入> THEN <アクションの挿入>」となっています。