hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Cocountability
In mathematics, a cocountable subset of a set  is a subset  whose complement in  is a countable set. In other words,  contains all but countably many elements of . Since the rational numbers are a countable subset of the reals, for example, the irrational numbers are a cocountable subset of the reals. If the complement is finite, then one says  is cofinite.

Subset
In mathematics, a set A is a subset of a set B if and only if all elements of A are also elements of B; B is then a superset of A. It is possible for A and B to be equal; if they are unequal, then A is a proper subset of B. The relationship of one set being a subset of another is called inclusion (or sometimes containment). A is a subset of B may also be expressed as B includes (or contains) A or A is included (or contained) in B. A k-subset is a subset with k elements.

When quantified,  is represented as

One can prove the statement  by applying a proof technique known as the element argument:

Let sets A and B be given. To prove that 
suppose that a is a particular but arbitrarily chosen element of A
show that a is an element of B.

The validity of this technique can be seen as a consequence of universal generalization: the technique shows  for an arbitrarily chosen element c. Universal generalisation then implies  which is equivalent to  as stated above.
Vestibular evoked myogenic potential
The vestibular evoked myogenic potential (VEMP; not to be confused with VsEP) is a neurophysiological  assessment technique used to determine the function of the otolithic organs (utricle and saccule) of the inner ear.  It complements the information provided by caloric testing and other forms of inner ear (vestibular apparatus) testing. There are two different types of VEMPs. One is the oVEMP and another is the cVEMP. The oVEMP measures integrity of the utricule and superior vestibular nerve  and the cVEMP measures the saccule and the inferior vestibular nerve.

Inner ear
The inner ear (internal ear, auris interna) is the innermost part of the vertebrate ear. In vertebrates, the inner ear is mainly responsible for sound detection and balance. In mammals, it consists of the bony labyrinth, a hollow cavity in the temporal bone of the skull with a system of passages comprising two main functional parts:

The cochlea, dedicated to hearing; converting sound pressure patterns from the outer ear into electrochemical impulses which are passed on to the brain via the auditory nerve.

The vestibular system, dedicated to balance.

The inner ear is found in all vertebrates, with substantial variations in form and function. The inner ear is innervated by the eighth cranial nerve in all vertebrates.
Timeline of reactions to the 2020 Hong Kong national security law (December 2020)
Few protests took place in December 2020 and there was no large-scale demonstrations in threat of the national security law. The imprisonment of Joshua Wong, Agnes Chow and Ivan Lam on 2 December aroused attention of the International community.

A Hong Kong media tycoon, Jimmy Lai, was charged with an offence under national security law. The charge was condemned by international community.

Ted Hui
Ted Hui Chi-fung (Chinese: 許智峯; born 8 June 1982) is a Hong Kong politician. He formerly represented the Chung Wan constituency in the Central and Western District Council, and was a Legislative Councillor for the Hong Kong Island constituency. Fearing prosecution by the Government of Hong Kong, he announced his self-exile in Denmark and withdrawal from the Democratic Party in December 2020.
Orange County Astronomers
The Orange County Astronomers (OCA) is a 501(c)(3) non-profit, civilian-led astronomy organization in Orange County, southern California. It was formed in 1967 and currently operates with around 800 concurrent members; they offer beginner courses in astronomy, and have meetings on the second Friday of every month at Chapman University. Currently, the OCA offers a dark-sky site to viewers, which includes a 22-inch Schmidt-Cassegrain telescope and public-use observation areas. In addition, the OCA has been registered as an affiliate of the Astronomers Without Borders program since March of 2012.

Dark-sky preserve
A dark-sky preserve (DSP) is an area, usually surrounding a park or observatory, that restricts or reduces light pollution or maintains and protects naturally dark night skies. Different terms have been used to describe these areas as national organizations and governments have worked independently to create programs. DarkSky International (DarkSky) uses "International Dark Sky Reserve" (IDSR) and "International Dark Sky Park" (IDSP) among others when certifying Dark Sky Places.
Danois
Danois is a surname. Notable people with the surname include:

Édouard Le Danois (1887–1968), French zoologist

Jacques Danois (1927–2008), pseudonym of Jacques Maricq, Belgian reporter and writer

Johanna Danois (born 1987), French sprinter

Maeva Danois (born 1993), French runner

Yseult Le Danois (1920–1985), French zoologist

