hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Curry–Howard correspondence
In programming language theory and proof theory, the Curry–Howard correspondence is a direct relationship between computer programs and mathematical proofs. It is also known as the Curry–Howard isomorphism or equivalence, or the proofs-as-programs and propositions- or formulae-as-types interpretation.

It is a generalization of a syntactic analogy between systems of formal logic and computational calculi that was first discovered by the American mathematician Haskell Curry and the logician William Alvin Howard. It is the link between logic and computation that is usually attributed to Curry and Howard, although the idea is related to the operational interpretation of intuitionistic logic given in various formulations by L. E. J. Brouwer, Arend Heyting and Andrey Kolmogorov (see Brouwer–Heyting–Kolmogorov interpretation) and Stephen Kleene (see Realizability). The relationship has been extended to include category theory as the three-way Curry–Howard–Lambek correspondence.

Combinatory logic
Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell Curry, and has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators, which were introduced by Schönfinkel in 1920 with the idea of providing an analogous way to build up functions—and to remove any mention of variables—particularly in predicate logic.  A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments.
Nanny McPhee
Nanny McPhee is a 2005 comedy drama fantasy film directed by Kirk Jones, based on the Nurse Matilda character by Christianna Brand. Set in Victorian England in the 1860s, it stars Emma Thompson (who wrote the screenplay) as Nanny McPhee, along with Colin Firth, Kelly Macdonald, Derek Jacobi, Celia Imrie, Patrick Barlow, Imelda Staunton, Thomas Sangster and Angela Lansbury.

It was co-produced by StudioCanal, Metro-Goldwyn-Mayer Pictures, Working Title Films, Three Strange Angels, and Nanny McPhee Productions with music by Patrick Doyle, and produced by Lindsay Doran, Tim Bevan and Eric Fellner.

It was released theatrically on 21 October 2005 in the UK by United International Pictures and on 27 January 2006 in the US by Universal Pictures. Thompson also scripted the film, which is adapted from Christianna Brand's Nurse Matilda books. The filming location was Penn House Estate in Buckinghamshire. A sequel, Nanny McPhee and the Big Bang, was released in 2010.

Lindsay Doran
Lindsay Doran (born 22 June 1948) is an American film producer and studio executive who has worked on such films as This Is Spinal Tap, Ferris Bueller's Day Off, Sense and Sensibility, Stranger Than Fiction, and Nanny McPhee.
Julian Priester
Julian Priester (born June 29, 1935) is an American jazz trombonist and occasional euphoniumist. He is sometimes credited as "Julian Priester Pepo Mtoto". He has played with Sun Ra, Max Roach, Duke Ellington, John Coltrane, and Herbie Hancock.

Sam Rivers (jazz musician)
Samuel Carthorne Rivers (September 25, 1923 – December 26, 2011) was an American jazz musician and composer. Though most famously a tenor saxophonist, he also performed on soprano saxophone, bass clarinet, flute, harmonica, piano and viola.

Active in jazz since the early 1950s, he earned wider attention during the mid-1960s spread of free jazz. With a thorough command of music theory, orchestration and composition, Rivers was an influential and prominent artist in jazz music.
Shenina Cinnamon
Shenina Syawalita Cinnamon (born 1 February 1999) is an Indonesian actress. She made her lead role debut in Photocopier, which also led her being nominated for the Citra Award for Best Actress at the 2021 Indonesian Film Festival.

Photocopier (film)
Photocopier (Indonesian: Penyalin Cahaya) is a 2021 Indonesian crime mystery drama film, co-written and directed by Wregas Bhanuteja in his feature-length directorial debut.

The film had its world premiere at the 26th Busan International Film Festival in October 2021, in the New Currents competition. The film won a total of twelve Citra Awards out of seventeen nominations, including the awards for Best Picture and Best Director. It won the most Citra Awards by a single film.
Jean-Yves Ferri
Jean-Yves Ferri (French: [fɛʁi]) (born 20 April 1959) is a French writer, designer, and colourist of comics.

On 25 July 2011, he was chosen as the writer for the next installment of the Asterix series created by René Goscinny and Albert Uderzo. Uderzo personally mentored him and Didier Conrad, who was subsequently announced as the artist. The 35th Asterix volume, Asterix and the Picts, was published on 24 October 2013. The next volume, the 36th Asterix volume, Asterix and the Missing Scroll, was released on 22 October 2015 and the 37th volume, Asterix and the Chariot Race, was released in 2017, followed by Asterix and the Chieftain's Daughter in 2019 and Asterix and the Griffin in 2021. Ferri was replaced by Fabrice Caro as writer starting with the 2023 volume, Asterix and the White Iris.

