Belli sayıda değişkene uygulandığında bir tamdeyimden bir önerme oluşturan değişken bağlama imi dizimsel türü: (?)