Maeva Danois
Maeva Danois (born 10 March 1993 in Caen) is a French runner competing primarily in the 3000 metres steeplechase. She represented her country at the 2017 World Championships without advancing from the first round. Additionally, she won a silver medal at the 2015 European U23 Championships.
Thunder and Bolt
Thunder and Bolt (born March 2, 2017) are a pair of miniature pigs certified by the American Mini Pig Association as therapy animals owned and trained by then 10-year-old Claire Barrow.

Thunder and Bolt made their therapy animal debut at Tampa General Hospital when they were 10 months old, where they celebrated their first birthday with patients from adult rehabilitation and children's medical center patients. Thunder and Bolt are the first therapy pigs at the hospital, where Barrow is also their first youth volunteer.

The pigs, approximately 75 lbs as adults, are taken to various local nursing homes and hospitals to perform their therapy duties. They also made an appearance during a Tampa Bay Lightning hockey game.

The pigs have their own website and social media accounts on Facebook, Twitter and Instagram and YouTube channel, and have aired on WTSP 10's Great Day Tampa and Q105 and featured on People.

Miniature pig
A miniature pig, minipig or micro-pig is a domestic pig characterised by its unusually small size when fully grown. Some breeds of miniature pig – such as the Cerdo Cuino of Mexico, the Lon I of Vietnam, the Ras-n-Lansa of Guam in the Marianas Islands and the Wuzhishan of Hainan Island in China – are traditional breeds of those areas.: 238 : 714  Many others have been selectively bred since the mid-twentieth century specifically for laboratory use in biomedical research; among these are the Clawn and the Ohmini of Japan, the Czech Minipig, the German Göttingen Minipig, the Lee-Sung of Taiwan, the Russian Minisib, the extinct Minnesota Miniature of the United States and the Westran of Australia.: 7  Some minipigs have been bred to be marketed as companion animals.: 652

Miniature pigs generally reach their full size in about four years, and may live for up to fifteen. Some may reach a height of 50 cm (20 in) at the shoulder and a body length of 100 cm (40 in).
Karerpass
The Karerpass (Italian: Passo di Costalunga; Ladin: Jouf de Ciareja; German: Karerpass) (1745 m) is a high mountain pass in the province of South Tyrol in Italy. It connects Bolzano through the Eggental and the Welschnofen Valley with the Fassa Valley. Just below the pass on the Welschnofen Valley side is the Karersee lake. It is connected to the Tierser Tal by the Nigerpass.

Karersee
Lake Carezza (Italian: Lago di Carezza; German: Karersee) is a small alpine lake in the Dolomites in South Tyrol, Italy. It is known for its wonderful colors and its view of the Latemar mountain range.
Bataille de neige
Bataille de neige (transl. Snow Fight), also known as Snowballing, is an 1897 French short silent film produced by the Lumiére brothers. Filmed in Lyon, France, it depicts a number of individuals engaged in a snowball fight on a city street.

Auguste and Louis Lumière
The Lumière brothers (UK: /ˈluːmiɛər/, US: /ˌluːmiˈɛər/; French: [lymjɛːʁ]), Auguste Marie Louis Nicolas Lumière (19 October 1862 – 10 April 1954) and Louis Jean Lumière (5 October 1864 – 6 June 1948), were French manufacturers of photography equipment, best known for their Cinématographe motion picture system and the short films they produced between 1895 and 1905, which places them among the earliest filmmakers.

Their screening of a single film on 22 March 1895, for around 200 members of the Société d'encouragement pour l'industrie nationale (Society for the Development of the National Industry) in Paris was probably the first presentation of projected film. Their first commercial public screening on 28 December 1895, for around 40 paying visitors and invited relations has traditionally been regarded as the birth of cinema.
TG+ (TV channel)
téléGrenoble Isère is a private local TV channel of Grenoble's agglomeration in France. It broadcast on digital television and it is also received in a large part of Isère (Voiron and in Oisans for the ski resorts such as Alpe d'Huez and Les Deux Alpes).

téléGrenoble Isère began broadcasting on 20 October 2005. It is headquartered in rue Eugène-Faure in Grenoble.

In 2016, The Superior Council of Audiovisual authorizes the channel to broadcast in high definition.

Voiron
Voiron (French pronunciation: [vwaʁˈɔ̃]; Arpitan: Vouèron) is a commune (French municipality) in the Isère department in southeastern France. It is the capital of the canton of Voiron and has been part of the Grenoble-Alpes Métropole since 2010. Voiron is located 25 km (16 mi) northwest of Grenoble and 85 km (53 mi) southeast of Lyon. Its roughly 20,000 inhabitants are named Voironnais in French.

