Definition: In this task, you are given a context paragraph, a question based on that and corresponding answer of a question. Your task is to generate supporting fact/knowledge from context paragraph which helps in answering a given question.

Positive Example 1 -
Input: North Willingham is a village and civil parish in the West Lindsey district of Lincolnshire, England. The population of the civil parish (including Sixhills) was 181 at the 2011 census. It is situated 3.5 mi east from the town of Market Rasen on the A631 road between Market Rasen and Louth. Question: Which had a bigger population at the 2011 census, North Willingham or Market Rasen? Answer: Market Rasen
Output: Fact_1: North Willingham is a village and civil parish in the West Lindsey district of Lincolnshire, England. Fact_2: The population of the civil parish including Sixhills was 181 at the 2011 census.

Positive Example 2 -
Input: Teenage Fanclub are a Scottish alternative rock band formed in Bellshill in 1989. The band consists of Norman Blake (vocals, guitar), Raymond McGinley (vocals, lead guitar), Gerard Love (vocals, bass), Francis MacDonald (drums) and Dave McGowan (keyboards), with songwriting duties shared equally among Blake, McGinley and Love. In concert, the band usually alternate among the three songwriters (who all sing lead vocals on their own songs) giving equal playing time to each one's songs. Question:  Stands for Decibels is a 1981 album that has been cited as an influence by  a Scottish alternative rock band formed in what year? Answer: 1989
Output: Teenage Fanclub are a Scottish alternative rock band formed in Bellshill in 1989.

Negative Example 1 -
Input: The Damned are an English rock band formed in London in 1976 by lead vocalist Dave Vanian, guitarist Brian James, bassist (and later guitarist) Captain Sensible, and drummer Rat Scabies. They were the first punk rock band from the United Kingdom to release a single, "New Rose" (1976), release an album, "Damned Damned Damned" (1977), and tour the United States. They have nine singles that charted on the UK Singles Chart Top 40. Question: Which band was formed first, The Damned or Alkaline Trio? Answer: The Damned
Output: Founded in late 1996 by Skiba, bassist Rob Doran, and drummer Glenn Porter, Alkaline Trio released its debut single, Sundials, in 1997.

Negative Example 2 -
Input: The Club is a satirical play by Australian playwright David Williamson. It follows the fortunes of an Australian rules football club over the course of a season, and explores the clashes of individuals from within the club. It was inspired by the backroom dealings and antics of the Victorian Football League's Collingwood Football Club. Question: Who wrote the play that Jack Thompson was the lead actor in 1980? Answer: David Williamson
Output: It was inspired by the backroom dealings and antics of the Victorian Football League's Collingwood Football Club.

Now complete the following example -
Input: Sir Charles Antony Richard Hoare FRS FREng (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist. He developed the sorting algorithm quicksort in 1959/1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language. Question: What type of programming language was created by Tony Hoare and can be seen implemented in the Elliot ALGOL complier?  Answer: occam programming language
Output: 


Output:  He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes CSP to specify the interactions of concurrent processes including the dining philosophers problem and the inspiration for the occam programming language.