hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Willard Wheatley
Willard Wheatley MBE (16 July 1915 – 22 January 1997) was a British Virgin Islands educator and politician who served two consecutive terms as the Chief Minister of the British Virgin Islands from 1971 to 1979. He was the second ever Chief Minister of the Territory, and the first ever minister of finance. He served as Chief Minister at the head of two different coalition governments: one as de facto leader of the United Party, and the other the VI Democratic Party.

At an event to commemorate what would have been the 100th birthday of Wheatley, then Premier Orlando Smith made a commitment to provide public funds to memorialise his achievements and for a book about his life to be published.

His grandson Natalio Wheatley became Premier of the British Virgin Islands in May 2022.

Premier of the Virgin Islands
The Premier of the Virgin Islands is the head of government for the British Virgin Islands. As a British Overseas Territory, the Premier is appointed by the Governor on behalf of the British monarch, currently King Charles III. Until 2007, the head of government was known as the Chief Minister of the Virgin Islands, but a constitutional change in 2007 renamed the position as Premier.

The current Premier is Natalio Wheatley. He is serving since 5 May 2022.
RecycleUnits
In mathematical logic, proof compression by RecycleUnits is a method for compressing propositional logic resolution proofs.
Its main idea is to make use of intermediate (e.g. non input) proof results being unit clauses, i.e. clauses containing only one literal. Certain proof nodes can be replaced with the nodes representing these unit clauses.
After this operation the obtained graph is transformed into a valid proof.
The output proof is shorter than the original while being equivalent or stronger.

Proof compression
In proof theory, an area of mathematical logic, proof compression is the problem of algorithmically compressing formal proofs. The developed algorithms can be used to improve the proofs generated by automated theorem proving tools such as SAT solvers, SMT-solvers, first-order theorem provers and proof assistants.
Ch'uxña Quta (Charasani)
Ch'uxña Quta (Aymara ch'uxña green, "green lake", hispanicized spelling Chojña Kkota) is a lake on the west side of the Apolobamba mountain range of Bolivia situated in the La Paz Department, Bautista Saavedra Province, Charasani Municipality, Charasani Canton. It is situated east of Such'i River, southeast of the larger lake Janq'u Qala and west of Qachu Quta (Llachu Quta).

Bautista Saavedra Province
Bautista Saavedra is one of the twenty provinces of the Bolivian La Paz Department  situated in the northwestern parts of the department. It was created on November 17, 1948 in honor of Bautista Saavedra Mallea (1870-1939) who was Bolivia's president from 1920 to 1925. The capital of the province is Charazani.

The region is famous for the Kallawaya culture with its traditional medicine practices which was declared a Masterpiece of the Oral and Intangible Patrimony of the Humanity by the UNESCO on November 7, 2003.
GRB 070125
GRB 070125 is a gamma-ray burst (GRB) that was observed on January 25, 2007, by the InterPlanetary Network, which lasted for around 70 seconds. It is unique in that it did not occur in a galaxy, but in intergalactic space. This is unusual, since they are caused by the hypernovae of young massive stars, which usually means having to reside in a galaxy, as almost all stars are formed in galaxies, particularly high mass ones. It has a redshift of 1.55, which equals to a light travel distance of 9.5 billion years.

It is theorized that the star formed in the tidal tail resulting from the interaction of two nearby galaxies, deep in intergalactic space.

A month after it was detected, the Large Binocular Telescope observed a 26th magnitude optical afterglow from the gamma ray burst.

Large Binocular Telescope
The Large Binocular Telescope (LBT) is an optical telescope for astronomy located on 10,700-foot (3,300 m) Mount Graham, in the Pinaleno Mountains of southeastern Arizona, United States. It is a part of the Mount Graham International Observatory.

When using both 8.4 m (330 inch) wide mirrors, with centres 14.4 m apart, the LBT has the same light-gathering ability as an 11.8 m (464 inch) wide single circular telescope and the resolution of a 22.8 m (897 inch) wide one.

The LBT mirrors individually are the joint second-largest optical telescope in continental North America, next to the Hobby–Eberly Telescope in West Texas. It has the largest monolithic, or non-segmented, mirror in an optical telescope.