Voiron, along with Chambéry and Grenoble, is a gateway city of the Chartreuse Mountains in the Auvergne-Rhône-Alpes region.
Just Dance VR
Just Dance VR is a virtual reality music rhythm game developed by Ubisoft Paris in association with Soul Assembly and published by Ubisoft. It was released for Meta Quest 2, Meta Quest 3, Meta Quest 3S, and Meta Quest Pro headsets on October 15, 2024, being a spin-off title to the Just Dance series.

It is the first Just Dance spin-off game in 8 years following Just Sing, which released in September 2016.

Meta Quest Pro
The Meta Quest Pro is a discontinued mixed reality (MR) headset developed by Reality Labs, a division of Meta Platforms.

Unveiled on October 11, 2022, it is a high-end headset designed for mixed reality and virtual reality applications, targeting business and enthusiast users. It is differentiated from the Quest 2 by a thinner form factor leveraging pancake lenses, high resolution cameras for MR, integrated face and eye tracking, and updated controllers with on-board motion tracking.

The Quest Pro received mixed reviews, with critics praising its display and controllers, but criticizing its mixed reality cameras for having a grainy appearance and limited usefulness in its software at launch, and for its high price. Meta discontinued the Quest Pro in favor of the Meta Quest 3 in September 2024, with sales ending in January 2025.
Ceselli
42°41′06″N 12°49′03″E﻿ / ﻿42.68499°N 12.81757°E﻿ / 42.68499; 12.81757

Ceselli is a frazione of the municipality of Scheggino in the Province of Perugia, Umbria, Italy. Located at an elevation of 317 metres (1,040 ft) above sea level, it had a population of 116 inhabitants as of 31 December 2021.

Formerly an independent municipality, Ceselli was suppressed in 1875 and incorporated into Scheggino.

Umbria
Umbria (/ˈʌmbriə/ UM-bree-ə; Italian: [ˈumbrja]) is a region of central Italy. It includes Lake Trasimeno and Marmore Falls, and is crossed by the Tiber. It is the only landlocked region on the Apennine Peninsula. The capital is Perugia. The region has 851,954 inhabitants as of 2025.

The region is characterized by hills, mountains, thick forests, valleys and historical towns such as the university centre of Perugia, Assisi (a World Heritage Site associated with St. Francis of Assisi), Terni, Norcia, Città di Castello, Gubbio, Spoleto, Orvieto, Todi, Castiglione del Lago, Narni, Amelia, Spello and other small cities.
Georgy Lukich Smirnov
Georgy Lukich Smirnov (Russian: Георгий Лукич Смирнов; 14 November 1945, in Volgograd Oblast - 29 November 1999, in Moscow) was a Soviet Russian political scientist. Doktor Nauk in Philosophical Sciences, Professor, Academician of the Academy of Sciences of the USSR (since 1987).
He was director of the Institute of Philosophy, Russian Academy of Sciences (1983-1985). 
He was director of the Marx–Engels–Lenin Institute (1987-1991). Candidate for membership in the Central Committee of the CPSU (since 1970).

Member of the Communist Party of the Soviet Union since 1943.

He graduated from the Faculty of History of Volgograd State Pedagogical University in 1952.

He was elected a corresponding member of the Academy of Sciences of the USSR in 1981.

Academy of Sciences of the Soviet Union
The Academy of Sciences of the Soviet Union was the highest scientific institution of the Soviet Union from 1925 to 1991. It united the country's leading scientists and was subordinated directly to the Council of Ministers of the Soviet Union (until 1946 the Council of People's Commissars of the Soviet Union).

In 1991, by the decree of the President of the Russian Soviet Federative Socialist Republic, the Russian Academy of Sciences was established on the basis of the Academy of Sciences of the Soviet Union.
Bulyaga
Bulyaga is an administrative ward in the Rungwe district of the Mbeya Region of Tanzania. In 2016 the Tanzania National Bureau of Statistics report there were 7,046 people in the ward, from 6,393 in 2012, and 7,869 in 2002.: 98 : 115

