hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Jackie Bray
John Bray (22 April 1909 – 20 November 1982) was an English footballer who played as a left-half. He won six caps for England between 1934 and 1937. His younger brother, George, was also a professional footballer and spent his entire career with Burnley.

He played for Manchester Central before spending 1929 to 1938 with Manchester City, winning an FA Cup runner-up medal in 1933 and a winners medal in 1934, before helping the club to the First Division title in 1936–37. He guested for numerous clubs during World War II, and briefly managed Watford in the 1947–48 season. After leaving Watford, he served Nelson as player-manager from February to September 1948.

George Bray
George Bray (11 November 1918 – 13 February 2002) was an English professional footballer who played as a wing half. He played his entire senior career with Burnley, making more than 250 appearances for the club in all competitions and forming part of the renowned defence known as the "Iron Curtain". After retiring from playing he remained at Burnley, firstly on the coaching staff and later as kit man before departing in 1992. In total, his association with the club as a player, coach, kit man and supporter spanned seven decades.
Herman Feshbach
Herman Feshbach (2 February 1917 – 22 December 2000) was an American physicist.  He was an Institute Professor Emeritus of physics at the Massachusetts Institute of Technology.  Feshbach is best known for Feshbach resonance and for writing, with Philip M. Morse, Methods of Theoretical Physics.

Philip M. Morse
Philip McCord Morse (August 6, 1903 – 5 September 1985), was an American physicist, administrator and pioneer of operations research (OR) in World War II. He is considered to be the father of operations research in the U.S.
BlueTriton Brands
BlueTriton Brands, Inc. is an American beverage company based in Stamford, Connecticut that is now part of Primo Brands. A former subsidiary of Nestlé, it was known between 2002 and 2021 as Nestlé Waters North America, Inc. and operated as the North American business unit of Nestlé Waters. It produced and distributed numerous brands of bottled water across North America including Arrowhead Water, Deer Park Spring Water, Ice Mountain, Pure Life, Splash, Saratoga, Ozarka, Poland Spring, and Zephyrhills.

In early April 2021, the sale of the company's bottling operations to One Rock Capital Partners LLC and Metropoulos & Co. was concluded.

Ice Mountain (water)
Ice Mountain is a bottled water brand from BlueTriton Brands, produced and marketed primarily in the Midwest region of the United States. The brand was introduced by PepsiCo in 1987 and sold to Perrier in 1989. Ice Mountain was owned by Nestlé from 1992 to 2021. Since 2002, Ice Mountain has sourced its water from two groundwater wells at Sanctuary Spring in Mecosta County, Michigan, and/or Evart Spring in Evart, Michigan.  The water is drawn from underground springs using pump technology. Bottling is done at a plant in Stanwood, Michigan.
Cornell Notes
The Cornell Notes system (also Cornell note-taking system, Cornell method, Cornell way or just Cornell notes) is a note-taking system devised in the 1950s by Walter Pauk, an education professor at Cornell University. Pauk advocated its use in his best-selling book How to Study in College.

Note-taking
Note-taking (sometimes written as notetaking or note taking) is the practice of recording information from different sources and platforms. By taking notes, the writer records the essence of the information, freeing their mind from having to recall everything. Notes are commonly drawn from a transient source, such as an oral discussion at a meeting, or a lecture (notes of a meeting are usually called minutes), in which case the notes may be the only record of the event. Since the advent of writing and literacy, notes traditionally were almost always handwritten (often in notebooks), but the introduction of notetaking software and websites has made digital notetaking possible and widespread. Note-taking is a foundational skill in personal knowledge management.
Michiyoshi Ohara
Michiyoshi Ohara (Japanese: 小原道由, Ohara Michiyoshi) (born November 15, 1967) is a Japanese professional wrestler and mixed martial artist, best known for his work in New Japan Pro-Wrestling (NJPW), where he wrestled from 1990 to 2004, winning the IWGP Tag Team Championship with Tatsutoshi Goto in 1999.

Tatsutoshi Goto
Tatsutoshi Goto (後藤 達俊, Gotō Tatsutoshi; born May 25, 1956) is a Japanese professional wrestler. He competed primarily in WAR and New Japan Pro-Wrestling (NJPW), and briefly used the name "T2000 Machine". He also briefly competed in World Championship Wrestling (WCW) as part of the nWo Japan.
WROW
WROW (590 AM) is a commercial radio station licensed to Albany, New York, United States, and serving the Capital District, including Albany, Schenectady and Troy. Owned by Pamal Broadcasting, the station features a classic hits format branded as "Magic 590-1410 AM and 96.5-100.5 FM" with studios located in Latham. WROW serves as the local affiliate for CBS Radio News and is the Emergency Alert System (EAS) primary entry point for Northeastern New York state.

WROW's transmitter is sited on Weisheit Road in Glenmont, near the New York State Thruway. WROW is also heard over low-power FM translator W263CG at 100.5 MHz and on WENU 1410 AM (which itself has a translator on 96.9 FM) in South Glens Falls.

WENU
WENU (1410 AM) is a radio station broadcasting a soft oldies format simulcasting WROW out of Albany. Licensed to South Glens Falls, New York, United States, the station serves the Glens Falls area.  Established in 1988 as WSTL, the station is owned by Pamal Broadcasting.
Wisley
Wisley /wɪzli/ is a village and civil parish in Surrey, England between Cobham and Woking, in the Borough of Guildford. It is the home of the Royal Horticultural Society's Wisley Garden. The River Wey runs through the village and Ockham and Wisley Commons form a large proportion of the parish on a high acid heathland, which is a rare soil type providing for its own types of habitat. It has a standard weather monitoring station, which has recorded some national record high temperatures.

RHS Garden Wisley
RHS Garden Wisley is a garden run by the Royal Horticultural Society in Wisley, Surrey, southwest of London. It is one of five gardens run by the society, the others being Harlow Carr, Hyde Hall, Rosemoor, and Bridgewater (which opened on 18 May 2021). Wisley is the second most visited paid entry garden in the United Kingdom after the Royal Botanic Gardens, Kew, with 1,104,362 visitors in 2024. The gardens are Grade II* listed.
Santa Clara, Lisbon
Santa Clara (Portuguese pronunciation: [ˈsɐ̃tɐ ˈklaɾɐ]) is a freguesia (civil parish) and typical quarter of Lisbon, the capital city of Portugal. Located in northern Lisbon, Santa Clara is north of Lumiar, west of Olivais, and directly south of Lisbon's border with Odivelas and Loures. The population in 2021 was 23,645.

Olivais, Lisbon
Olivais (Portuguese pronunciation: [oliˈvajʃ]) is a freguesia (civil parish) and traditional quarter of Lisbon, the capital of Portugal. It is situated in the eastern part of the city, bordered by Parque das Nações to the east, Marvila and Alvalade to the south, and Lumiar and Santa Clara to the west. As of the 2021 census, it had a population of 32,179.
Kyuyol-Yuryakh
The Kyuyol-Yuryakh (Russian: Кюёль-Юрях; Yakut: Күөл-үрэх, Küöl-ürex) is a river in the Sakha Republic (Yakutia), Russia. It has a length of 247 kilometres (153 mi) and a drainage basin area of 2,330 square kilometres (900 sq mi).

The river flows north of the Arctic Circle, across territories of the East Siberian Lowland in Allaikhovsky District. It flows across Soluntakh, the largest lake in the area. There are no settlements along its course. The name of the river comes from the Yakut "Kuöl/urekh" (Күөл-үрэх), meaning "lake/river".

Soluntakh
Soluntakh (Russian: Солунтах; Yakut: Солунтах, Soluntax) is a freshwater lake in the Sakha Republic (Yakutia), Russia.
It is one of the largest lakes in the Allaikhovsky District. The region where Soluntakh lies is uninhabited.

Like most bodies of water in the area in has not been studied enough. A sector of the lake is a protected area.
Chris Distefano
Christopher Paul Anthony Distefano (born August 26, 1984) is an American comedian. Primarily a stand-up comedian, he began his career in entertainment on MTV and MTV2's shows Guy Code and Girl Code. His first hour-long standup special, Chris Distefano: Size 38 Waist, was released in 2019 by Comedy Central. His second special, Speshy Weshy, premiered on Netflix in May 2022. Distefano co-hosts Hey Babe! podcast with Sal Vulcano from Impractical Jokers and hosts several podcasts, Chrissy Chaos and co-hosts ‘History Hyenas’ with comedian Yannis Pappas.

Sal Vulcano
Salvatore Edward Anthony Vulcano (born November 6, 1976) is an American improvisational and stand-up comedian, actor, and producer from the New York City borough of Staten Island. He is a member of The Tenderloins, a comedy troupe consisting of himself, James Murray, Brian Quinn, and formerly Joe Gatto. Along with the other members of The Tenderloins, he stars in the television series Impractical Jokers, which premiered in 2011, on TruTV.
Trata, Gorenja Vas–Poljane
Trata (pronounced [ˈtɾaːta]) is a former village in northwestern Slovenia in the Municipality of Gorenja Vas–Poljane. It is now part of the town of Gorenja Vas. It is part of the traditional region of Upper Carniola and is now included in the Upper Carniola Statistical Region.

Gorenja Vas, Gorenja Vas–Poljane
Gorenja Vas (pronounced [ɡɔˈɾeːnja ˈʋaːs]; Slovene: Gorenja vas, German: Goreinawas) is a settlement in the Poljane Sora Valley and the administrative centre of the Municipality of Gorenja Vas–Poljane in the Upper Carniola region of Slovenia. In addition to the settlement core of Gorenja Vas itself, the settlement also consists of the hamlets of Sestranska Vas (Slovene: Sestranska vas) north of the Poljane Sora River, and Trata and Lajše south of the settlement core.
Tinker Tailor Soldier Spy (TV series)
Tinker Tailor Soldier Spy is a 1979 British seven-part spy drama by the BBC. John Irvin directed and Jonathan Powell produced this adaptation of John le Carré's novel Tinker Tailor Soldier Spy (1974). The serial, which stars Alec Guinness, Alexander Knox, Ian Richardson, Michael Jayston, Bernard Hepton, Anthony Bate, Ian Bannen, George Sewell and Michael Aldridge, was shown in the United Kingdom from 10 September to 22 October 1979, and in the United States beginning on 29 September 1980. The US version was re-edited from the original seven episodes to fit into six episodes.

The series, which received widespread acclaim, was followed by Smiley's People in 1982.

Tinker Tailor Soldier Spy
Tinker Tailor Soldier Spy is a 1974 spy novel by the author and former secret intelligence officer John le Carré. It follows the endeavours of the taciturn, ageing spymaster George Smiley to uncover a Soviet mole in the British Secret Intelligence Service. The novel has received critical acclaim for its complex social commentary—and, at the time, relevance, following the defection of Kim Philby. It was followed by The Honourable Schoolboy in 1977 and Smiley's People in 1979. The three novels together make up the "Karla Trilogy", named after Smiley's long-time nemesis Karla, the head of Soviet foreign intelligence and the trilogy's overarching antagonist.

The novel has been adapted into both a television series and a film, and remains a staple of the spy fiction genre. In 2022, the novel was included on the "Big Jubilee Read" list of 70 books by Commonwealth authors, selected to celebrate the Platinum Jubilee of Elizabeth II.
Thomas W. Bucci
Thomas William Bucci (born April 17, 1948) is an American lawyer and former mayor of Bridgeport, Connecticut. A member of the Democratic Party, Bucci ran in 1985 and defeated incumbent mayor Leonard S. Paoletta flipping Bridgeport's leadership from Republican to Democratic. Bucci served two terms in office until he was defeated and succeeded by Mary C. Moran thus returning Bridgeport back to Republican leadership.

Bucci is also known for successfully arguing the civil rights case Connecticut v. Teal in front of the Supreme Court of the United States.

Leonard S. Paoletta
Leonard S. "Lenny" Paoletta (born November 9, 1934) is an American lawyer and former mayor of Bridgeport, Connecticut from 1981 to 1985. He was a Republican. Earlier in his career, he served in the Connecticut House of Representatives in the 1970s.
Trigonidiinae
Trigonidiinae is a subfamily of insects in the order Orthoptera, suborder Ensifera, based on the type genus Trigonidium. They are often referred to as sword-tail crickets, winged bush crickets or trigs.

Trigonidium (cricket)
Trigonidium is a large genus of sword-tail crickets, typical of the tribe Trigonidiini. Records of occurrence are from Europe, Africa, tropical Asia, Australia and the Pacific islands; many species endemic to Pacific islands including Hawaii have now been placed in the genus Nudilla.
Keo Sokngon
Keo Sokngon (born 30 April 1988) is a retired Cambodian footballer who is currently serving as team manager of Phnom Penh Crown in the Cambodian League. He played as a striker or midfielder for his club and the Cambodia national football team. His younger brother, Keo Sokpheng, is also a footballer.