Asterix and the Chieftain's Daughter
Asterix and the Chieftain's Daughter (French: La Fille de Vercingétorix, "The Daughter of Vercingetorix") is the 38th book in the Asterix series, and the fourth to be written by Jean-Yves Ferri and illustrated by Didier Conrad. The book was released worldwide in more than 20 languages on 24 October 2019 with an initial print run of over 5 million copies.

It was the last Asterix book to be released during the lifetime of the series' co-creator Albert Uderzo, who died on 24 March 2020.
Pennsylvania Route 642
Pennsylvania Route 642 (PA 642) is a 21.4-mile-long (34.4 km) state highway located in Union, Northumberland, Montour, and Columbia counties in Pennsylvania.  The western terminus is at the intersection of Third Street and Broad Street in West Milton near an interchange with U.S. Route 15 (US 15).  The eastern terminus is at PA 254 and PA 44 in Jerseytown.

Pennsylvania Route 254
Pennsylvania Route 254 (PA 254) is a 30-mile-long (48 km) state highway located in Northumberland, Montour, and Columbia counties in Pennsylvania.  The western terminus is at PA 405 in Milton.  The eastern terminus is at PA 487 near Benton.
Walls del Arrabal
The Walls del Arrabal (walls of the suburb) were the third in a set of five walls built around Madrid, now the capital of Spain. There are no remaining ruins of the Walls del Arrabal, leaving some debate as to their extent and the period of their construction. It is possible that the walls were built as early as the 12th century, however they were most likely constructed in 1438. The walls may have been intended to protect people against the plagues that ravaged the city at the time. The walls united the urbanized suburbs of the city and prevented entry of the infected.

The Walls del Arrabal were an expansion of the Christian Walls of Madrid built between the 11th and 12th centuries. They were followed by the Walls of Philip II, c. 1566.

Walls of Philip II
The Walls of Philip II (Spanish: cerca de Felipe II) were walls in the city of Madrid that Philip II, in 1566, constructed for fiscal and sanitary control. The walls enclosed an area of about 125 ha (310 acres).
2012 FIRA-AER Women's Sevens – Division A
The 2012 FIRA-AER Women's Sevens – Division A was a European pre-qualifying tournament for the 2013 Rugby World Cup Sevens. In similar fashion to the 2008 competition, Division B was cancelled and all the teams were promoted to Division A for 2012. Teams were divided into two groups with both tournaments played on the same dates in Bulgaria and Belgium. Unlike 2008, only the top two teams in both Groups were promoted to the Grand Prix Series for the final qualification phase.

Wales, Croatia, Ireland and Scotland were the four teams to advance to the Grand Prix Series for the final qualifying tournament.

2012 FIRA-AER Women's Sevens Grand Prix Series
The 2012 FIRA-AER Women's Sevens Grand Prix Series was the tenth edition of the European Women's Sevens Championship. The first round was played in the Netherlands and the final round was held in Moscow which was also a qualifying tournament for the 2013 Rugby World Cup Sevens.

England won the Grand Prix Series title and also qualified for the Sevens World Cup in Moscow the next year, along with Spain, France, Netherlands and Ireland. Russia automatically qualified as hosts.
Hivra River
The Hivra River (Marathi: हिवरा नदी) is a notable river crossing the town by Wadi, Banoti, Khadakdeola and Pachora in the Indian state of Maharashtra. The river originates from the Ghatnandra Hills, and flows a total of nearly 57 kilometres (35 mi).

Hivra River originates from Ghatnandra Hills in Maharashtra state in India and flows through Aurangabad and 
Jalgaon district. The Hivra River passes by Wadi, Banoti, Varthan, Ghorkund, Mhashikotha, Khadakdeola, Sarola, and Pachora.