National Bureau of Statistics (Tanzania)
The National Bureau of Statistics is a branch of the Government of Tanzania which has the mandate to provide official statistics to the Government of Tanzania, business community and the public at large. It is based in Dodoma and obtains a wide range of economic, social and demographic statistics about the country. The bureau compiled data on every village in Tanzania for the censuses of 2002, 2012 and 2022, but also provides the results of the previous censuses of 1967, 1978 and 1988.
Devin McCourty
Devin McCourty (born August 13, 1987) is an American former professional football player who was a safety in the National Football League (NFL) for 13 seasons with the New England Patriots. He played college football for the Rutgers Scarlet Knights and was selected by the Patriots in the first round of the 2010 NFL draft. Missing only five games during his Patriots career, McCourty received two Pro Bowl selections and was also a member of three Super Bowl-winning teams. McCourty also has the most postseason starts for a defensive player. His twin brother, Jason McCourty, also played in the NFL. Since leaving the NFL in 2022, he has served as a commentator for NBC's Football Night in America.

2012–13 NFL playoffs
The National Football League playoffs for the 2012 season began on January 5, 2013. The postseason tournament concluded with the Baltimore Ravens defeating the San Francisco 49ers in Super Bowl XLVII, 34–31, on February 3, at the Mercedes-Benz Superdome in New Orleans, Louisiana.

All playoff teams in both conferences won at least 10 games, the first time since 2005. This was also the most recent NFL postseason to feature a game that went into double overtime. It was also the first time since 1999 that no Pennsylvania-based NFL team made the playoffs.

Unless otherwise noted, all times listed are Eastern Standard Time (UTC-05)
K. V. Ramanadhan
K. V. Ramanadhan (29 August 1932 – 10 April 2023) was an Indian children's writer in Malayalam. He received the Kerala Sahitya Akademi Award for Children's Literature in 1994 for his work Atbhutha Nirali, the C. G. Santhakumar Award by the Kerala State Institute of Children's Literature in 2011 and the Kendra Sahitya Akademi Award for Children's Literature in 2014 for his overall contribution to the field of children's literature.

Sahithya Pravarthaka Co-operative Society
Sahithya Pravarthaka Co-operative Society (SPCS) or Sahithya Pravarthaka Sahakarana Sangham is a cooperative society of writers in the south Indian state of Kerala for publication and sales of books. It was founded in 1945 by a group of twelve writers in Kottayam. It merged with the National Book Stall (NBS) in 1949 and has published over 8,400 titles making it one of the largest book publishers in Kerala. The society claims that over eighty percent of the known writers in Malayalam are members of the society.
1997 NCAA Division II women's basketball tournament
The 1997 NCAA Division II women's basketball tournament was the 16th annual tournament hosted by the NCAA to determine the national champion of Division II women's  collegiate basketball in the United States.

North Dakota defeated Southern Indiana in the championship game, 94–78, to claim the Fighting Sioux's first NCAA Division II national title. This would go on to be the first of three consecutive titles for North Dakota.

The championship rounds were contested in Grand Forks, North Dakota.

North Dakota Fighting Hawks women's basketball
The North Dakota Fighting Hawks women's basketball team is part of the athletic program at the University of North Dakota in Grand Forks, North Dakota.  It is a member of the NCAA Division I Summit League; the 2019–20 season was their first in the new conference. Previously they played in Division I's Big Sky Conference and Division I's Great West Conference.

The first year the university fielded a women's team was in 1894. Since then, the women's team has appeared in 23 NCAA tournaments. The first Division I appearance was in 2014. With the exception of 1986, 1987, and 1989, the basketball team appeared in every NCAA Division II tournament from 1984 to 2007. Three of the Division II tournament appearances resulted in three consecutive Division II National Championships (1997, 1998, 1999).
Library and Archives Canada
Library and Archives Canada (LAC; French: Bibliothèque et Archives Canada) is the federal institution tasked with acquiring, preserving, and providing accessibility to the documentary heritage of Canada. The national archive and library is the 16th largest library in the world. The LAC reports to the Parliament of Canada through the Minister of Canadian Identity and Culture.

LAC traces its origins to the Dominion Archives, formed in 1872, and the National Library of Canada, formed in 1953. The former was later renamed as the Public Archives of Canada in 1912, and the National Archives of Canada in 1987. In 2004, the National Archives of Canada and the National Library of Canada were merged to form Library and Archives Canada.

Association of Canadian Archivists
The Association of Canadian Archivists (ACA), established in 1975, is a national not-for-profit organization representing over 600 archivists (and those interested in archives and archivists) in Canada. With headquarters in Ottawa, the ACA's mandate is to provide leadership to the archival profession and to increase an understanding and appreciation of Canada's archival heritage.