Keo Sokpheng
Keo Sokpheng (Khmer: កែវ សុខផេង; born on 3 March 1992) is a former Cambodian footballer who last played for Visakha. He was born in Kratié in Cambodia. He plays for Visakha in the Cambodian Premier League and the Cambodia national football team. He plays mainly as a forward or a winger. He is Keo Sokngon's younger brother who is a retired footballer.
Ng Soo Hin murders
Ng Soo Hin (黄树兴 Huáng Shùxīng), a 19-year-old Singaporean carpenter, was charged in March 1990 with the murders of two women Ng Lee Kheng (黄丽卿 Huáng Lìqīng) and Foo Chin Chin (符真真 Fǔ Zhēnzhēn), and both victims were each other's best friends, while Foo was Ng's girlfriend. At two different locations, both women were found dead on that same night of 24 March 1990, with the first victim Ng being discovered dead due to a fall from one of the HDB flats at Circuit Road, while the second victim Foo was found dead with 14 stab wounds at East Coast Park. While the killings themselves stirred the whole nation, the killer Ng, who eventually stood trial for solely Foo's murder (the second murder charge was stood down), tried to raise a defence of diminished responsibility to rebut the murder charge against him, but after he was found to be mentally sound at the time of the two murders, the trial court found Ng Soo Hin guilty and sentenced him to death.

Capital punishment in Singapore
Executions in Singapore are carried out by long drop hanging, and usually take place at dawn. Thirty-three offences—including murder, drug trafficking, terrorism, use of firearms and kidnapping—warrant the death penalty under Singaporean law.

In 2012, Singapore amended its laws to exempt some offences from the mandatory death sentence. In a 2005 survey by The Straits Times, 95% of Singaporeans were of the view that their country should retain the death penalty. The support steadily fell throughout the years due to the increasing liberal opinions of society. Despite the decline, a large majority of the public remains supportive of the use of the death penalty, with more than 80% of Singaporeans believing that their country should retain the death penalty in 2021.

The most recent execution conducted in Singapore took place on 13 February 2026, when a 62-year-old Singaporean was hanged for trafficking not less than 29.06g of diamorphine in his possession.
Crown's Artillery Regiment
The Crown Artillery Regiment (Danish: Kronens Artilleriregiment) was an artillery regiment of the Royal Danish Army. On 1 August 1982 it was merged with the Zealand Artillery Regiment to form the King's Artillery Regiment.

Zealand Artillery Regiment
The Zealand Artillery Regiment (Danish: Sjællandske Artilleriregiment) was an artillery regiment of the Royal Danish Army. On 1 August 1982 it was merged with Kronens Artilleriregiment to form Kongens Artilleriregiment.
Danish West Indies
The Danish West Indies (Danish: Dansk Vestindien), also known as the Danish Virgin Islands (Danish: Danske Jomfruøer) or the Danish Antilles, were a Danish colony in the Caribbean, consisting of the islands of Saint Thomas with 83 square kilometres (32 sq mi), Saint John (Danish: St. Jan) with 49 square kilometres (19 sq mi), Saint Croix with 220 square kilometres (85 sq mi), and Water Island.

Water Island was sold in 1905 to the Danish East Asiatic Company. The islands of St Thomas, St John, and St Croix were purchased by the United States in 1917 and became known as the United States Virgin Islands. Water Island was bought by the US Government in 1944, and became part of the US Virgin Islands in 1996.

Saint Croix
Saint Croix (/krɔɪ/ KROY; Spanish: Santa Cruz; Dutch: Sint-Kruis; French: Sainte-Croix; Danish and Norwegian: Sankt Croix; Taino: Ay Ay) is an island in the Caribbean, and a county and constituent district of the United States Virgin Islands (USVI), an unincorporated territory of the United States.

St. Croix is the largest of the territory's islands. As of the 2020 U.S. census, its population was 41,004. The island's highest point is Mount Eagle, at 355 meters (1,165 ft). St. Croix's nickname is "Twin City", for its two towns, Frederiksted on the western end and Christiansted on the northeast part of the island.
Soyombo symbol
The Soyombo symbol is a special character in the Soyombo script created by the Mongolian Buddhist monk Zanabazar in 1686. The name "Soyombo" is derived from Sanskrit svayambhu 'self-born'. The Soyombo symbol serves both as a traditional symbol of Mongolia, Buryatia and Kalmykia, and as a national symbol of Mongolia, to be found on the flag and emblem of Mongolia, as well as on many other official documents.

In the Soyombo alphabet, the two variations of the Soyombo symbol are used to mark the start and end of a text. It is thought to be possible that the symbol itself may predate the script.