Khadakdeola
Khadakdeola or Khadakdeole is a village situated on the banks of a Hivra River of the Pachora Tehsil in Jalgaon district, Maharashtra, India. It is 6 km from Pachora Tehsil and 55 kilometres from Jalgaon city and is located within the productive, irrigated agricultural region of Khandesh. It lies on the border of Jalgaon and Aurangabad districts.
Thomas Myres
Thomas Harrison Myres FRIBA (1842 – 3 December 1926) was an English railway architect who designed stations and ancillary buildings for the London, Brighton & South Coast Railway lines that were opened between 1880 and 1883, including several on what is now the Bluebell Railway. He was the son-in-law of the railway company's chief engineer, Frederick Banister. Although most of the lines for which Myres designed the buildings have been closed, many of his buildings survive as private residences. Several of the buildings designed by him are listed buildings, including the goods shed at Singleton in West Sussex which was declared Grade II in April 2013.

Singleton railway station (West Sussex)
Singleton railway station served the village of Singleton in West Sussex, England. The station was on the former line between Chichester and Midhurst, a branch of the Midhurst Railways. It opened on 11 July 1881, and closed to passengers with the line on 7 July 1935.
The Dramatics
The Dramatics are an American soul music vocal group, formed in Detroit, Michigan, in 1964. They are best known for their 1970s hit songs "In the Rain" and "Whatcha See Is Whatcha Get", both of which were Top 10 Pop hits, as well as their later 1993 collaboration "Doggy Dogg World" with Snoop Dogg, a top 20 hit on the Billboard Rhythmic Top 40.

Whatcha See Is Whatcha Get (song)
"Whatcha See Is Whatcha Get" is a 1971 single written and produced by Tony Hester and performed by The Dramatics.  The rhythm charts, strings and horns were arranged by Johnny Allen.  The tracks were recorded at United Sound Recording Studio in Detroit, Michigan.
Cullen, Saskatchewan
Cullen is a former hamlet in the Rural Municipality of Benson No. 35, Saskatchewan, Canada.

Cullen and the nearby community of Bryant were named after Quaker poet, journalist, and editor William Cullen Bryant.

Rural Municipality of Benson No. 35
The Rural Municipality of Benson No. 35 (2016 population: 472) is a rural municipality (RM) in the Canadian province of Saskatchewan within Census Division No. 1 and SARM Division No. 1. It is located in the southeast portion of the province.
Roma Street railway station
Roma Street railway station is a commuter and long-distance passenger train station located in the central business district of Brisbane, Queensland, Australia. It is the junction station for the North Coast, Main, Gold Coast and NSW North Coast lines. The station is one of four inner city stations that form a core corridor through the centre of Brisbane.

Although not easily visible to the public, the original 1873 Roma Street railway station building still exists within the modern complex and is listed on the Queensland Heritage Register.

1873 Roma Street railway station building
The 1873 Roma Street railway station building is a heritage-listed railway station building at Roma Street railway station, 159 Roma Street, Brisbane central business district, City of Brisbane, Queensland, Australia. It was designed by Francis Drummond Greville Stanley and built from 1873 to 1875 by John Petrie. It is also known as Brisbane Passenger Station, Brisbane Terminal Station, and Brisbane Terminus. It was added to the Queensland Heritage Register on 24 March 2000.
Raiders of the Desert
Raiders of the Desert is a 1941 American comedy adventure film directed by John Rawlins and starring Andy Devine, Richard Arlen and Linda Hayes. The film was produced and distributed by Universal Pictures. It featured early appearance by Turhan Bey and Maria Montez. It was the first time she made a film set in the Orient.

Turhan Bey
Turhan Bey (born Turhan Gilbert Selahattin Şahultavi, 30 March 1922 – 30 September 2012) was an Austrian-born actor of Turkish and Czech-Jewish origins. Active in Hollywood from 1941 to 1953, he was dubbed "The Turkish Delight" by his fans. After his return to Austria, he pursued careers as a photographer and stage director. Returning to Hollywood after a 40-year hiatus, he made several guest appearances in 1990s television series including SeaQuest DSV, Murder, She Wrote and Babylon 5 as well as a number of films. After retiring, he appeared in a number of documentaries, including a German-language documentary on his life.
What Makes a Family
What Makes a Family is a 2001 American drama television film directed by Maggie Greenwald, written by Robert L. Freedman, and starring Brooke Shields, Cherry Jones, Anne Meara, Al Waxman, and Whoopi Goldberg. The film premiered on Lifetime on January 22, 2001.

Maggie Greenwald
Maggie Greenwald is an American filmmaker.