Strehl ratios of 60–90% in the infrared H band and 95% in the infrared M band have been achieved by the LBT.
Dale, Wisconsin
Dale is a town in Outagamie County, Wisconsin, United States, established on November 17, 1853. The population was 2,731 at the 2010 census. The census-designated place of Dale and the unincorporated community of Medina are located in the town.

Medina, Outagamie County, Wisconsin
Medina, originally Young's Corner, is an unincorporated community in the Town of Dale in southwestern Outagamie County, Wisconsin, United States. It is located 3.5 miles (5.6 km) south of the village of Hortonville, 11 miles (18 km) west of Appleton, and 20 miles (32 km) northwest of Oshkosh.

Medina contains a playground/park area, named "Armitage Park". Postal service is provided by the Hortonville post office, ZIP code 54944.
Ski lift
A ski lift is a mechanism for transporting skiers up a hill. Ski lifts are typically a paid service at ski resorts. The first ski lift was built in 1908 by German Robert Winterhalder in Schollach/Eisenbach, Hochschwarzwald.

Snowcat
A snowcat (a portmanteau of snow and caterpillar) is an enclosed-cab, truck-sized, fully tracked vehicle designed to travel over snow. Major manufacturers are PistenBully (Germany), Prinoth (Italy), and Tucker (United States).
USS Cannon
USS Cannon (DE-99) was a destroyer escort launched on 25 May 1943 by the Dravo Corporation in Wilmington, Delaware and was sponsored by Mrs. E. H. Cannon. Cannon was commissioned on 26 September 1943 and reported to the United States Atlantic Fleet. The ship was named in honor of George H. Cannon, a Medal of Honor recipient.

George H. Cannon
First Lieutenant George Ham Cannon, USMC, (November 5, 1915 – December 7, 1941) was the first United States Marine in World War II to receive the nation's highest military award—the Medal of Honor.

He posthumously received the medal for "distinguished conduct in the line of his profession, extraordinary courage, and disregard of his own condition" during the bombardment of Midway Island by Japanese forces on December 7, 1941. He remained at his command post, despite being mortally wounded by enemy shell fire. He refused to be evacuated until his men who had been wounded by the same shell were evacuated, and he continued to direct the reorganization of his command post until forcibly removed. He refused medical attention until he was assured communications were restored to his command post. As a result of his utter disregard of his own condition, he later died from loss of blood.
Hannah Nielsen
Hannah Nielsen (born 28 November 1987 in Adelaide, Australia) is the current head coach of the University of Michigan women's lacrosse team. She was formerly the first women's lacrosse assistant coach at the University of Colorado. Originally from the Brighton Lacrosse Club in Adelaide (also the home club of Jen Adams), Nielsen played for the Northwestern University Wildcats, and won four national championships as a player.  She was a three-time All-American, and is a winner of both the Tewaaraton Trophy and Honda Sports Award in her junior and senior seasons. She holds NCAA records for career assists, assists in a season, and assists in single game.

Also a member of the Australia women's national lacrosse team, Nielsen was a member of the Australian U19 team (2003 & 2007) as well as the 2005 World Cup-winning senior team, and was selected as an All-Star player in each of the 2009, 2013, 2017 and 2022 World Cups.

2017 Women's Lacrosse World Cup
The 2017 FIL Women's Lacrosse World Cup, the tenth World Cup, is the preeminent international women's lacrosse tournament. The tournament is being held at the Surrey Sports Park in Guildford, Surrey, in the South East of England, with 25 nations competing. Rathbones Investment Management plc committed as the title sponsor for the event in 2014.
Purefoy-Chappell House and Outbuildings
Purefoy-Chappell House and Outbuildings is a historic home located at Wake Forest, Wake County, North Carolina.  The house consists of four major sections: a 1+1⁄2-story, side-gable, single-pile main block with rear shed wing built about 1838; a two-story, side-gable, single-pile addition built about 1895 with vernacular Greek Revival-stylistic influences; a two-room side-gable kitchen / dining building dating to about 1838 that was connected to the main block and the addition by a one-story hyphen containing a modern kitchen added in 1974.  Also on the property are the contributing smokehouse (c. 1838, c. 1900) and doctor's office (c. 1862).

It was listed on the National Register of Historic Places in 2008.

