hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Arima (parliamentary constituency)
Arima is a parliamentary electoral district in Trinidad and Tobago in the north of Trinidad, including part of the borough of Arima. It is currently represented by Pennelope Beckles.

This constituency was created by the Boundaries Commission prior to the 1961 Trinidad and Tobago general election. In 2004, five polling divisions were removed from the district to create the constituency of D'Abadie/O'Meara and one polling division was removed to create La Horquetta/Talparo for the 2007 Trinidad and Tobago general election. It was previously considered to be a safe PNM seat, but was won by the COP in the 2010 general election.

Arima
Arima, officially The Royal Chartered Borough of Arima is the easternmost and second largest in area of the three boroughs of Trinidad and Tobago. It is geographically adjacent to Sangre Grande and Arouca at the south central foothills of the Northern Range. To the south is the Caroni–Arena Dam. Coterminous with Town of Arima since 1888, the borough of Arima is the fourth-largest municipality in population in the country (after Port of Spain, Chaguanas and San Fernando). The census estimated it had 33,606 residents in 2011.

In 1887, the town petitioned Queen Victoria for municipal status as part of the celebration for the Golden Jubilee of Queen Victoria. This was granted in the following year, and Arima became a Royal Borough on 1 August 1888. Historically the third-largest town of Trinidad and Tobago, Arima is fourth since Chaguanas became the largest town in the country.
R762 road (Ireland)
The R762 road is a regional road in County Wicklow, Ireland, which connects the R761 at Greystones to the N11 national primary road.

The route runs east via Rathdown Road, turns south through the town as Church Road before turning west as Mill Road.  It again intersects the R761 via a double junction at Delgany and then runs eastwards as Delgany Road and then Glen Road before terminating in the N11 at junction 10 located at the southern end of the Glen of the Downs Nature reserve.

N11 road (Ireland)
The N11 road is a national primary road in Ireland, running for 129 km (80 mi) along the east side of Ireland from Dublin to Wexford. It passes close to Bray, Greystones, Newtownmountkennedy, Ashford, Wicklow, Arklow, Gorey, and Enniscorthy. Beyond Wexford, the route continues to Rosslare as the N25. The road forms part of European route E01. As of July 2019 the N11/M11 is of dual carriageway or motorway standard from Dublin as far as Oilgate in County Wexford.

The road is a busy commuter route, being the only dual carriageway passing through the south eastern suburbs of Dublin, as well as close to the many commuter towns along the east coast as far south as Gorey. Summer Friday and Sunday evenings also see very heavy traffic as Dubliners decamp to and return from their many holiday home locations along the County Wicklow and County Wexford coastlines.
Abid Aziz Sheikh
Abid Aziz Sheikh (born 26 April 1967) has been Justice of the Lahore High Court since 12 April 2013.

In 2024, Sheikh was filling in as the acting Chief Justice of the Lahore High Court while the actual Chief Justice, Aalia Neelum, was out of Pakistan.

Aalia Neelum
Aalia Neelum (Urdu: عالیہ نیلم, born 12 November 1966), is a Pakistani jurist who has been serving as a Chief Justice at the Lahore High Court since 11 July 2024. Previously she served as Justice of Lahore High Court since 12 April 2013.

On 4 July, Neelum was nominated as Chief Justice of Lahore High Court.

On 11 July 2024, she took oath as the Chief Justice at the Lahore High Court and became first female chief justice of Lahore High Court.

In August 2024, her appointment as Chief Justice of the Lahore Court was challenged in the Supreme Court by members of the Pakistan Bar Council.
Fenech-Soler (album)
Fenech-Soler is the eponymous debut studio album by British electropop band Fenech-Soler. It was released on 27 September 2010 by B-Unique Records.

The album includes the singles "Lies", "Demons" and "Stop and Stare". The three single were included in the 2014 special edition of their second studio album, Rituals along with the eighth track "Stonebridge".

Rituals (Fenech-Soler album)
Rituals is the second studio album by British electropop band Fenech-Soler. It was released on 25 September 2013 by Warner Bros. Records and B-Unique Records. This album marked Fenech-Soler's major label debut. Their previous record was released independently. The album features the band' s follow-up to the band's 2012–13 singles "All I Know", "Magnetic" and "Last Forever".

