第二階層ハイパープロパティを効率的にモニタリングするアルゴリズムを提案する。第二階層ハイパープロパティには共通知識などの重要な性質が含まれるが、従来のモニタリング手法では扱えなかった。本手法では、単一の痕跡に対するモニタリングから、複数の痕跡間の関係を扱うモニタリングへと拡張する。