シミュレーション結果の分析

この例では、次のルールをUniversal Patternで形式化しています。
「総重量3.5tを超えるトラックが時速50km/hよりも高速で高速道路上を走行する際には、前方車両との車間距離50m以上を保持しなければならない。」
ルールはひとつまたは複数の連結されたトリガ部とアクション部で構成されます。各イベントや状態はマクロ（例:$車速）によって表現されるため可読性が高く、また後にマクロをテスト環境のインタフェースとマッピングすることでコンピュータもルールを厳密に理解できるようになります。