A special edition of the album with a new track listing was released a year later on 25 August 2014. This edition replaced the band's first full-length US release, (which was subsequently removed from online services). It features four tracks from their previous self-titled debut studio album.
Lamba language
Lamba is a language found in Zambia and is commonly spoken in the Copperbelt. There are about 210,000 native speakers in the northern parts of Zambia and southern fringes of the Democratic Republic of the Congo. Lamba is also spoken in Lusaka, mainly because many speakers have migrated there for jobs. Lamba is a Bantu language. (In fact, "mu ntu" means "one person" in Lamba and "ba ntu" means "two or more people".) Depending on who does the counting, Zambia has between 42 and 78 local languages besides English – see Languages of Zambia for further details.

Maho (2009) lists the Lima (Bulima) and Temba varieties as distinct languages.

Languages of Zambia
Zambia has several major indigenous languages, all members of the Bantu family, as well as Khwedam, Zambian Sign Language, several immigrant languages and the pidgins Settla and Fanagalo. English is the official language and the major language of business and education.
Tucuhuachana
Tucuhuachana (possibly from quechua tuku owl, wacha birth, to give birth, -na a suffix, "where the owl is born") is mountain in the Carabaya mountain range in the Andes of Peru, about 5,000-metre (16,000 ft) high. It is located in the Puno Region, Carabaya Province, Ituata District. Tucuhuachana lies southwest of Pumajolluni, northeast of Queroni and southeast of Allpajata. The little lake east of it is named Vilajota (possibly from Aymara for "red lake").

Cordillera Carabaya
The Cordillera Carabaya (Spanish for "Carabaya mountain range") lies in the Andes of Peru. It extends between 14°00' and 14°22'S and 69°38' and 70°19'W for about 75 km. It is located in the Puno Region, Carabaya Province, between the Vilcanota mountain range in the north-west and the Apolobamba mountain range in the south-east, north and north-east of Macusani.
NuSMV
In computer science, NuSMV is a reimplementation and extension of the SMV symbolic model checker, the first model checking tool based on binary decision diagrams (BDDs).
The tool has been designed as an open architecture for model checking. It is aimed at reliable verification of industrially sized designs, for use as a backend for other verification tools and as a research tool for formal verification techniques.

NuSMV has been developed as a joint project between ITC-IRST (Istituto trentino di cultura in Trento), Carnegie Mellon University, the University of Genoa and the University of Trento.

NuSMV 2, version 2 of NuSMV, inherits all the functionalities of NuSMV. Furthermore, it combines BDD-based model checking with SAT-based model checking. It is maintained by Fondazione Bruno Kessler, the successor organization of ITC-IRST.

Linear temporal logic
In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.g., a condition will eventually be true, a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which additionally allows branching time and quantifiers. LTL is sometimes called propositional temporal logic (PTL).
In terms of expressive power, LTL is a fragment of first-order logic.

LTL was first proposed for the formal verification of computer programs by Amir Pnueli in 1977.
Kamikōnushi-Mobara Kanga ruins
The Kamikōnushi・Mobara kanga ruins (上神主・茂原官衙遺跡, Kamikōnushi・Mobara kanga iseki) is an archaeological site with the ruins of a Nara to Heian period government administrative complex located in what is now on the border of the town of Kaminokawa, with the city of Utsunomiya in Tochigi prefecture in the northern Kantō region of Japan. It has been protected as a National Historic Site from 2003. The Kita-Kantō Expressway cuts directly across the site.

Utsunomiya
Utsunomiya (宇都宮市, Utsunomiya-shi; [ɯt͡sɯnomija] ⓘ) is the capital and largest city of Tochigi Prefecture in the northern Kantō region of Japan. As of 1 July 2023, the city had an estimated population of 513,584, and a population density of 1,232 persons per square kilometre (3,190/sq mi). The total area of the city is 416.85 km2 (160.95 sq mi). Utsunomiya is famous for its gyoza (pan fried dumplings). There are more than two hundred gyoza restaurants in Utsunomiya.

Greater Utsunomiya (宇都宮都市圏, Utsunomiya Toshi-ken) had a population of 888,005 in the 2000 census. The nearby city of Oyama is included in Greater Tokyo, but Greater Utsunomiya is not, despite the two areas amalgamating somewhat. It is the 10th most populated city in the Kantō region.
Parmotrema amaniense
Parmotrema amaniense is a species of corticolous lichen in the family Parmeliaceae. Found in Africa, the lichen was originally described by J. Steiner and A. Zahlbruckner as a species of Parmelia in 1926. The holotype collection was made in Usambara (Tanzania) at an elevation of 800 metres (2,600 ft). Krog & Swinscow transferred the taxon to Parmotrema in 1983. Secondary chemicals present in Parmotrema amaniense include alectoronic acid, protocetraric acid, and atranorin. In addition to Tanzania, it has been recorded in Uganda, Angola, Malawi, Mozambique, Sierra Leone, Zambia, and Zimbabwe.