Wake Forest, North Carolina
Wake Forest is a town in Wake and Franklin counties in the U.S. state of North Carolina. Located almost entirely in Wake County, it lies just north of the state capital, Raleigh. At the 2020 census, the population was 47,601, up from 30,117 in 2010. It is part of the Raleigh metropolitan area. Wake Forest was the original home of Wake Forest University for 122 years before it moved to Winston-Salem in 1956.
2018 U.S. prison strike
The 2018 U.S. prison strike was a series of work stoppages and hunger strikes in prisons across the United States from August 21 to September 9, 2018. It was one of the largest prison strikes in US history. Striking workers demanded improved living conditions, an end to forced prison labor, and other prison reforms. The strike was conducted at least partly in response to the April 2018 prison riot at Lee Correctional Institution, which killed seven inmates and was the deadliest US prison riot of the past 25 years.

The start and end dates of the strike were chosen to coincide with the shooting of George Jackson during an escape attempt on August 21, 1971 and with the Attica Prison riot on September 9, 1971.

Strike participants and leaders were punished with solitary confinement, loss of communication privileges, and prison transfers. By 2019, none of the strikers' demands had been met.

Lee Correctional Institution
Lee Correctional Institution is the main high-security state prison for men located in Bishopville, South Carolina. On April 15, 2018, seven inmates were killed in the Lee Correctional Prison Riot. It was the deadliest U.S. prison riot in the past 25 years and the fifth deadliest in American history.
Hastings High School (Florida)
The Hastings High School is a historic public high school building in the St. Johns County School District. It is located at 6195 South Main Street in Hastings, Florida, in southwest St. Johns County, Florida. The building no longer operates as a school, and currently serves as a library.

Hastings, Florida
Hastings is an unincorporated census-designated place and agricultural center in St. Johns County, Florida, United States, 18 miles (29 km) southwest of St. Augustine. It was formerly an incorporated town, but it was dissolved in 2018 after a vote by residents. The population was 1,262 at the 2020 census, up from 580 at the 2010 census. It is part of the Jacksonville, Florida Metropolitan Statistical Area.
Anthony Neilson
Anthony Neilson (born 1967, Edinburgh) is a Scottish playwright and director. He is known for his collaborative way of writing and workshopping his plays. Much of his work is characterised by the exploration of sex and violence.

Neilson has been cited as a key figure of In-yer-face theatre, a term used to characterise new plays with a confrontational style and sensibility that emerged in British theatre during the 1990s. He has been credited with coining the phrase "in-your-face theatre" but has rejected the label and instead describes his work in this style as “'experiential' theatre”.

Experimenting with various other forms of theatre, Neilson is also recognised for creating non-naturalistic plays that utilise elements of absurdist and expressionist storytelling to depict the interior landscape of their characters. He has described such theatre as "psycho-absurdism".

Finborough Theatre
The Finborough Theatre  is a fifty-seat theatre in the West Brompton area of London (part of the Royal Borough of Kensington and Chelsea) under artistic director Neil McPherson. The theatre presents new British writing, as well as UK and world premieres of new plays primarily from the English speaking world including North America, Canada, Ireland, and Scotland including work in the Scots language, alongside rarely seen rediscovered 19th and 20th century plays. The venue also presents new and rediscovered music theatre.
Accessible toilet
Accessible toilets are toilets that have been specially designed to better accommodate people with physical disabilities. Persons with reduced mobility find them useful, as do those with weak legs, as a higher toilet bowl makes it easier for them to stand up. Additional measures that can be taken to add accessibility to a toilet include providing more space, adding grab bars to ease transfer to and from the toilet seat, and providing extra room for a caregiver if necessary. Some countries have requirements concerning the accessibility of public toilets. Toilets in private homes can be modified (retrofitted) to increase accessibility.

Disability Rights UK
Disability Rights UK (DR UK) is a UK pan-disability charity which was set up with the aim of representing the needs and expectations of disabled people in the UK. Disability Rights UK was formed as a result of several disability charities merging in 2012.
Strategic Air Command (film)
Strategic Air Command is a 1955 American military aviation war drama film starring James Stewart and June Allyson, directed by Anthony Mann, and released by Paramount Pictures. It was the first of four Hollywood films that depicted the role of the Strategic Air Command in the Cold War era.

