Sebuah bagian bernama aturan yang berisi satu atau lebih predikat panggilan untuk dijalankan jika aturan mengevaluasi untuk benar.