Parmotrema
Parmotrema is a genus of lichen belonging to the family  Parmeliaceae. It is a large genus, containing an estimated 300 species, with a centre of diversity in subtropical regions of South America and the Pacific Islands.

Members of the genus are commonly called ruffle lichens or scatter-rag lichens.: 83
Arnold's cat map
In mathematics, Arnold's cat map is a chaotic map from the torus into itself, named after Vladimir Arnold, who demonstrated its effects in the 1960s using an image of a cat, hence the name. It is a simple and pedagogical example for hyperbolic toral automorphisms.

Thinking of the torus  as the quotient space , Arnold's cat map is the transformation  given by the formula

Equivalently, in matrix notation, this is

That is, with a unit equal to the width of the square image, the image is sheared one unit up, then two units to the right, and all that lies outside that unit square is shifted back by the unit until it is within the square.

Dense set
In topology and related areas of mathematics, a subset A of a topological space X is said to be dense in X if every point of X either belongs to A or else is arbitrarily "close" to a member of A — for instance, the rational numbers are a dense subset of the real numbers because every real number either is a rational number or has a rational number arbitrarily close to it (see Diophantine approximation). 
Formally,  is dense in  if the smallest closed subset of  containing  is  itself.

The density of a topological space  is the least cardinality of a dense subset of
Hororo people
The Hororo or Bahororo are a Bantu-speaking ethnicity mainly residing in the north of the former Kigezi District in southwestern Uganda. In 1905, they were described by a British officer as a "quiet, inoffensive people" who owned cattle. They are made up mostly of the Hima ethnic group and the Bantu ethnic group. They reside mainly in Rujumbura in southwestern Uganda and are related to the Banyankole, Banyoro, Batooro, Songora and Tutsi peoples respectively. Rujumbura was ruled by the BeeneKirenzi sub-clan with Omukama Karegyesa as their last king. The Bahororo speak a dialect of Nkore-Kiga, Ruhororo. They are subdivided into clans that are similar to those of the kingdom of Ankole. Unlike Ankole, which was ruled by the Hinda clan, Mpororo was led by the Bashambo clan.

Nkole people
The Nkole people, also known as the Banyankole, are a Bantu ethnic group native to the Ankole region of Uganda. They are primarily found in the southwestern part of the country, in what was historically known as the Ankole Kingdom. The Banyankole are known for their rich cultural heritage and traditional cattle-keeping practices. They are closely related to other Bantu peoples of the region, namely the Nyoro, Kiga, Toro and Hema people.
Hubbard (surname)
Hubbard is an English surname. The name is a variant of the surnames Hobart, Hubbert, and Hubert. These surnames are derived from personal names, such as the Old German Hugibert and Hubert, which are composed of the elements hug ("heart", "mind", "spirit") and berht ("bright", "famous"). Early forms of the surname include filius Huberti (in 1066), Hubert (in 1199), Huberd and Hubert (in 1230), and Hoberd (in 1291).

Hubert
Hubert is a Germanic masculine given name, from hug "mind" and beraht "bright". It also occurs as a surname.

Saint Hubert of Liège (or Hubertus) (c. 656 – 30 May 727) is the patron saint of hunters, mathematicians, opticians, and metalworkers.
2022 Texas elections
Elections were held in Texas on November 8, 2022. Primary elections were held on March 1, with runoffs held on May 24 for primary candidates who did not receive a majority of the vote.

All of the states' executive offices were up for election, as well as all seats of the Texas Legislature and all 38 seats in the United States House of Representatives, an additional two of which were apportioned to the state following the 2020 redistricting cycle based on data from the 2020 census.

American Federation of Teachers
The American Federation of Teachers (AFT) is the second-largest teacher's labor union in America (the largest being the National Education Association). The union was founded in Chicago. John Dewey and Margaret Haley were founders.

About 60 percent of AFT's membership works directly in education, with the remainder of the union's members composed of paraprofessionals and school-related personnel; local, state and federal employees; higher education faculty and staff, and nurses and other healthcare professionals. The AFT has, since its founding, affiliated with trade union federations: until 1955 the American Federation of Labor, and now the AFL–CIO.
Clistax
Clistax is a genus of flowering plants belonging to the family Acanthaceae. It includes three species native to Brazil.

