hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Mount Hayachine
Mount Hayachine (早池峰山, Hayachine-san) is the highest mountain in the Kitakami Range, located in the Tōhoku region of northern Honshū, Japan. With an elevation of 1,917 m (6,289 ft), it is the second highest in Iwate Prefecture after Mount Iwate. Mount Hayachine is mentioned in 100 Famous Japanese Mountains, a book written in 1964 by Kyūya Fukada. The mountain is on the borders of the municipalities  of Hanamaki, Tōno, and Miyako, east of the prefectural capital of Morioka.

Miyako, Iwate
Miyako (宮古市, Miyako-shi) is a city located in Iwate Prefecture, Japan. As of 1 April 2020, the city had an estimated population of 51,150, and a population density of 41 persons per km2. The total area of the city is 1,259.15 square kilometers (486.16 sq mi).
Proof theory
Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.

Some of the major areas of proof theory include structural proof theory, ordinal analysis, provability logic, proof-theoretic semantics, reverse mathematics, proof mining, automated theorem proving, and proof complexity. Much research also focuses on applications in computer science, linguistics, and philosophy.

Ordinal analysis
In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. 
If theories have the same proof-theoretic ordinal they are often equiconsistent, and if one theory has a larger proof-theoretic ordinal than another it can often prove the consistency of the second theory.

In addition to obtaining the proof-theoretic ordinal of a theory, in practice ordinal analysis usually also yields various other pieces of information about the theory being analyzed, for example characterizations of the classes of provably recursive, hyperarithmetical, or  functions of the theory.
Roger Pratt (architect)
Sir Roger Pratt (1620 – 20 February 1684) was an English gentleman-architect of the 17th century. He designed only five known buildings, but was highly influential, establishing a particularly English type of house, which was widely imitated. He drew on a range of European influences, and also on the work of Inigo Jones, England's first classical architect. Pratt also served on official commissions, and in 1668 was the first English architect to be knighted for his services.

Inigo Jones
Inigo Jones (15 July 1573 – 21 June 1652) was an English architect who was the first significant architect in England in the early modern era and the first to employ Vitruvian rules of proportion and symmetry in his buildings.
As the most notable architect in England, Jones was the first person to introduce the classical architecture of Rome and the Italian Renaissance to England. He left his mark on London by his design of single buildings, such as the Queen's House which is the first building in England designed in a pure classical style, and the Banqueting House, Whitehall, as well as the layout for Covent Garden square which became a model for future developments in the West End. He made major contributions to stage design by his work as a theatrical designer for several dozen masques, most by royal command and many in collaboration with Ben Jonson.
Berezan Island
The Berezan island is situated in the Black Sea at the entrance of the Dnieper-Bug Estuary, Mykolaiv Raion, Mykolaiv Oblast, Ukraine. Located 8 kilometers from the city of Ochakiv and 4 kilometers from the resort village of Rybakivka. It is often being confused with the artificial island of Pervomaisky that is located within Dnieper-Bug Estuary. The Berezan island measures approximately 900 metres in length by 320 metres in width, the height of the northern part is 3-6 metres, the southern part is 21 metres. It is separated from the mainland (to which it may have been connected long ago) by about a mile and a half of shallow water. Berezan is an integral part of the historical and archaeological reserve of the National Academy of Sciences of Ukraine "Olbia". The island is uninhabited. In the summer, archaeological expeditions of the IA NASU and the State Hermitage Museum used to work here. The archaeological site is regularly destroyed as a result of unauthorized excavations.

Dnieper–Bug estuary
The Dnieper–Bug estuary (Ukrainian: Дніпровсько-Бузький лиман, romanized: Dniprovsko-Buzkyi lyman), also called the Dniprovska Gulf, is an open estuary, or liman, of two rivers: the Dnieper and the Southern Bug (also called the Boh River). It is located on the northern coast of the Black Sea and is separated from it by the Kinburn Spit and the Cape of Ochakiv.
Andrzej Krauze
Andrzej Krauze (born 7 March 1947) is a Polish-born British cartoonist, illustrator, caricaturist, painter, poster designer and satirist noted for his allegorical, fabulous, symbolic and sometimes scary imagery, as well as his reliance on black ink, bold lines and cross-hatching. His illustrations have been a regular fixture in the British national daily newspaper The Guardian since 1989, and he has also contributed to the English-language newspapers and magazines The New York Times, The Sunday Telegraph, The Times, International Herald Tribune, New Scientist, The Independent on Sunday, The Bookseller, New Statesman, Modern Painters, Campaign, The Listener, New Society and Story Teller. He won the Victoria and Albert Museum Award for Illustration in 1996, and the Ranan Lurie Political Cartoon Award in 2003.

