How many papers are attributed to the institute where Philippa Gardner is affiliated?
247924
Luca Cardelli et al.: A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. (2008) authored by Philippa Gardner. Pedro da Rocha Pinto et al.: Modular Termination Verification for Non-blocking Concurrency. (2016) authored by Philippa Gardner. Philippa Gardner was born on 29 July 1965 in Exeter, Devon. She is the author of Xiaojia Rao et al.: A Logic for Time and Data Abstraction. (2004). authored by Philippa Gardner. Lars Birkedal et al.: Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191). <extra_id_0> She is the founder of Gillian, a platform for developing symbolic analysis tools. She is based in London, England.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: How many papers are attributed to the institute where Philippa Gardner is affiliated?
Context: Luca Cardelli et al.: A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. (2008) authored by Philippa Gardner. Pedro da Rocha Pinto et al.: Modular Termination Verification for Non-blocking Concurrency. (2016) authored by Philippa Gardner. Philippa Gardner was born on 29 July 1965 in Exeter, Devon. She is the author of Xiaojia Rao et al.: A Logic for Time and Data Abstraction. (2004). authored by Philippa Gardner. Lars Birkedal et al.: Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191). <extra_id_0> She is the founder of Gillian, a platform for developing symbolic analysis tools. She is based in London, England.
[/INST] Answer:
