Information:  - The University of Tampere (UTA) is a university in Tampere, Finland. It has 15,400 degree students and 2,100 employees. It was founded in 1925 in Helsinki as a "Civic College" (Kansalaiskorkeakoulu), and from 1930 onwards it was known as a "School of Social Sciences" (Yhteiskunnallinen korkeakoulu). In 1960, the institution relocated to Tampere, and in 1966 it was re-named University of Tampere.  - Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe ("extensions"), by additional quantifiers that range over terms that may have such individuals as their value ("intensions"). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.  - The distinction between sense and reference was an innovation of the German philosopher and mathematician Gottlob Frege in 1892, reflecting the two ways he believed a singular term may have meaning. The reference (or "referent", German: "Bedeutung")) of a proper name is the object it means or indicates ("bedeuten"), its sense is what the name expresses. The reference of a sentence is its truth value, its sense is the thought that it expresses. Frege justified the distinction in a number of ways.  - Raili Kauppi ( 1920 -- 1995 ) , professor of philosophy at the University of Tampere . She was an internationally recognized scholar of Leibniz and intensional logic . Main publications : Über die Leibnizsche Logik mit besonderer Berücksichtigung des Problems der Intension und Extension , Acta Philosophia Fennica , Fasc . XII , Helsinki , 1960 . Einführung in die Theorie der Begriffsysteme , Acta Universitatis Tamperensis , Ser A , vol 15 , Tampere , 1967 .  - Helsinki  is the capital and largest city of Finland. It is in the region of Uusimaa, in southern Finland, on the shore of the Gulf of Finland. Helsinki has a population of , an urban population of 1,214,210, and a metropolitan population of over 1.4 million, making it the most populous municipality and urban area in Finland. Helsinki is located some north of Tallinn, Estonia, east of Stockholm, Sweden, and west of Saint Petersburg, Russia. Helsinki has close historical connections with these three cities.  - In linguistics, logic, philosophy, and other fields, an intension is any property or quality connoted by a word, phrase, or another symbol. In the case of a word, the word's definition often implies an intension. For instance, intension of the word '[plant]' includes properties like "being composed of cellulose" and "alive" and "organism," among others. "Comprehension" is the collection of all such intensions.  - Finland , officially the Republic of Finland, is a sovereign state in Northern Europe. A peninsula with the Gulf of Finland to the south and the Gulf of Bothnia to the west, the country has land borders with Sweden to the northwest, Norway to the north, and Russia to the east. Estonia is south of the country across the Gulf of Finland. Finland is a Nordic country situated in the geographical region of Fennoscandia, which also includes Scandinavia. Finland's population is 5.5 million (2014), staying roughly on the same level over the past two decades. The majority of the population is concentrated in the southern region. In terms of area, it is the eighth largest country in Europe and the most sparsely populated country in the European Union.  - First-order logic  also known as first-order predicate calculus and predicate logic  is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man" one can have expressions in the form "there exists X such that X is Socrates and X is a man" where "there exists" is a quantifier and "X" is a variable. This distinguishes it from propositional logic, which does not use quantifiers.    After reading the paragraphs above, we are interested in knowing the entity with which 'raili kauppi' exhibits the relationship of 'occupation'. Find the answer from the choices below.  Choices: - linguistics  - mathematician  - philosopher  - saint  - science  - sovereign
philosopher

Information:  - Star Kingdom (formerly known as Star King) (19461967) was a Thoroughbred race horse bred in Ireland in 1946. Exported to Australia he was an outstanding sire, being the leading sire for five seasons, the leading sire of two-year-olds seven times as well as heading the broodmare sires' list three times.  - Sweet Embrace was a notable Australian thoroughbred racehorse . She was a chestnut daughter of Todman from the Port Vista mare Miss Port . She was owned by Jack and Bob Ingham . She is best remembered for winning the 1967 STC Golden Slipper Stakes as a maiden at long odds of 40/1 . The Sweet Embrace Stakes run annually at Randwick Racecourse is named in her honour .  - or "cultivars" of an animal species, achieved through the process of selective breeding. When the lineage of a purebred animal is recorded, that animal is said to be "pedigreed".  - The Australian Racing Hall of Fame is part of the Australian Racing Museum which documents and honours the horseracing legends of Australia. The museum officially opened in 1981 and created the Hall of Fame in 2000.  - The Thoroughbred is a horse breed best known for its use in horse racing. Although the word "thoroughbred" is sometimes used to refer to any breed of purebred horse, it technically refers only to the Thoroughbred breed. Thoroughbreds are considered "hot-blooded" horses that are known for their agility, speed and spirit.  - Todman (7 October 1954-1976) was one of the greatest Australian Thoroughbred racehorses and an important sire. He was perhaps best known as the winner of the inaugural STC Golden Slipper in 1957, being the first of Star Kingdoms five successive winners of the race. He was inducted into the Australian Racing Hall of Fame in 2005.   - A breed is a specific group of domestic animals having homogeneous appearance (phenotype), homogeneous behavior, and/or other characteristics that distinguish it from other organisms of the same species. Breeds are formed through genetic isolation and either natural adaptation to the environment or selective breeding, or a combination of the two. Despite the centrality of the idea of "breeds" to animal husbandry and agriculture, no single, scientifically accepted definition of the term exists. A breed is therefore not an objective or biologically verifiable classification but is instead a term of art amongst groups of breeders who share a consensus around what qualities make some members of a given species members of a nameable subset.    After reading the paragraphs above, we are interested in knowing the entity with which 'sweet embrace' exhibits the relationship of 'instance of'. Find the answer from the choices below.  Choices: - animal  - animal husbandry  - art  - behavior  - breed  - classification  - combination  - environment  - hall  - horse  - lineage  - museum  - october  - race  - race horse  - racing  - seven  - species  - star  - term  - thoroughbred  - word
race horse