Species:

Clistax bahiensis Profice & Leitman

Clistax brasiliensis Mart.

Clistax speciosus Nees

Acanthaceae
Acanthaceae (/ækænˈθeɪsiːˌaɪ, -siˌi/) is a family (the acanthus family) of dicotyledonous flowering plants containing almost 250 genera and about 2500 species. Most are tropical herbs, shrubs, or twining vines; some are epiphytes. Only a few species are distributed in temperate regions. The four main centres of distribution are Indonesia and Malaysia, Africa, Brazil, and Central America. Representatives of the family can be found in nearly every habitat, including dense or open forests, scrublands, wet fields and valleys, sea coast and marine areas, swamps, and mangrove forests.
Hans Hirsch
Hans Hirsch (27 December 1878 – 20 August 1940) was an Austrian academic  who worked between 1903 and 1914 on the vast "Monumenta Germaniae Historica" sources project, and subsequently became a full-time professional historian. He accepted an ordinary (full) professorship in history at the German University (as it became known after 1918) in Prague as the war ended, transferring in 1926 to the University of Vienna. The focus of his research and teaching was on medieval history. In parallel he built for himself a reputation as a specialist on the (recently "discovered" - or, at least, reclassified by the media) "Sudeten Germans", which marked him out as a more than averagely politicised historian. His application for party membership was still outstanding at the time of his death, however.

Institut für Österreichische Geschichtsforschung
The Institute for Austrian Historic Research (German: Institut für Österreichische Geschichtsforschung, acronym IÖG) is a history research institution in Vienna, Austria. Established in 1854, since 2016 it is part of the University of Vienna.
Lookout Lake (Antarctica)
The Lookout Lake is a small lake on the Ingrid Christensen Coast of the Princess Elisabeth land in East Antarctica. In the Vestfold Mountains, the lake is 0.8 km north-northeast of the hill The Lookout in the west of the Breidnes Peninsula.

Scientists working at Davis Station visited the lake in 1957 as part of the Australian National Antarctic Research Expeditions and named the lake based on the name of the neighboring hill.

Breidnes Peninsula
Breidnes Peninsula (68°34′S 78°10′E﻿ / ﻿68.567°S 78.167°E﻿ / -68.567; 78.167) is a rocky peninsula, 13 nautical miles (24 km) long and 5 nautical miles (9 km) wide, between Ellis Fjord and Langnes Fjord in the Vestfold Hills. It was mapped by Norwegian cartographers from air photos taken by the Lars Christensen Expedition (1936–37) and named "Breidneset" (the "broad promontory").
Italia's Next Top Model season 3
The third season of Italia's Next Top Model, an Italian reality television show, premiered on SKY Vivo on 2 October 2009 and concluded on 18 December 2009.

The show was once again hosted by former Russian model and actress Natasha Stefanenko. The permanent judges included Michael Giannini, art director and talent scout for the modeling agency d’Management; former model Nadège du Bospertus; and fashion journalist Giusi Ferré. Each episode featured a celebrity guest judge joining the panel.

The season was won by 24-year-old Anastasia Silveri, who received a one-year contract with d’Management Group and a Max Factor campaign worth €150,000.

Italia's Next Top Model
Italia's Next Top Model (English: Italy's Next Top Model; abbreviated as INTM) is an Italian reality television show hosted by Natasha Stefanenko and based on Tyra Banks' America's Next Top Model. It is broadcast on SKY Uno, a channel of the Italian Pay Television SKY Italia. The first season premiered in December 2007 and soon became popular among viewers.
Port Arthur, South Australia
Port Arthur is a locality in the Australian state of South Australia located on the Yorke Peninsula at the northern end of Gulf St Vincent about 105 kilometres (65 miles) north west of the state capital of Adelaide and about 9 kilometres (5.6 miles) north of the town of Port Wakefield.

Its boundaries were created in May 1999 for the "long established name." Port Arthur was used from 1861 to 1863 as a minor port for an enterprise moving passengers between Port Adelaide and the towns of Moonta and Wallaroo using the steam tug, Eleanor, and coach services operated by both "Mr Opie's Horse Conveyances" and W. Rounsevell.

Port Arthur is located within the federal Division of Grey, the state electoral district of Narungga, and the local government area of the Yorke Peninsula Council.