Museum of Caricature, Warsaw
Museum of Caricature (Polish: Muzeum Karykatury) (also known as the Eryk Lipiński Museum of Caricature) is a museum in Warsaw, Poland. The museum was founded by Eryk Lipiński in 1978, and he was the director of the museum until his death in 1991. The museum has a collection of over 20,000 pieces by Polish and foreign artists.

The museum's premises are an old orangery which was once part of the 18th century Prymas Castle.  As the museum only has limited space it does not have a permanent collection on display but instead shows temporary exhibitions based on its holdings. The museum's archives are an open resource to anybody who is interested in the history of caricature.
USS Arcturus (AF-52)
USS Arcturus (AF-52) was an Alstede class stores ship stores ship acquired by the U.S. Navy. Her task was to carry stores, refrigerated items, and equipment to ships in the fleet, and to remote stations and staging areas.

The fifth Navy vessel to be named Arcturus, AF-52 was laid down on 8 December 1941 at Oakland, California, by the Moore Dry Dock Co. under a United States Maritime Commission contract (MC hull 184) as Golden Eagle; launched on 15 March 1942; sponsored by Mrs. John B. McKee; and delivered to the War Shipping Administration (WSA) on 23 April 1943. She was operated under WSA charter by the United Fruit Co. until 1946 and, thereafter by the Sword Line Inc. and the United States Lines.
LTJG Sam Bell Damage Control Officer, OOD in formation cruising, 1964–1967

Type R ship
The Type R ship is a United States Maritime Administration (MARAD) designation for World War II refrigerated cargo ship, also called a reefer ship. The R type ship was used in World War II, Korean War, Vietnam War and the Cold War. Type R ships were used to transport perishable commodities which require temperature-controlled transportation, such as fruit, meat, fish, vegetables, dairy products and other foods. The US Maritime Commission ordered 41 new refrigerated ships for the US Navy. Because of the difficulty of building refrigerated ships only two were delivered in 1944, and just 26 were delivered in 1945 and the remainder in 1946–48. The 41 R type ships were built in four groups. Two of design types were modified type C1 ships and two were modified type C2 ships. The United Fruit Company operated many of the R type ships in World War II. The type R2-S-BV1 became the US Navy Alstede-class stores ship and the type R1-M-AV3 became the US Navy Adria-class stores ship.
Dehong Dai and Jingpo Autonomous Prefecture
The Dehong Dai and Jingpo Autonomous Prefecture is an autonomous prefecture in western Yunnan province, China. It is bordered by Baoshan to the east and Myanmar's Kachin State to the west. Its eponymous ethnic minorities are the Dai and Jingpo, who make up 28 and 11 percent of the prefecture's population, respectively.By the end of 2024, the resident population of the whole state is 1,337,000, of which the urban population is 687,000.

Yingjiang County
Yingjiang County (simplified Chinese: 盈江县; traditional Chinese: 盈江縣; pinyin: Yíngjiāng Xiàn; Tai Nüa: ᥔᥦᥢᥱ ᥛᥫᥒᥰ ᥘᥣᥲ; Jingpho: Yinkyang Ginwang; Thai: เมืองหล้า) is a county in Dehong Prefecture, Yunnan province, China, bordering Tengchong to the east, Lianghe County to the southeast, Longchuan County to the south and Burma's Kachin State to the west.
Cylinder set measure
In mathematics, cylinder set measure (or promeasure, or premeasure, or quasi-measure, or CSM) is a kind of prototype for a measure on an infinite-dimensional vector space. An example is the Gaussian cylinder set measure on Hilbert space.

Cylinder set measures are in general not measures (and in particular need not be countably additive but only finitely additive), but can be used to define  measures, such as the classical Wiener measure on the set of continuous paths starting at the origin in Euclidean space. This is done in the construction of the abstract Wiener space where one defines a cylinder set Gaussian measure on a separable Hilbert space and chooses a Banach space in such a way that the cylindrical measure becomes σ-additive on the cylindrical algebra.