Most recognized as an independent writer and director, Greenwald’s most notable films include Sophie and the Rising Sun (2016), starring an ensemble cast that included Margo Martindale, Julianne Nicholson, Lorraine Toussaint and Diane Ladd, Songcatcher (2000) starring Aidan Quinn and Janet McTeer and introducing Emmy Rossum, and The Ballad of Little Jo (1993), starring Suzy Amis and Ian McKellen. She also directed an adaptation of Jim Thompson's The Kill-Off featuring an ensemble cast that included Cathy Haase and the film debut of Jorja Fox.
Maryland Route 90
Maryland Route 90 (MD 90) is a state highway in the U.S. state of Maryland.  Known as the Ocean City Expressway, the state highway runs 11.83 miles (19.04 km) from U.S. Route 50 (US 50) near Whaleyville east to MD 528 in Ocean City in Worcester County.  MD 90 is a two-lane expressway that provides one of the main access routes to Ocean City, especially the northern part of the resort town, and thus sees heavy seasonal traffic.  The highway was constructed from Ocean City starting in 1970.  The state highway was opened west to MD 589 in 1972 and to US 113 in 1975.  MD 90 was completed west to US 50 in 1976.

Maryland Route 589
Maryland Route 589 (MD 589) is a state highway in the U.S. state of Maryland.  Known as Racetrack Road, the state highway runs 4.65 miles (7.48 km) from U.S. Route 50 (US 50) at Grays Corner north to US 113 and MD 575 in Showell.  MD 589 provides access to the planned community of Ocean Pines and  Ocean Downs, a harness racing venue with a casino.  The first portion of the state highway was constructed through Showell in 1935.  MD 589 was completed to US 50 in 1949 and 1950.
Yvonne Adhiambo Owuor
Yvonne Adhiambo Owuor (born 1968) is a Kenyan writer who is the author of novels, short stories and essays. She won the 2003 Caine Prize for African Writing for her story "Weight of Whispers". Yvonne is also the co-founder of The Macondo Literary Festival ,a non-profit organization that seeks to organize regular literary festivals that promote literature and authors of Africa and from the Global.

Binyavanga Wainaina
Kenneth Binyavanga Wainaina (18 January 1971 – 21 May 2019) was a Kenyan author, journalist and 2002 winner of the Caine Prize for African Writing. In 2003, he became the founding editor of Kwani? literary magazine, launched in Kenya, East Africa. In April 2014, Time magazine included Wainaina in its annual Time 100 as one of the "Most Influential People in the World".
Mike Kingery
Michael Scott Kingery (born March 29, 1961) is an American former professional baseball player who played in the Major Leagues, primarily as an outfielder, from 1986–1992 and 1994–1996.

As a rookie with the Kansas City Royals, Kingery began his career with a nine-game hitting streak, but only hit .230 the rest of the season; he was traded along with Scott Bankhead and Steve Shields in the Danny Tartabull trade.

Kingery's career high for home runs in a season was 9, set in 1987 while playing limited time with the Seattle Mariners. Kingery finished his career with the Pittsburgh Pirates in 1996. He currently lives in Willmar, Minnesota and was a standout athlete and graduate of Atwater High School in Atwater, Minnesota.

Scott Bankhead
Michael Scott Bankhead (born July 31, 1963) is an American former professional baseball pitcher who played in Major League Baseball (MLB) from 1986-1995. Bankhead also pitched for Team USA in the 1984 Olympic Games. He attended the University of North Carolina.
Say Yes to the Dress: Atlanta
Say Yes to the Dress: Atlanta is an American reality television series on TLC which follows events at Bridals by Lori in the Atlanta suburb of Sandy Springs. The series shows the progress of individual sales associates, managers, and fitters at the store, along with profiling brides as they search for the perfect wedding dress. It is a spin-off of Say Yes to the Dress.

Say Yes to the Dress
Say Yes to the Dress is an American reality television series on TLC which follows events at Kleinfeld Bridal in Manhattan. The series shows the progress of individual sales associates, managers, and fitters at the store, along with profiling brides as they search for the perfect wedding dress.  Common themes include overwhelming advice of friends and family, the ability of the "perfect dress" to help a bride overcome personal difficulty, struggle with weight and body image concerns, and the challenge of staying in budget, especially in the case of dresses by Kleinfeld's exclusive designer, Pnina Tornai.  Dresses sold on the show range from $1,300 to $40,000.
I'm Rose, Darling
I'm Rose, Darling (Burmese: ကျွန်မက နှင်းဆီပါ မောင်) is a 2015 Burmese drama film directed by Wyne and starring Nay Toe and Phway Phway. It is one of the films that reached the highest-grossing film in Myanmar. This film was achieved Best Actress and Best Director Awards at Myanmar Motion Picture Academy Awards.