Emblem of Mongolia
The national emblem of Mongolia is used by the government of Mongolia as one of its three state symbols—the others being the flag and anthem. It is officially used for example on documents such as Mongolian passports, and government and embassy placards.
Estádio Municipal Adérito Sena
Estádio Municipal Adérito Sena is a multi-use stadium in Mindelo, Cape Verde.  It is currently used mostly for football matches and is the home stadium of FC Derby as well as CS Mindelense, Académica, GD Amarantes and Batuque FC and the lesser club of Corinthians São Vicente.  The stadium holds 5,000 people and area is 105x68 m and its ground is artificial grass.  The stadium is owned by the municipality of São Vicente and is operated by the São Vicente Regional Football Association (ARFSV).  It is a certified stadium by FIFA for international competition as well as friendly matches

It also has the island's only athletic field where it is slightly narrow and dirt.

FC Derby
Futebol Clube Derby (short form: FC Derby, second name: Derby São Vicente) is a football club that had played in the Premier division and the São Vicente Island League in Cape Verde and is Cape Verde's only affiliate of FC Porto and the oldest affiliate in the whole of Africa. It is based in the city of Mindelo on the island of São Vicente.  It is the second team of the regional league who won the most titles after independence especially in the 1960s and the 1970s. Its current president is Carlos Alberto Lopes and its coach is Yoya who became in May 2017. The club name is the Dragons or Dragões, the same as Porto's slogan. Since 30 April 2017, they are one of three unrelegated clubs in the island along with Batuque and Mindelense.

Derby is one of the most successful football (soccer) club in Cape Verde, having won about 22 official titles, 3 are national titles and 19 are regional titles.
Linear temporal logic to Büchi automaton
In formal verification (a methodology from computer science), finite state model checking needs to find a Büchi automaton (BA) equivalent to a given linear temporal logic (LTL) formula, i.e., such that the LTL formula and the BA recognize the same ω-language. There are algorithms that translate an LTL formula to a BA. This transformation is normally done in two steps. The first step produces a generalized Büchi automaton (GBA) from a LTL formula. The second step translates this GBA into a BA, which involves a relatively easy construction. Since LTL is strictly less expressive than BA, the reverse construction is not always possible.

The algorithms for transforming LTL to GBA differ in their construction strategies but they  all have a common underlying principle, i.e., each state in the constructed automaton represents a set of LTL formulas that are expected to be satisfied by the remaining input word after occurrence of the state during a run.

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.
Sandra Bolden Cunningham
Sandra Bolden Cunningham (born September 4, 1950) is an American Democratic Party politician, who served in the New Jersey State Senate from 2007 to 2024, where she represented the 31st Legislative District. She was sworn into office on November 8, 2007. She is the widow of former Jersey City Mayor Glenn Cunningham, who died in 2004.

Glenn Cunningham (New Jersey politician)
Glenn Dale Cunningham (September 16, 1943 – May 25, 2004) was an American Democratic Party politician, who was the first African American Mayor of Jersey City, the state's second-largest city, winning the 2001 Jersey City mayoral election. Cunningham also served in the New Jersey Senate.

After Cunningham's death, L. Harvey Smith became the acting mayor of Jersey City. In a November 2004 special election, Judge Jerramiah T. Healy was elected to complete the remainder of Cunningham's term. Joseph Doria was selected to fill Cunningham's Senate vacancy on an interim basis, and won a special election to fill the balance of the term.
Louise Bennett-Coverley
Louise Simone Bennett-Coverley or Miss Lou OM, OJ, MBE (7 September 1919 – 26 July 2006), was a Jamaican poet, folklorist, actress, writer, and educator. Writing and performing her poems in Jamaican Patois or Creole, Bennett worked to preserve the practice of presenting poetry, folk songs and stories in patois ("nation language"), establishing the validity of local languages for literary expression.

Order of Merit (Jamaica)
The Order of Merit is part of the Jamaican honours system, and it is the fourth-highest honour awarded by the nation of Jamaica. The Order of Merit is conferred upon Jamaicans or distinguished citizens of other countries who have achieved distinction in the field of science, the arts, literature or any other endeavour. The award can be held by no more than 15 living persons. It is not given to more than two people in any one year.

Members and Honorary Members of the order are entitled to wear the insignia of the order as a decoration and to be styled "The Honourable". In addition, they can append the post-nominal letters OM to their names, or OM (Hon.) in the case of Honorary Members. The order's motto is "He that does the truth comes into the light."

The Order of Merit was originally one that was awarded to foreign heads of state, but this function was taken over by the Order of Excellence in 2003.