The terminology is not always consistent in the literature. Some authors call cylinder set measures just cylinder measure or cylindrical measures (see e.g.), while some reserve this word only for σ-additive measures.

Radonifying function
In measure theory, a radonifying function (ultimately named after Johann Radon) between measurable spaces is one that takes a cylinder set measure (CSM) on the first space to a true measure on the second space. It acquired its name because the pushforward measure on the second space was historically thought of as a Radon measure.
Ingalls Peak
Ingalls Peak is a 7,662-foot (2,335-metre) triple-summit mountain located in the Alpine Lakes Wilderness, along the common border of Kittitas County and Chelan County, in Washington state. Ingalls Peak is the highest point in the Teanaway area of the Wenatchee Mountains. It is situated 2 mi (3.2 km) west of Mount Stuart, and immediately west of Lake Ingalls, on land managed by Wenatchee National Forest. Its subpeaks are the South Peak (7,640 ft; 2,330 m) and the East Peak (7,480 ft; 2,280 m). Precipitation runoff from the peak drains north into Jack Creek, a tributary of Icicle Creek; west into Fortune Creek; or east into Ingalls Creek, a tributary of the Wenatchee River. This peak, the lake, creek, and pass are named for Captain Benjamin Ingalls of the United States Cavalry who led an 1855 survey of this area and is credited with discovering gold in the region.

Wenatchee Mountains
The Wenatchee Mountains are a range of mountains in central Washington State in the United States of America. A major subrange of the Cascade Range, extending east 50 miles (80 km) from the Cascade crest, the Wenatchee Mountains separate the drainage basins of the Yakima and the Wenatchee rivers. The crest of the range forms part of the boundary between Chelan and Kittitas counties.
Drangstedt
Drangstedt (German pronunciation: [ˈdʁaŋʃtɛt]; Low German: Drangst) is a village and a former municipality in the district of Cuxhaven, in Lower Saxony, Germany. Since 1 January 2015 it is part of the town Geestland.

Drangstedt belonged to the Prince-Archbishopric of Bremen, established in 1180. In 1648 the Prince-Archbishopric was transformed into the Duchy of Bremen, which was first ruled in personal union by the Swedish Crown - interrupted by a Danish occupation (1712–1715) - and from 1715 on by the Hanoverian Crown. In 1807 the ephemeric Kingdom of Westphalia annexed the Duchy, before France annexed it in 1810. In 1813 the Duchy was restored to the Electorate of Hanover, which - after its upgrade to the Kingdom of Hanover in 1814 - incorporated the Duchy in a real union and the Ducal territory, including Drangstedt, became part of the new Stade Region, established in 1823.

Geestland
Geestland (German pronunciation: [ˈɡeːstlant]) is a town in the district of Cuxhaven, in Lower Saxony, Germany. It was formed on 1 January 2015 by the merger of the former municipalities of Langen bei Bremerhaven, Bad Bederkesa, Drangstedt, Elmlohe, Flögeln, Köhlen, Kührstedt, Lintig and Ringstedt.
Cambodia at the 2020 Summer Olympics
Cambodia competed at the 2020 Summer Olympics in Tokyo. Originally scheduled to take place from 24 July to 9 August 2020, the Games have been postponed to 23 July to 8 August 2021, because of the COVID-19 pandemic. It was the nation's tenth appearance at the Summer Olympics after its debut at the 1956 Summer Olympics.

Cambodia was represented by three athletes who competed across two sports. Kheun Bunpichmorakat and Pen Sokong served as the country's flag-bearers during the opening ceremony and a volunteer carried the flag during the closing ceremony. The nation did not win any medals in the Games.

Universality slot
Universality slots or universality places are used by the International Olympic Committee to increase diversity of participating nations across the sports programme of the Olympic Games to help countries with traditionally small delegations.
Celtiberian confederacy
The Celtiberian confederacy was a tribal federation formed around the mid-3rd century BC, by the Arevaci, Lusones, Belli and Titii, with the Arevacian city of Numantia as the confederate capital.

