Given the task definition and input, reply with output. In this task, you are given a context, a subject, a relation, and many options. Based on the context, from the options select the object entity that has the given relation with the subject. Answer with text (not indexes).

Context: Amir Pnueli ( Hebrew :    ; April 22 , 1941 -- November 2 , 2009 ) was an Israeli computer scientist and the 1996 Turing Award recipient ., The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to "an individual selected for contributions of a technical nature made to the computing community". It is stipulated that "The contributions should be of lasting and major technical importance to the computer field". The Turing Award is generally recognized as the highest distinction in computer science and the "Nobel Prize of computing"., The Association for Computing Machinery (ACM) is an international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. It is a not-for-profit professional membership group. Its membership is more than 100,000 as of 2011. Its headquarters are in New York City., Subject: amir pnueli, Relation: place_of_death, Options: (A) new york city (B) york
new york city