Myanmar Motion Picture Academy Awards
The Myanmar Motion Picture Academy Awards are presented annually to honour both artistic and technical excellence of professionals in the Burmese Film Industry of Myanmar. The awards ceremony has been held annually since 1952. Each winner is presented with a golden statue and in recent years also a cash prize.
Henry Paulet, 16th Marquess of Winchester
Henry William Montagu Paulet, 16th Marquess of Winchester (30 October 1862 – 28 June 1962), known as Lord Henry Paulet until 1899, was an English peer, landowner, soldier, sportsman, politician and businessman. He was known

After a youth spent largely in travelling and hunting, he became Lord Lieutenant of Hampshire and Chairman of Hampshire County Council, then served in the Hampshire Regiment and the Rifle Brigade during the First World War. In the 1920s he was associated in business with Clarence Hatry, which led to his bankruptcy in 1930. When he died in Monte Carlo at the age of 99 he was the oldest-ever member of the House of Lords.

Hampshire County Council
Hampshire County Council (HCC) is the upper-tier local authority for the non-metropolitan county of Hampshire in England. The council was created in 1889. The county council provides county-level services to eleven of the thirteen districts geographically located within the ceremonial county of Hampshire. The county council acts as the upper tier of local government to approximately 1.4 million people. It is one of 21 county councils in England.

Whilst they form part of the ceremonial county of Hampshire, the two cities of Southampton and Portsmouth are unitary authorities, independent from Hampshire County Council. The county council comprises 78 elected councillors, who meet in the city of Winchester, which is the county town.

Since 1997, the council has been controlled by the Conservatives.
KSR Bangalore–Gandhidham Express
The 16505 / 16506 Gandhidham–KSR Bengaluru Express is an Express train belonging to South Western Railway zone that runs between Gandhidham Junction and KSR Bengaluru in India. It is currently being operated with 16505/16506 train numbers on a weekly basis.

KSR Bangalore–Jodhpur Express (via Davangere)
The 16507 / 16508 Jodhpur–KSR Bengaluru Express is an Express train belonging to Indian Railways South Western Railway zone that runs between Jodhpur Junction and KSR Bengaluru in India.

It operates as train number 16507 from Jodhpur Junction to KSR Bengaluru and as train number 16508 in the reverse direction, serving the states of Rajasthan, Gujarat, Maharashtra and Karnataka.
Mark Clennon
Mark Anthony Clennon (born August 13, 1990), credited professionally as Mark Clennon or Clennon, is a Jamaican Canadian singer, musician, writer, producer, and actor.

Born in Kingston and raised in Jamaica, Canada, and the United States, Clennon released several projects as a musician before attracting acclaim for his debut acting performance in the feature film I Don't Know Who You Are, which premiered in the Discovery program at the 2023 Toronto International Film Festival. Clennon was nominated for a Canadian Screen Award for his work on the film's title track in 2025.

The music video for Clennon's 2022 song "Kingston" became the first music video shot in Jamaica to feature an on-screen romance between two men.

I Don't Know Who You Are
I Don't Know Who You Are is a 2023 Canadian drama film, written, directed, and edited by Houston Bone. Bone's full-length directorial debut, the film stars Mark Clennon as Benjamin, a gay working class musician who is urgently trying to find $1,000 to pay for post-exposure prophylaxis (PEP) to protect himself from HIV after he is sexually assaulted by a stranger.

The film premiered in the Discovery program at the 2023 Toronto International Film Festival, before being picked up for theatrical distribution in 2024.
Magenta station
Magenta station is a station of the Île-de-France Réseau Express Régional (RER), in the 10th arrondissement of Paris, France. Built on the site of the Gare du Nord, the original name of Magenta station was Nord-Est with the possibility of a connection to both Paris-Nord and Paris-Est.

Haussmann–Saint-Lazare station
Haussmann–Saint-Lazare (French pronunciation: [osman sɛ̃lazaʁ]) is a railway station of the Réseau Express Régional (RER) on the Rive Droite in Paris, France. Opened on 14 July 1999 as the provisional western terminus of the new Line E, it is situated beneath Boulevard Haussmann and directly connected to the Gare Saint-Lazare, Auber, as well as a number of Métro stations: Saint-Lazare, Havre–Caumartin, Opéra and Saint-Augustin.