The ACA evolved from the Archives Section of the Canadian Historical Association. For many years it held its annual conference together with other scholarly groups as part of the Congress of the Canadian Federation for the Humanities and Social Sciences (formerly the "Learneds").
El Diablo (nickname)
El Diablo, Spanish for "the Devil", is a nickname of the following:

Cristián Bejarano (born 1981), Mexican boxer

Claudio Chiappucci (born 1963), Italian former cyclist

Joël Despaigne (born 1966), Cuban retired volleyball player

Marco Etcheverry (born 1970), Bolivian retired footballer

José Antonio Fernández (born 1954), Mexican businessman

Angel Manfredy (born 1974), Puerto Rican former boxer

Luis Ernesto Michel (born 1979), Mexican football goalkeeper

Claudio Núñez (born 1975), Chilean retired footballer

Didi Senft (born 1952), German cyclist and inventor

Wells Thompson (born 1983), American soccer player

Willie Wells (1906-1989), American baseball player in the Negro leagues

Fabio Quartararo (1999-), French Motorcycle racer

Claudio Núñez
Claudio Patricio Núñez Caamaño (born October 16, 1975) is a Chilean former footballer who played as a striker. He is nicknamed "El Diablo", which means, "the Devil".

He made his name playing for Tigres UANL, where he had his most success.
George Montagu, 1st Earl of Halifax
George Montagu, 1st Earl of Halifax (also spelt George Montague) PC KB (c. 1684 – 9 May 1739), of Horton, Northamptonshire, was a British politician who sat in the House of Commons from 1705 to 1715 when he became a peer.

Horton Hall
Horton Hall, known locally as Horton House, was a stone-built Georgian stately home, now demolished, located on a 3,764 acre estate stretching across nine parishes on the Northamptonshire and Buckinghamshire borders.
2017 Winston-Salem Open – Doubles
Guillermo García López and Henri Kontinen were the defending champions, but chose not to participate this year.

Jean-Julien Rojer and Horia Tecău won the title, defeating Julio Peralta and Horacio Zeballos in the final, 6–3, 6–4.

Guillermo García López
Guillermo García López (Spanish pronunciation: [ɡiˈʎeɾmo ɣaɾˈθi.a ˈlopeθ], born 4 June 1983) is a Spanish tennis coach and a former professional player. He won five singles titles and achieved a career-high singles ranking of world No. 23 in February 2011.

As of 2021, he collected thirteen wins over top-10 players, including world No. 1 Rafael Nadal in 2010, world No. 4 Andy Murray in 2012 and world No. 3 Stan Wawrinka in 2014.
Vokil Point
Vokil Point (Bulgarian: нос Вокил, ‘Nos Vokil’ \'nos vo-'kil\) is a point on the southwest coast of Snow Island in the South Shetland Islands, Antarctica projecting 300 m into Boyd Strait and forming the north side of the entrance to Barutin Cove.

The feature is named after the Bulgarian ruling dynasty of Vokil (8th century).

Boyd Strait
Boyd Strait is the 40-kilometre (25 mi) wide strait lying between Snow Island and Smith Island in the South Shetland Islands, Antarctica, and linking Drake Passage and the Bransfield Strait.

The strait was named in 1823 by a British expedition under James Weddell for Captain David Boyd, Royal Navy.
A Little More Love (Jerrod Niemann and Lee Brice song)
"A Little More Love" is a song recorded as a duet by American country music artists Jerrod Niemann and Lee Brice. It was released in April 2016 as the first single from Niemann's fourth studio album, This Ride. The song was written by Shane McAnally, Ross Copperman, Natalie Hemby and Kristi Neumann. The song was Niemann's first single released through Curb Records.

Natalie Hemby
Natalie Nicole Hemby Wrucke (born March 24, 1977) is an American country music songwriter and singer. She is a two-time Grammy Awards winner. She has written songs for several country music artists, including  Miranda Lambert, Little Big Town, Jon Pardi, Kacey Musgraves, Blake Shelton, Toby Keith, and pop music, working with Kelly Clarkson, Little Mix and Labrinth.

In 2018 Hemby worked with Lady Gaga and Bradley Cooper on A Star Is Born soundtrack, co-writing "Always Remember Us This Way" and "I'll Never Love Again", winning the Grammy Award for Best Song Written for Visual Media for the latter.

As a solo artist, she published two studio albums through her own label, GetWrucke Productions. In 2019, she joined the quartet The Highwomen alongside Brandi Carlile, Amanda Shires and Maren Morris.