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).

Example Input: Context: Landau Forte College Derby ( formerly Landau Forte College ) is an Academy in Derby , England . The college was founded in 1992 as a City Technology College and its initial principal sponsors were Martin Landau and the Forte organisation . It became a City Academy on 1 September 2006 . On 5 September 2012 , Landau Forte College celebrated its 20th anniversary by unveiling a clock , designed by students Lauren Collings , Rosie Simpson , Liam Shepherd , Barney Parkes , Louis Templeman , Jordan Carr and Jordan Rice in association with Smith of Derby , which overhangs the reception area ., England is a country that is part of the United Kingdom. It shares land borders with Scotland to the north and Wales to the west. The Irish Sea lies northwest of England and the Celtic Sea lies to the southwest. England is separated from continental Europe by the North Sea to the east and the English Channel to the south. The country covers five-eighths of the island of Great Britain (which lies in the North Atlantic) in its centre and south; and includes over 100 smaller islands such as the Isles of Scilly, and the Isle of Wight., Derby is a city and unitary authority in Derbyshire, England. It lies on the banks of the River Derwent in the south of Derbyshire, of which it was traditionally the county town. At the 2011 census, the population was 248,700. Derby gained city status in 1977., The Isle of Wight is a county and the largest and second-most populous island in England. It is located in the English Channel, about 4 miles (6 km) off the coast of Hampshire, separated by the Solent. The island has resorts that have been holiday destinations since Victorian times, and is known for its mild climate, coastal scenery, and verdant landscape of fields, downland and chines., The English Channel ("the Sleeve" [hence ] "Sea of Brittany" "British Sea"), also called simply the Channel, is the body of water that separates southern England from northern France, and joins the southern part of the North Sea to the rest of the Atlantic Ocean., A unitary authority is a type of local authority that has a single tier and is responsible for all local government functions within its area or performs additional functions which elsewhere in the relevant country are usually performed by national government or a higher level of sub-national government., The North Sea is a marginal sea of the Atlantic Ocean located between Great Britain, Scandinavia, Germany, the Netherlands, Belgium, and France. An epeiric (or "shelf") sea on the European continental shelf, it connects to the ocean through the English Channel in the south and the Norwegian Sea in the north. It is more than long and wide, with an area of around ., The Isles of Scilly (or "") are an archipelago off the south western tip of the Cornish peninsula of Great Britain. It is the southernmost location in England and the United Kingdom, as well as the most westerly in England., A County town is usually the location of administrative or judicial functions within the county, or it has been established over time as the "de facto" main town of a county. The concept of a county town eventually became detached from its original meaning of where the county administration or county hall is based. In fact, many county towns are no longer part of the administrative county. For example, Nottingham is administered by a unitary authority entirely separate from the rest of Nottinghamshire. Many county towns are classified as cities, but all are referred to as county towns regardless of whether city status is held or not., Borders are geographic boundaries of political entities or legal jurisdictions, such as governments, sovereign states, federated states, and other subnational entities. Some borderssuch as a state's internal administrative border, or inter-state borders within the Schengen Areaare often open and completely unguarded. Other borders are partially or fully controlled, and may be crossed legally only at designated border checkpoints and border zones may be controlled. Mostly contentious, borders may even foster the setting up of buffer zones. A difference has also been established in academic scholarship between border and frontier, the latter denoting a state of mind rather than state boundaries., The Celtic Sea (; ) is the area of the Atlantic Ocean off the south coast of Ireland bounded to the east by Saint George's Channel; other limits include the Bristol Channel, the English Channel, and the Bay of Biscay, as well as adjacent portions of Wales, Cornwall, Devon, and Brittany. The southern and western boundaries are delimited by the continental shelf, which drops away sharply. The Isles of Scilly are an archipelago of small islands in the sea., In England, a City Technology College (CTC) is a state-funded all-ability secondary school that charges no fees but is independent of local authority control, being overseen directly by the Department for Education.
One fifth of the capital costs are met by private business sponsors, who also own or lease the buildings.
The rest of the capital costs, and all running costs, are met by the Department., Wales is a country that is part of the United Kingdom and the island of Great Britain. It is bordered by England to the east, the Irish Sea to the north and west, and the Bristol Channel to the south. It had a population in 2011 of 3,063,456 and has a total area of . Wales has over of coastline and is largely mountainous, with its higher peaks in the north and central areas, including Snowdon, its highest summit. The country lies within the north temperate zone and has a changeable, maritime climate., The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain, is a sovereign country in western Europe. Lying off the north-western coast of the European mainland, it includes the island of Great Britain (the name of which is also loosely applied to the whole country), the north-eastern part of the island of Ireland, and many smaller islands. Northern Ireland is the only part of the UK that shares a land border with another sovereign statethe Republic of Ireland. Apart from this land border, the UK is surrounded by the Atlantic Ocean, with the North Sea to its east, the English Channel to its south and the Celtic Sea to its south-south-west, giving it the 12th-longest coastline in the world. The Irish Sea lies between Great Britain and Ireland. With an area of , the UK is the 78th-largest sovereign state in the world and the 11th-largest in Europe. It is also the 21st-most populous country, with an estimated 65.1 million inhabitants. Together, this makes it the fourth most densely populated country in the European Union., Great Britain, also known as Britain , is a large island in the north Atlantic Ocean off the northwest coast of continental Europe. With an area of , Great Britain is the largest European island and the ninth-largest in the world. In 2011 the island had a population of about 61 million people, making it the world's third-most populous island after Java in Indonesia and Honshu in Japan. The island of Ireland is situated to the west of it, and together these islands, along with over 1,000 smaller surrounding islands, comprise the British Isles archipelago., Continental Europe, also referred to as mainland Europe, or, by Europeans, simply the Continent, is the continuous continent of Europe, excluding surrounding islands., Scotland (Scots: ) is a country that is part of the United Kingdom and covers the northern third of the island of Great Britain. It shares a border with England to the south, and is otherwise surrounded by the Atlantic Ocean, with the North Sea to the east and the North Channel and Irish Sea to the south-west. In addition to the mainland, the country is made up of more than 790 islands, including the Northern Isles and the Hebrides., Technology College is a term used in the United Kingdom for a secondary specialist school that focuses on design and technology, mathematics and science. These were the first type of specialist schools, beginning in 1994. In 2008 there were 598 Technology Colleges in England, of which 12 also specialise in another subject., Derbyshire (or ; abbreviated Derbys. or Derbs.) is a county in the East Midlands of England. A substantial portion of the Peak District National Park lies within Derbyshire, containing the southern extremity of the Pennine range of hills which extend into the north of the county. The county contains part of the National Forest, and borders on Greater Manchester to the northwest, West Yorkshire to the north, South Yorkshire to the northeast, Nottinghamshire to the east, Leicestershire to the southeast, Staffordshire to the west and southwest and Cheshire also to the west.
Kinder Scout, at 636 metres (2,087 ft), is the highest point in the county, whilst Trent Meadows, where the River Trent leaves Derbyshire, is its lowest point at 27 metres (89 ft). The River Derwent is the county's longest river at 66 miles (106 km), and runs roughly north to south through the county. In 2003 the Ordnance Survey placed Church Flatts Farm at Coton in the Elms (near Swadlincote) as the furthest point from the sea in Great Britain., The Irish Sea (, , , Ulster-Scots: "Airish Sea"), separates the islands of Ireland and Great Britain. It is connected to the Celtic Sea in the south by St George's Channel, and to the Inner Seas off the West Coast of Scotland in the north by the North Channel. Anglesey is the largest island within the Irish Sea, followed by the Isle of Man. The sea is occasionally, but rarely, referred to as the Manx Sea., A country is a region that is identified as a distinct national entity in political geography. A country may be an independent sovereign state or one that is occupied by another state, as a non-sovereign or formerly sovereign political division, or a geographic region associated with sets of previously independent or differently associated people with distinct political characteristics. Regardless of the physical geography, in the modern internationally accepted legal definition as defined by the League of Nations in 1937 and reaffirmed by the United Nations in 1945, a resident of a country is subject to the independent exercise of legal jurisdiction., Subject: landau forte college, Relation: instance_of, Options: (A) 1937 (B) archipelago (C) area (D) bay (E) body of water (F) border (G) capital (H) census (I) channel (J) city (K) college (L) concept (M) continent (N) cornwall (O) country (P) county (Q) design (R) district (S) division (T) downland (U) england (V) farm (W) geography (X) government (Y) island (Z) jurisdiction ([) league (\) local authority (]) local government (^) lying (_) marginal sea (`) may (a) name (b) national forest (c) national park (d) ocean (e) part (f) peninsula (g) people (h) population (i) range of hills (j) republic (k) river (l) saint (m) scholarship (n) school (o) sea (p) secondary school (q) single (r) state (s) summit (t) technology (u) technology college (v) town (w) union (x) unitary authority
Example Output: secondary school

Example Input: Context: Dame Elizabeth Jane Campion (born 30 April 1954) is a New Zealand screenwriter, producer, and director. Campion is the second of four women ever nominated for the Academy Award for Best Director and is the firstand thus far, onlyfemale filmmaker in history to receive the Palme d'Or, which she received for directing the acclaimed film "The Piano" (1993), for which she won the Academy Award for Best Original Screenplay., Holy Smoke ! is a 1999 Australian drama film directed by Jane Campion , who co-wrote the screenplay with her sister Anna . It premiered at the 56th Venice International Film Festival and was shown at the New York Film Festival and the Taipei Golden Horse Film Festival before being released theatrically ., The 56th Venice International Film Festival was held between 111 September 1999. The Golden Lion was awarded to "Yi ge dou bu neng shao" directed by Zhang Yimou., The Piano is a 1993 New Zealand drama film about a mute piano player and her daughter. Set during the mid-19th century in a rainy, muddy frontier backwater town on the west coast of New Zealand, it revolves around the piano player's passion for playing the piano and her efforts to regain her piano after it is sold. "The Piano" was written and directed by Jane Campion, and stars Holly Hunter, Harvey Keitel, Sam Neill, and Anna Paquin in her first acting role. The film's score for the piano by Michael Nyman became a best-selling soundtrack album, and Hunter played her own piano pieces for the film. She also served as sign language teacher for Paquin, earning three screen credits. The film is an international co-production by Australian producer Jan Chapman with the French company Ciby 2000., Zhang Yimou (born 2 April 1950) is a Chinese film director, producer, writer and actor, and former cinematographer. He is counted amongst the Fifth Generation of Chinese filmmakers, having made his directorial debut in 1987 with "Red Sorghum"., The Golden Lion is the highest prize given to a film at the Venice Film Festival. The prize was introduced in 1949 by the organizing committee and is now regarded as one of the film industry's most distinguished prizes. In 1970, a second Golden Lion was introduced; this is an honorary award for people who have made an important contribution to cinema., Subject: holy smoke!, Relation: producer, Options: (A) harvey keitel (B) jan chapman (C) jane campion (D) venice (E) zhang yimou
Example Output: jan chapman

Example Input: Context: Mathematics (from Greek  "máthma", knowledge, study, learning) is the study of topics such as quantity (numbers), structure, space, and change. There is a range of views among mathematicians and philosophers as to the exact scope and definition of mathematics., Computer science is the study of the theory, experimentation, and engineering that form the basis for the design and use of computers. It is the scientific and practical approach to computation and its applications and the systematic study of the feasibility, structure, expression, and mechanization of the methodical procedures (or algorithms) that underlie the acquisition, representation, processing, storage, communication of, and access to information. An alternate, more succinct definition of computer science is the study of automating algorithmic processes that scale. A computer scientist specializes in the theory of computation and the design of computational systems., Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics. The language of set theory can be used in the definitions of nearly all mathematical objects., The Calculus of Constructions ( CoC ) is a type theory created by Thierry Coquand . It can serve as both a typed programming language and as constructive foundation for mathematics . For this second reason , the CoC and its variants have been the basis for Coq and other proof assistants . Some of its variants include the calculus of inductive constructions ( which adds inductive types ) , the calculus of ( co ) inductive constructions ( which adds coinduction ) , and the predicative calculus of inductive constructions ( which removes some impredicativity ) ., In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics. In type theory, every "term" has a "type" and operations are restricted to terms of a certain type., In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated theorem prover but includes automatic theorem proving tactics and various decision procedures., A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language), each of which is an axiom, an assumption, or follows from the preceding sentences in the sequence by a rule of inference. The last sentence in the sequence is a theorem of a formal system. The notion of theorem is not in general effective, therefore there may be no method by which we can always find a proof of a given sentence or determine that none exists. The concept of natural deduction is a generalization of the concept of proof., In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object. This is in contrast to a non-constructive proof (also known as an "existence proof" or "pure existence theorem") which proves the existence of a particular kind of object without providing an example., A formal system or logical calculus is any well-defined system of abstract thought based on the model of mathematics. A formal system need not be mathematical as such; for example, Spinoza's "Ethics" imitates the form of Euclid's "Elements".. Spinoza employed Euclidiean elements such as "axioms" or "primitive truths", rules of inferences etc. so that a calculus can be build using these. For nature of such primitive truths, one can consult Tarski's "Concept of truth for a formalized language". , In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer., Subject: calculus of constructions, Relation: instance_of, Options: (A) branch (B) class (C) communication (D) computer (E) concept (F) design (G) formal system (H) information (I) language (J) mathematical object (K) mathematics (L) method (M) object (N) programming (O) programming language (P) quantity (Q) reason (R) scale (S) science (T) set theory (U) structure (V) study (W) theory (X) truth
Example Output:
formal system