Yorke Peninsula
The Yorke Peninsula, known as Guuranda by the original inhabitants, the Narungga people, is a peninsula located northwest and west of Adelaide in South Australia, between Spencer Gulf on the west and Gulf St Vincent on the east. The peninsula is separated from Kangaroo Island to the south by Investigator Strait.

The most populous town in the region is Kadina; Maitland is the most central town; and the south-western tip is occupied by Dhilba Guuranda-Innes National Park.
Yarigui people
The Yariguí people were an Indigenous Colombian tribe that gave their name to a mountainous area they once inhabited in the Andean cloud forest. It has been said that they committed mass suicide instead of submitting to Spanish colonial rule.

Magdalena River
The Magdalena River (Spanish: Río Magdalena, Spanish pronunciation: [ˈri.o maɣðaˈlena]; less commonly Rio Grande de la Magdalena) is the main river of Colombia, flowing northward about 1,528 kilometres (949 mi) through the western half of the country. It takes its name from the biblical figure Mary Magdalene. It is navigable through much of its lower reaches, in spite of the shifting sand bars at the mouth of its delta, as far as Honda, at the downstream base of its rapids. It flows through the Magdalena River Valley.

Its drainage basin covers a surface of 273,000 square kilometres (105,000 sq mi), which is 24% of the country's area and where 66% of its population lives.
Marcel Ponitka
Marcel Jakub Ponitka (born 28 August 1997) is a Polish professional basketball player who plays as both PG and SG, who most recently played for Śląsk Wrocław of the Polish Basketball League (PLK). In the Polish Basketball League PLK, Ponitka is considered the best defender, having won the title for Best Polish defender of the season 2019/2020 the Best Young Player of PLK (2017, 2018) winning the Polish Championship twice with Zastal Zielona Góra in 2016 and 2020. Ponitka won the Polish Basketball Supercup in 2020, as well as the fourth place in FIBA Europe Cup in 2021 as part of BC Parma.

Ponitka represented Poland in 2013 and 2014 in the European Championship for the Categories U16 and U18. In 2018 he made his senior Polish National Team debut at the age of 21, where he played 12 games so far, scoring a total of 49 points.

VTB United League
The VTB United League (Russian: Единая Лига ВТБ) is an international professional men's club basketball league that was founded in 2009. As of the 2025–26 season, it consists exclusively of Russian clubs. Since 2013, it is the first tier of Russian professional club basketball. Therefore, the highest placed Russian team in the league can also be named the Russian national champions. The league is sponsored by Russian state-owned VTB Bank. In 2009 CSKA Moscow won VTB United League Promo-Cup, but this competition does not count as official VTB title. CSKA has dominated the league, having won majority of titles its existence. The VTB United League also holds a youth competition, the VTB United Youth League.
Syrian Social Nationalist Party in Lebanon
The Syrian Social Nationalist Party in Lebanon (SSNP-L) is a Syrian nationalist party operating in Lebanon. The Lebanese section of the Syrian Social Nationalist Party advocates subsuming Lebanon into a Greater Syrian nation state spanning the Fertile Crescent.

Founded in Beirut in 1932 as a national liberation organization hostile to French colonialism, the party played a significant role in Lebanese politics and was involved in attempted coup d'etats in 1949 and 1961 following which it was thoroughly repressed. It was active in the Lebanese Civil War, particularly in clashes with the right-wing  Lebanese Front, resistance against the Israeli invasion of Lebanon in 1982 and in the South Lebanon conflict from 1985 to 2000 while also continuously supporting the Syrian occupation in Lebanon.

American University of Beirut
The American University of Beirut (AUB; Arabic: الجامعة الأميركية في بيروت, romanized: al-Jāmiʿa l-Amērkiyya fī Bayrūt) is a private, non-sectarian, and independent university chartered in New York with its main campus in Beirut, Lebanon. AUB is governed by a private, autonomous board of trustees and offers programs leading to bachelor's, master's, MD, and PhD degrees.

AUB has an operating budget of $423 million with an endowment of approximately $768 million. The campus is composed of 64 buildings, including the American University of Beirut Medical Center (AUBMC, formerly known as AUH – American University Hospital) (420 beds), four libraries, three museums and seven dormitories. Almost one-fifth of AUB's students attended secondary school or university outside Lebanon before coming to AUB. AUB graduates reside in more than 120 countries worldwide. The language of instruction is English. Degrees awarded at the university are officially registered with the New York Board of Regents.