Strategic Air Command was the second film released in Paramount's new widescreen format, VistaVision, in color by Technicolor and Perspecta pseudo-stereo sound. It would also be Stewart and Mann's eighth and final collaboration and the last of three films that paired Jimmy Stewart and June Allyson, the others being The Stratton Story and The Glenn Miller Story.

Frank Lovejoy
Frank Andrew Lovejoy Jr. (March 28, 1912 – October 2, 1962) was an American actor in radio, film, and television. He is perhaps best remembered for appearing in the film noir The Hitch-Hiker and for starring in the radio drama Night Beat.
Dekh Kemon Lage
Dekh Kemon Lage is a Bengali language romantic comedy film directed by Abhijit Guha and Sudeshna Roy. Produced by Greentouch Entertainment and Nideas Creationa and conceptualised by Prosenjit Chatterjee, the film features Soham Chakraborty and Subhashree Ganguly in lead roles. In addition, Avik Chongdar, Mir Afsar Ali, Sujan Neel Mukherjee, Roopsha Dasguupta Ray, Rupsha Chakraborty, Kharaj Mukherjee, Biswanath Basu, Laboni Sarkar, Kanchan Mullick and Payel Mukherjee appear in supporting roles.

Greentouch Entertainment
Greentouch Entertainment Pvt. Ltd. is an Indian media and entertainment company based in Kolkata, West Bengal. Started in 2012, Greentouch Entertainment is one of the prominent Bengali movie production houses in West Bengal.
Lavamünd
Lavamünd (Slovene: Labot) is a market town in the district of Wolfsberg in the Austrian state of Carinthia.

The Lavamünd hydroelectric power plant on the Drava River and the Koralpe power plant are located in or near Lavamünd.

