SNR thể hiện bởi các đường kẻ ngang. Tuy nhiên ở hình vẽ này thì việc duy chuyển của các biến Frontal chúng tôi không đưa ra.
Việc xử lý ở chi tiết các bước như sau: 1.Bước 1
Luật AND_PARALLEL ở ngoài cùng thực thi, Head của Wave ban đầu tách thành:
OR_SEQUENTIAL (w1, w2)
Và(OR_PARALLEL (w3, w4, w5). w6) cho vào hàng đợi Wave Queue.
Tail của Wave là w7 nằm ở máy tính hiện tại và vẫn kết nối với Rule
AND_PARALEEL . Biến Frontal của Wave được tách ra. 2.Bước 2
Hai thành phần nằm trong Wave Queue ở bước 1 là: OR_SEQUENTIAL (w1, w2) và (OR_PARALLEL (w3, w4, w5). w6 được lấy ra, xử lý. Dấu mở, đóng ngoặc trong mỗi Rule bị loại bỏ.
‐ Đầu tiên ta xử lý OR_SEQUENTIAL (w1, w2), luật này có 2 thành phần là w1 và w2. Ở máy tính hiện tại, w1 sẽđược kích hoạt và cho vào Wave Queue. Biến Frontal sau khi được tách từ Wave sẽ được ghép vào. Thành phần thứ 2- w2 tạm dừng lại trong máy hiện tại.
‐ Đến lượt (OR_PARALLEL (w3, w4, w5). w6, luật này có Tail là w6.W6
tạm dừng lại trong máy hiện tại nhưng vẫn tiếp tục kết nối với luật
OR_PARALLEL. W3, w4, w5 là ba thành phần song song, sau khi được tách riêng và kèm theo biến Frontal sẽđược kích hoạt rồi cho vào Wave Queue.
3.Bước 3
W1, w3, w4 và w5 sau khi được kích hoạt sẽ phát triển song song và độc lập trong KN. Giả thuyết rằng, trong kết quả của w3, w4 và w5 có ít nhất một kết quả trả về là TRUE. Khi đó kết quả của SNR1 sẽ trả lại TRUE, vì thế w6 sẽ được gửi tới SNR1 và được kích hoạt sau đó cho vào trong hàng đợi trên máy tính có chứa các Node SNR1. Tất nhiên, chúng có gắn các biến Frontal đi cùng. Sau khi gửi w6 tới SNR1, luật OP sẽ không rằng buộc nó với tất cả các Wave
được sao chép từw6. Trong khi đó, Wave w1 có thể đã hoàn thành hoặc có thể
tiếp tục công việc của mình. 4.Bước 4
Sau khi được lấy ra từ Wave Queue tương ứng ,w6 phát triển độc lập trên tất cả
các Node ở SNR1, lúc này w1 vẫn đang làm việc song song với các Wave bản sao của w6. Sau khi w1 kết thúc (giả thiết w1 kết thúc, w2 sẽ được giữ lại bởi luật OS vì coi nhưw1 trả lại kết quả TRUE) và các Wave bản sao của w6 cũng kết thúc (nếu không giả thiết, trên thực tế nó có thể kết thúc hoặc không). Lúc này, SNR2được thành lập.