Cerita pengantar — penjelasan tambahan, data simulasi. Papan koperasi memakai P untuk “kartu berlaku” di dua tempat: . Pengurus ingin mengganti syarat kartu dengan syarat baru R. Ia bisa mengganti kedua tempat sekaligus atau hanya tempat pertama. Hasil tulisannya berbeda, sehingga banyak tempat yang diganti harus jelas.
Dari cerita ke notasi dan konsep BMP. Substitusi total mengganti semua pemunculan sasaran yang cocok. Substitusi parsial mengizinkan pilihan pemunculan; karena itu hasilnya dapat lebih dari satu. Kita memakai TOTAL(F; G ← H) dan PARSIAL(F; G ← H) sebagai notasi penjelas, dengan arah panah: G yang lama diganti H yang baru.
Untuk F= dan P diganti R, hasil total adalah . Contoh hasil parsial: , , dan . Dalam pengertian BMP “sebagian atau semua”, pilihan kosong juga mempertahankan F. Jika soal meminta tiga hasil, pilih tiga hasil berbeda yang diperbolehkan dan sebutkan lokasi penggantiannya.
Sasaran harus cocok secara struktur. tidak muncul sebagai kalimat bagian dari , meskipun keduanya ekuivalen. Jika sasaran tidak muncul, substitusi total tidak mengubah kalimat. Notasi ringkas menandai semua pemunculan yang ditentukan oleh pola total; menandai pemunculan pilihan. Catatan lokasi tetap diperlukan agar notasi parsial tidak rancu.