During the Second Punic War the confederacy kept itself neutral, though Celtiberian mercenaries are mentioned fighting for both sides on a number of occasions. The first Roman incursion into the Celtiberian heartland occurred around 195 BC under Consul Cato the Elder, who attacked unsuccessfully the towns of Seguntia Celtiberorum and Numantia, where he allegedly delivered a speech to the numantines.

Upon the fall of Numantia in 134-133 BC, the Romans forcibly disbanded the Celtiberian confederacy and allowed the Pellendones' and Uraci to regain their independence from the Arevaci, who were now technically submitted and absorbed into Hispania Citerior province.

Uraci
The Uraci or Duraci (Greek: Urakoi) were a little-known Celtic people of pre-Roman Iberia who dwelt to the east of the Vaccaei and the Carpetani, occupying the southern Soria, northern Guadalajara and western Zaragoza provinces since the 4th century BC.
El Edén International Airport
El Edén International Airport (Spanish: Aeropuerto Internacional El Edén) (IATA: AXM, ICAO: SKAR) is an international airport serving Armenia, the capital of the Quindío Department of Colombia. The airport is 13 kilometres (8.1 mi) southwest of Armenia, near the town of La Tebaida. It handles domestic flights to Bogotá and Medellín and international flights to Fort Lauderdale, Florida, and Panama City.

Armenia, Colombia
Armenia (Spanish pronunciation: [aɾˈme.nja]) is the capital of  Quindío Department in the South American country of Colombia. Armenia is a medium-sized city and part of the "coffee axis" along with Pereira and Manizales. It is one of the main centers of the national economy and of the Colombian coffee growing axis. As a result, the historic center of Armenia was named as part of the "Coffee Cultural Landscape" of UNESCO World Heritage Site in 2011.
Internal labor market
Internal labor markets (ILM) are an administrative unit within a firm in which pricing and allocation of labor is governed by a set of administrative rules and procedures. The remainder of jobs within the ILM is filled by the promotion or transfer of workers who have already gained entry. Internal labor markets are shielded from the competition of external labor markets (ELM). However, competition of ILM exists within the firm in the form of job promotions and pay.

The main reasons why internal labor markets were developed are as follows:

Labour economics
Labour economics is the subfield of economics concerned with the study of labour as an input to economic production. Broadly, it surveys labor markets and the economic decisions of agents participating in such markets. Topics of study include the labour supply of workers and how it is affected by variables such as age, education, gender and childbearing, as well as the labour demand by firms searching for different forms of labour as an input in the production of goods and services. In addition, labour economics studies, amongst others, phenomena such as schooling, human capital, inequality, unemployment, trade unions, discrimination, technological change, and public policies related to labour markets, such as unemployment benefits, pensions and health care.
Llandudno
Llandudno (/lænˈdɪdnoʊ/, Welsh: [ɬanˈdɨdnɔ] ⓘ) is a seaside resort, town and community in Conwy County Borough, Wales, located on the Creuddyn peninsula, which protrudes into the Irish Sea. In the 2021 UK census, the community – which includes Gogarth, Penrhyn Bay, Craigside, Glanwydden, Penrhynside, and Bryn Pydew – had a population of 19,700 (rounded to the nearest 100). The town's name means "Church of Saint Tudno".

Llandudno is a major seaside resort in Wales, and as early as 1861 was being called 'the Queen of the Welsh Watering Places' (a phrase later also used in connection with Tenby and Aberystwyth; the word 'resort' came a little later). Historically a part of Caernarfonshire, Llandudno was formerly in the district of Aberconwy within Gwynedd until 1996.

Roger Roberts, Baron Roberts of Llandudno
John Roger Roberts, Baron Roberts of Llandudno (born 23 October 1935), is a Welsh Liberal Democrat politician, Methodist minister, and life peer. He was for many years President of the Welsh Liberals, and later, the Welsh Liberal Democrats.
ELTA Systems
ELTA Systems Ltd (ELTA) is an Israeli defense technology company specializing in designing, developing, and producing advanced electronic systems and sensors. ELTA is a group and subsidiary of the government-owned Israel Aerospace Industries (IAI), and its product portfolio encompassing radars, ELINT, COMINT, special mission aircraft, electronic warfare, communications, autonomous ground vehicles, underwater systems and cybersecurity defense systems. The company's products are utilized by defense forces, homeland security, and law enforcement organizations worldwide.