Soboth Reservoir
Soboth reservoir (German: Stausee Soboth or Soboth See, Slovene: Jezero Sobote) is an artificial reservoir in Austria created in 1990 when an embankment dam on the Feistritz stream was created to power the Koralpe hydroelectric power plant. The artificial lake is located in the Koralpe mountain range, near the Soboth village, beside the road connecting Lavamünd and Graz, close to the Soboth Pass near the Slovenian-Austrian border. Its elevation is about 1080 m above sea level. Its natural drainage basin has an area of 29.7 km². The reservoir is around 2 km long and up to 500 m wide, has a surface area of 0.8 km2 and is up to 80 m deep. In summer, the lake is a popular place for swimming due to its clean water, cooler climate due to its high elevation, and natural surroundings consisting of spruce-covered hills.
Aix Cathedral
Aix Cathedral (French: Cathédrale Saint-Sauveur d'Aix-en-Provence) in Aix-en-Provence in southern France is a Roman Catholic church and the seat of the Archbishop of Aix-en-Provence and Arles. The cathedral is built on the site of the 1st-century Roman forum of Aix. Built and re-built from the 12th until the 19th century, it includes Romanesque, Gothic and Neo-Gothic elements, as well as Roman columns and parts of the baptistery from a 6th-century Christian church. It is a national monument of France.

Aix-en-Provence
Aix-en-Provence, often known as simply Aix, is a city and commune in southern France, about 30 km (20 mi) north of Marseille. A former capital of Provence, it is the subprefecture of the arrondissement of Aix-en-Provence, in the department of Bouches-du-Rhône, in the region of Provence-Alpes-Côte d'Azur. The population of Aix-en-Provence is approximately 148,000. Its inhabitants are called Aixois or, less commonly, Aquisextains.
Minerva Local School District
Minerva Local School District is a rural public school district serving students in the tri-county area between Columbiana, Carroll, and Stark counties, and the village of Minerva, also a part of Paris township. The district is made up of 3 schools located along the bustling U.S. Route 30.

Minerva Elementary (K-5) 850 students

Minerva Middle (6-8) 450 students

Minerva High (9-12) 600 students

11th and 12th grade students also have the chance to go to R. G. Drage Career Center.

Minerva, Ohio
Minerva is a village primarily in Stark and Carroll counties in the U.S. state of Ohio, with a small district in Columbiana County. The population was 3,684 at the 2020 census. It is part of the Canton–Massillon metropolitan area.
Bangaram (film)
Bangaram (transl. Gold) is a 2006 Indian Telugu-language action film written and directed by Dharani and produced by A.M. Ratnam, who previously produced Kushi (2001). It stars Pawan Kalyan in the titular role alongside Meera Chopra, Sanusha, Ashutosh Rana, Mukesh Rishi, Raja, and Reema Sen in supporting roles. The music was composed by Vidyasagar. The film 
released on 3 May 2006.

Dharani (director)
Dharani (born V. C. Ramani) is a former Indian film director and screenwriter who primarily worked in Tamil cinema as well as directing one Telugu film. He is best known for directing the hat-trick action films, Dhill (2001), Dhool (2003), and Ghilli (2004).
Gunnar Birkerts
Gunnar Birkerts (Latvian: Gunārs Birkerts, January 17, 1925 – August 15, 2017) was a Latvian American architect who, for the most of his career, was based in the metropolitan area of Detroit, Michigan.

Some of his notable designs include the Corning Museum of Glass and the Corning Fire Station in Corning, New York; Marquette Plaza in Minneapolis, Minnesota; the Kemper Museum of Contemporary Art in Kansas City, Missouri; and the U.S. Embassy in Caracas, Venezuela.

In 2014, the National Library of Latvia in Riga was completed to his design.

Kemper Museum of Contemporary Art
Kemper Museum of Contemporary Art opened in 1994 in Kansas City, Missouri. With a $5 million annual budget and approximately 75,000 visitors each year, it is Missouri's first and largest contemporary museum.
Dakota Heights, Michigan
Dakota Heights is an unincorporated community in Portage Charter Township, Houghton County in the U.S. state of Michigan. It is an enclave surrounded on all four sides by the extreme western part of the city of Houghton (on the fourth by Portage Lake (or, depending on the definition of terms, the Portage Lake Shipping Canal)); it is non-contiguous with any other part of Portage Township.  (However, it was formerly served by the water lines of Adams Township.) Living in Dakota Heights is at least sometimes regarded as living "in town" (Houghton).

Houghton County, Michigan
Houghton County (/ˈhoʊtən/; HOH-tən) is a county in the Upper Peninsula in the U.S. state of Michigan. As of the 2020 census, the population was 37,361. The county seat and largest city is Houghton. Both the county and the city were named for Michigan State geologist and Detroit Mayor Douglass Houghton.

Houghton County is part of the Houghton Micropolitan Statistical Area, which also includes Keweenaw County, and was part of Copper Country during the mining boom of the latter half of the 19th century and the early part of the 20th century.
Navajo Mountain
Navajo Mountain (Navajo: Naatsisʼáán meaning "Earth Head") is a peak in San Juan County, Utah, with its southern flank extending into Coconino County, Arizona, in the United States. It holds an important place in the traditions of three local Native American tribes. The summit is the highest point on the Navajo Nation.

San Juan County, Utah
San Juan County (/sæn ˈwɑːn/ san-WAHN) is a county in the southeastern portion of the U.S. state of Utah. As of the 2020 United States census, the population was 14,518. Its county seat is Monticello, while its most populous city is Blanding. The Utah State Legislature named the county for the San Juan River, itself named by Spanish explorers (in honor of Saint John). San Juan County borders Arizona, Colorado, and New Mexico at the Four Corners.
Shijia Township, Shizhu County
Shijia Township (simplified Chinese: 石家乡; traditional Chinese: 石家鄉; pinyin: Shíjiā Xiāng) is a township in Shizhu Tujia Autonomous County, Chongqing, China. As of the 2017 census it had a population of 6,619 and an area of 62.48 square kilometres (24.12 sq mi).

Shizhu Tujia Autonomous County
Shizhu Tujia Autonomous County (Chinese: 石柱土家族自治县; pinyin: Shízhù Tǔjiāzú Zìzhìxiàn), or Shizhu County for short, is located in southeastern Chongqing, China. It is south of the Yangtze River, and borders the Chongqing divisions of Pengshui County to the south, Fengdu County to the southwest, Zhong County to the northwest and Wanzhou District to the north; to the east, it borders the Hubei county-level city of Lichuan. It's in the center zone of Three Gorges Reservoir Region, and the only autonomous county which designated for only one of ethnic minorities in this region. (Chongqing Municipality has four counties that designated for ethnic minorities but because the other three counties are designated for more than one of ethnic minorities, this autonomous county is only one which is designated for only one of ethnic minotiry.)