ELTA has been a major contributor to Israeli national security and is a winner of 15 Israel Defense Prizes - Israel's highest defense award. Amongst the awards are the Green Pine Radars for ballistic detection under the Arrow weapon system, the MMR radars, under Iron Dome and under David Sling systems, and in 2025 - the three outstanding AEW, SIGINT and ISTAR Special Mission Aircraft.

Scorpius electronic warfare system
Scorpius is a defense weapon system designed to disrupt the communications and radar of UAVs, ships, missiles and more.  It is being produced by Israel Aerospace Industries (IAI) Elta Systems subsidiary and was announced on November 12, 2021.
Scott Tallon Walker
Scott Tallon Walker is an architecture practice with its head office in Dublin, Ireland and further offices in London, Galway and Cork. It is one of the largest architecture practices in Ireland. Established in 1931 as Scott and Good, becoming Michael Scott Architect in 1938, and Michael Scott and Partners in 1957 before changing to the current Scott Tallon Walker in 1975. Scott Tallon Walker and its earlier incarnations developed a reputation for modernism.

Royal Institute of the Architects of Ireland
The Royal Institute of the Architects of Ireland (RIAI) (Irish: Institiúid Ríoga Ailtirí na hÉireann) founded in 1839, is the "competent authority for architects and professional body for Architecture in Ireland."

The RIAI's purpose is "to uphold the highest standards in architecture and to provide impartial and authoritative advice and information in issues affecting architects, the built environment and society." The RIAI's primary roles are in the areas of: Protecting the consumer; Promoting architecture; Supporting architects and architectural technologists; and Regulating architects. The institute is governed by a 26-member council.

The RIAI acts as the registration body for architects in Ireland. The title "Architect" is protected by Section 18 of the Building Control Act 2007 and can only be used by RIAI-registered architects.
Kilbirnie Auld Kirk
Kilbirnie Auld Kirk is a Church of Scotland congregation on Dalry Road (at Kirkland Road), Kilbirnie, North Ayrshire, Scotland. Although the building dates back to the 15th century, the present congregation was formed in 1978 by the amalgamation of the Glengarnock Parish Church and the Barony Church.
The building is now closed as a place of worship, and the congregation meet at the united Kilbirnie New Parish Church in Glasgow Street.

Kilbirnie
Kilbirnie (Scottish Gaelic: Cill Bhraonaigh) is a small town of 7,280 (as of 2001) inhabitants situated in the Garnock Valley area of North Ayrshire, on the west coast of Scotland. It is around 20 miles (30 km) southwest of Glasgow and approximately 10 miles (16 kilometres) from Paisley and 13 miles (21 kilometres) from Irvine respectively. Historically, the town's main industries were flax production and weaving before iron and steelmaking took over in the 19th and early 20th centuries. The suburb of Kilbirnie in the New Zealand capital of Wellington is named after the town.
Hysan Place
Hysan Place (Chinese: 希慎廣場; Jyutping: hei1 san6 gwong2 coeng4, sometimes 希慎, hei¹ san²*) is a shopping centre and office building at 500 Hennessy Road, Lee Garden, Causeway Bay, Hong Kong. It was developed by Hysan Development Company Limited at the former site of Hennessy Centre and was designed by international architecture firm Kohn Pedersen Fox. It was opened on 10 August 2012.

Hennessy Road
Hennessy Road (Chinese: 軒尼詩道) is a thoroughfare on Hong Kong Island, Hong Kong.

It connects Yee Wo Street on the east in Causeway Bay, at the junction with East Point Road, Jardine's Bazaar and Great George Street in East Point, through Bowrington, to Queensway on its western end in Wan Chai.

It is a two-way road with two to three lanes of traffic on each side, which is shared by tram services. The road was built in the 20th century and is 1.86 kilometres (1.16 mi) in length.

The road is named after John Pope Hennessy, the Governor of Hong Kong between 1877 and 1882.

The portion of the road passing through Causeway Bay was one of the locations occupied during the 2014 Hong Kong protests.

The 2009 Hong Kong movie Crossing Hennessy is a love story set around Hennessy Road.  The protagonists, Oi Lin (played by Tang Wei) and Loy (Jacky Cheung),  live on opposite sides of Hennessy Road.