OpenLLM-France/wikimedia huggingface dataset:
# Paolo Salvi

Paolo Salvi (22 November 1891 – 12 January 1945) was an Italian gymnast who competed in the 1912 Summer Olympics and in the 1920 Summer Olympics. He was part of the Italian team, which was able to win the gold medal in the gymnastics men's team, European system event in 1912 as well as in 1920. Additionally, he was part of the bronze medal winning Italian gymnastics team at both the 1911 World Artistic Gymnastics Championships and 1913 World Artistic Gymnastics Championships. At the 1911 worlds, he also won, as an individual, a silver medal on the pommel horse apparatus and a bronze medal on the parallel bars apparatus.
He was killed in the Mauthausen-Gusen concentration camp during World War II.
# William Gascoigne (died 1540)

Sir William Gascoigne (by 1485 – 1540) of Cardington, Bedfordshire was an English Member of Parliament.
He was born the son of George Gascoigne of Cardington.
He was appointed High Sheriff of Bedfordshire and Buckinghamshire for 1506–07, 1513–14 and 1517–18 and High Sheriff of Northamptonshire for 1518–19. He was knighted in France at 1520 when attending Henry VIII at the Field of the Cloth of Gold and was also present in 1522 at the state visit of the emperor Charles V.
He served Cardinal Wolsey as treasurer of the cardinal's household from 1523 to the cardinal's downfall in 1529 and afterwards served as steward to John Neville, 3rd Baron Latimer. He represented Bedfordshire in Parliament as a knight of the shire in 1529 and 1536.
On his death in 1540, he was buried at Cardington. He had married twice, with his first marriage being with Elizabeth, the daughter and heiress of John Winter of Cardington, by whom he inherited his Cardington estate and with whom he had his only son and heir, Sir John Gascoigne. His second marriage was with Elizabeth, the daughter of Sir John Pennington of Muncaster, Cumberland, and the widow of Sir Walter Strickland and Sir Richard Cholmley. He was succeeded by Sir John.
# George Washington Bolton

George Washington Bolton (September 15, 1841 – August 2, 1931) was a state legislator, businessman, and school board member in Rapides Parish, Louisiana.

## Early life

George Washington Bolton was born to Eliza (née Burbridge) and Elisha P. Bolton near Griffin, Georgia, on September 15, 1841. At sixteen, he moved with his parents to Shiloh, Union Parish, Louisiana. He was taught in his father's private school in Shiloh.

## Career

Bolton enlisted in the Confederate Army in 1861. He served with the Company E, 12th Louisiana Infantry throughout the Civil War. He was wounded at the Battle of Nashville. He achieved the rank of sergeant.
After the war, he taught for one year in Shiloh. He then engaged in merchantile business in Winnfield. He later worked as a head of a merchantile business in Pineville from 1869 to 1900. He served in the Rapides Parish Police Jury. He served in the Louisiana House of Representatives from 1888 to 1896 and served as House Speaker from 1892 to 1896.
A businessman and banker, he founded Rapides Bank and Trust Company in Alexandria, Louisiana. He served as its president from its founding in 1888 to 1912. He then went on to serve as its chairman from 1912 to 1931. It later merged into Bank One Corporation. In 1900, he was the first president of the Louisiana Bankers Association. He was one of the founders of Emmanuel Baptist Church in downtown Alexandria and the First Baptist church in Pineville. Bolton served as a member of the Rapides Parish School Board.
He was a leading member of the Pineville mason fraternal organization.

## Personal life

He married Tennessee Wade of Winnfield in October 1868. Together, they had ten children, but only six survived, including James W. Bolton, G.F. Bolton, Frank P. Bolton, J.P. Bolton, R.C. Bolton and Bertha Hall. His wife died on July 10, 1931.
Al Bolton was his grandson.

## Death

Bolton died on August 2, 1931, at his home in Alexandria. He was interred at Mount Olivet Cemetery in Pineville.

## Legacy

Bolton Avenue in Alexandria is named in his honor. Bolton High School in Alexandria is named for him.
The Louisiana Digital Library has a photograph of him. A January 1863 letter he wrote to Malvina Bolton is also preserved.
# No Room

No Room is an album by the Boulder, Colorado, band the Samples, released in 1992. Prior to recording the album, the band left Arista Records to regain control of their musical direction.
The Samples supported the album with a North American tour; they also played the 1993 H.O.R.D.E. festival. They wrote and tested the songs while touring their previous album. No Room sold almost 80,000 copies in its first nine months of release; it had topped more than 150,000 copies by 1998.

## Critical reception

Professional ratings :
| Review scores ||
| Source | Rating |
| AllMusic | |
| Chicago Tribune | |
The Chicago Tribune noted the "crystalline production, bubbling keyboard arrangements, snaky guitar lines and a tight, syncopated rhythm section." The Daily Breeze deemed the album "rock with a point—and with touches of jazz fusion, ska, reggae and even a country twang."
Mentioning the Samples' return to an independent label, the Tulsa World opined that "the band's loyalty to its formative ideas gives its music a consistent, yet broad-based, signature." Trouser Press wrote: "'When It's Raining' is a standout, a shimmering melody surfing on a wiggly groove, finally capturing in the studio some of what the Samples transmit onstage."

## Track listing

All songs written by Sean Kelly, except where noted.
* "When It's Raining" – 3:33
* "Summertime" (Kelly, Al Laughlin) – 4:57
* "Another Disaster" (Kelly, Andy Sheldon) – 5:15
* "Did You Ever Look So Nice" (Kelly, Laughlin) – 4:02
* "Nothing Lasts for Long" – 4:35
* "Stone Tears" (Sheldon) – 4:43
* "Giants" (Sheldon) – 3:20
* "Suburbia" (Kelly, MacNichol) – 4:49
* "14th and Euclid" (Kelly, Laughlin) – 4:16
* "Won't Be Back Again" (Kelly, Laughlin) – 2:40
* "Pain" – 3:57
* "Little Whale" (Vince Sendra) – :56
* "Seany Boy (Drop Out)" – 2:39
* "Taking Us Home" – 4:03
* "When It's Raining - Live" (hidden track)

## Personnel

* Sean Kelly – lead vocals, guitars
* Andy Sheldon – bass, vocals
* Al Laughlin – keyboards, vocals
* Jeep MacNichol – drums/percussion, vocals
# Ahmed Mohammed Inuwa

Ahmed Mohammed Inuwa is a Nigerian politician and civil engineer who was elected to the Nigerian Senate in 2003 on the platform of People's Democratic Party (PDP) for the Kwara North constituency of Kwara State. He nurses an ambition to contest the gubernatorial position in Kwara state in 2011. He is currently a card carrying member of the All Progressive Congress.

## Background

Ahmed Mohammed Inuwa was born on 19 September 1948. He obtained a bachelor's degree in government from Ahmadu Bello University, Zaria, a diploma in development Administration from the University of Birmingham, United Kingdom and an Mni (Member National Institute) from the National Institute for Policy and Strategic Studies in Kuru, Nigeria, Jos.

## Senate career

Inuwa was elected to the National Senate for the Kwara North constituency in 2003 and reelected in 2007. He was appointed to committees on Education, Culture & Tourism, Appropriation, Agriculture and Health. By the middle of his second term, he initiated a bill seeking to "Establish Chartered Pension Institute of Nigeria".
# Mount Kupreanof

Mount Kupreanof is a stratovolcano on the Alaska Peninsula, United States. It is the largest and the northeasternmost in a group of five volcanoes opposite from Stepovak Bay. Mount Kupreanof displays extremely strong fumarole activity and its latest eruption in 1987 produced minor steam and ash emission. This is the only known historical eruption from Mount Kupreanof.
# Jahmar Thorpe

Jahmar Thorpe (born September 2, 1984) is an American professional basketball player for the Kanazawa Samuraiz in Japan.
Born in Morristown, New Jersey, Thorpe played basketball at Morristown High School.
Thorpe joined Kawasaki Brave Thunders in 2020 and averaged 1.7 points, 2.5 rebounds and 1.0 assist per game. He signed with the Saga Ballooners on September 29, 2020. In 2021, he played for Alvark Tokyo and averaged 4.9 points and 3.0 rebounds per game. On September 6, 2021, Thorpe signed with the Kanazawa Samuraiz.
# Red Rover (disambiguation)

Red Rover is a children's game.
Red Rover or Red Rovers may also mean:

## Arts and entertainment

* The Red Rover, an 1827 novel by James Fenimore Cooper
* Red Rover, a 2018 Canadian science fiction romantic comedy film
* "Red Rover", a track from the album Sleeper by the alternate rock band Tribe
* "Red Rover", a track from the album Say You Will by the British/American rock band Fleetwood Mac
* Red Rover Studios, an animation studio owned by House of Cool Studios

## Ships

* USS Red Rover (1859), a steamer captured by the Union Navy during the American Civil War and used as a hospital ship
* Red Rover (clipper), two clipper ships, one launched in 1830, the other in 1852

## Sports teams

* Red Rovers, a former association football team - see History of association football in Brisbane, Queensland
* Red Rovers, the sports teams of Easton Area High School in Easton, Pennsylvania

## Other uses

* The Red Rovers or Alabama Red Rovers, a military unit that fought in the Texas Revolution
* RedRover (organisation), USA, animal rescue organization formerly known as United Animal Nations
* Red rover, the common name of the fish Emmelichthys ruber
* Red Rover, a robotic spacecraft developed by Astrobotic Technology
# Flush

Flush may refer to:

## Places

* Flush, Kansas, a community in the United States

## Architecture, construction and manufacturing

* Flush cut, a type of cut made with a French flush-cut saw or diagonal pliers
* Flush deck, in naval architecture
* Flush door
* Flush hem (hemming and seaming), in metal forming
* Flush hole, a countersink
* Flush rivet, countersunk rivets

## Art, entertainment, and media

* Flush (cards), a hand in card games
** Flush (poker), a type of poker hand
** See also: Royal flush
* Flush (slalom skiing), a consecutive series of vertical gates
* Flush (novel), a young adult novel by Carl Hiaasen
* Flush: A Biography, an imaginative fictional biography of Elizabeth Barrett Browning's dog, by Virginia Woolf
* "Flush" (Mötley Crüe song), 1997
* "Flush" (Brian Welch song), 2008
* Flush (film), a 1977 American comedy film

## Biology, botany, and healthcare

* Flush (physiology), to become markedly red in the face and often other areas of the skin, from various physiological conditions
* Flush, a growth of leaves on the tea plant
* Harris flush, an enema type
* Saline flush
* Seep (hydrology), a seepage or flush of water from low-lying ground

## Computing

* Allocate-on-flush, a computer file system
* Cache flush, when a CPU cache is emptied

## Other uses

* First flush, the initial surface runoff of a rainstorm
* Flush text, in justification
* Flush toilet, a toilet using water to dispose of waste, the operation of which is called a "flush"
# Glob

Glob may refer to:

## People

* Lotte Glob (born 1944), Danish ceramic artist living in the north of Scotland
* Niels Glob, Roman Catholic prelate who served as Bishop of Viborg (1478–1498)
* Peter Glob (1911–1985), Danish archaeologist
* Glob Herman (Robert Herman), a fictional mutant character in American comic books published by Marvel Comics

## Other

* glob (programming), a mini-language used for pattern matching of file and folder paths
* Glob (TV series), an Italian comedy series
* Glob (comics), multiple fictional characters in the Marvel Comics universe
* Luna-Glob, a Moon-exploration program by the Russian Federal Space Agency (Roscosmos)
* The Boston Globe, a Boston newspaper
* Glob (visual system), millimeter areas in the extended V4 that process color
* Glob, one of the heads of the four-faced deity Grob Gob Glob Grod from Adventure Time
# David Bartlett (North Dakota politician)

David Bartlett (October 23, 1855 – October 16, 1913) was an American lawyer and politician in the state of North Dakota. He served as the sixth lieutenant governor of North Dakota from 1901 to 1907 under Governors Frank White and Elmore Y. Sarles.
Bartlett was born in Lemorna, Maine, in 1855. He graduated from the University of Michigan in 1876, attaining a law degree. Bartlett resided briefly in Colorado before moving to Cooperstown, North Dakota, in 1883, becoming a pioneering businessman and citizen of Griggs County, North Dakota. He served on the North Dakota Constitutional Convention of 1889. Bartlett also served as states attorney of Griggs County, and was a proponent of prohibition. He served as the Republican lieutenant governor of North Dakota from 1901 to 1907, but later joined the Progressive Movement in 1912. He died on October 16, 1913, in Boston from a cerebral hemorrhage.
# Neopetrolisthes

Neopetrolisthes is a genus of porcelain crabs that live on sea anemones, and contains the following three species:
* Neopetrolisthes maculatus (H. Milne-Edwards, 1837) – N. ohshimai Miyake, 1937 is a subjective synonym
* Neopetrolisthes alobatus (Laurie, 1926)
* Neopetrolisthes spinatus Osawa & Fujita, 2001
# Neopetrolisthes maculatus

Neopetrolisthes maculatus is a species of porcelain crab from the Indo-Pacific region. It is a small, colourful crustacean with a porcelain-like shell. This porcelain crab is usually found within the stinging tentacles of a number of sea anemone species.

## Gallery

* Neopetrolisthes maculatus at Wakatobi National Park, 2015
* Close up of chelipeds of Neopetrolisthes maculatus, 2006
* Close up of Neopetrolisthes maculatus at Lembeh, Indonesia, 2016
* Chelipeds of Neopetrolisthes maculatus at Anilao, Philippines, 2014
* Neopetrolisthes maculatus pouncing on carpet anemone, 2004
* Neopetrolisthes maculatus near Sorong, Indonesia, 2015
# Universal generalization

In predicate logic, generalization (also universal generalization, universal introduction, GEN, UG) is a valid inference rule. It states that if $\vdash \!P(x)$ has been derived, then $\vdash \!\forall x\,P(x)$ can be derived.

## Generalization with hypotheses

The full generalization rule allows for hypotheses to the left of the turnstile, but with restrictions. Assume $\Gamma$ is a set of formulas, $\varphi$ a formula, and $\Gamma \vdash \varphi (y)$ has been derived. The generalization rule states that $\Gamma \vdash \forall x\,\varphi (x)$ can be derived if $y$ is not mentioned in $\Gamma$ and $x$ does not occur in $\varphi$.
These restrictions are necessary for soundness. Without the first restriction, one could conclude $\forall xP(x)$ from the hypothesis $P(y)$. Without the second restriction, one could make the following deduction:
* $\exists z\,\exists w\,(z\not =w)$ (Hypothesis)
* $\exists w\,(y\not =w)$ (Existential instantiation)
* $y\not =x$ (Existential instantiation)
* $\forall x\,(x\not =x)$ (Faulty universal generalization)
This purports to show that $\exists z\,\exists w\,(z\not =w)\vdash \forall x\,(x\not =x),$ which is an unsound deduction. Note that $\Gamma \vdash \forall y\,\varphi (y)$ is permissible if $y$ is not mentioned in $\Gamma$ (the second restriction need not apply, as the semantic structure of $\varphi (y)$ is not being changed by the substitution of any variables).

## Example of a proof

Prove: $\forall x\,(P(x)\rightarrow Q(x))\rightarrow (\forall x\,P(x)\rightarrow \forall x\,Q(x))$ is derivable from $\forall x\,(P(x)\rightarrow Q(x))$ and $\forall x\,P(x)$.
Proof:
| Step | Formula | Justification |
| 1 | $\forall x\,(P(x)\rightarrow Q(x))$ | Hypothesis |
| 2 | $\forall x\,P(x)$ | Hypothesis |
| 3 | $(\forall x\,(P(x)\rightarrow Q(x)))\rightarrow (P(y)\rightarrow Q(y))$ | From (1) by Universal instantiation |
| 4 | $P(y)\rightarrow Q(y)$ | From (1) and (3) by Modus ponens |
| 5 | $(\forall x\,P(x))\rightarrow P(y)$ | From (2) by Universal instantiation |
| 6 | $P(y)\$ | From (2) and (5) by Modus ponens |
| 7 | $Q(y)\$ | From (6) and (4) by Modus ponens |
| 8 | $\forall x\,Q(x)$ | From (7) by Generalization |
| 9 | $\forall x\,(P(x)\rightarrow Q(x)),\forall x\,P(x)\vdash \forall x\,Q(x)$ | Summary of (1) through (8) |
| 10 | $\forall x\,(P(x)\rightarrow Q(x))\vdash \forall x\,P(x)\rightarrow \forall x\,Q(x)$ | From (9) by Deduction theorem |
| 11 | $\vdash \forall x\,(P(x)\rightarrow Q(x))\rightarrow (\forall x\,P(x)\rightarrow \forall x\,Q(x))$ | From (10) by Deduction theorem |
In this proof, universal generalization was used in step 8. The deduction theorem was applicable in steps 10 and 11 because the formulas being moved have no free variables.
# Bally family

The Bally family (German:) is a Swiss industrial and political family primarily associated with the Bally (fashion house), once Europe's largest shoe manufacturing company, founded in 1851. The family originally hailed from the Montafon valley in Vorarlberg, Austria.
The progenitor of the Swiss family is Franz Ulrich Bohli (1748–1810), a stonemason originally from Übersaxen, who landed in Aarau in spring 1778. He would later become a merchant and become a Swiss citizen in Rohr, Solothurn in 1788. The family has been strongly associated with the textile industry and the municipality of Schönenwerd.
# Jasia Akhtar

Jasia Akhtar (born 27 May 1988) is an Indian cricketer who currently plays for Uttarakhand. She play as a right-handed batter. She has previously played for Punjab, Rajasthan and Trailblazers.
In September 2017, Akhtar was called up to the national camp for the India women's national cricket team, becoming the first woman cricketer from Jammu and Kashmir to be selected for a national camp.
# Krokava

Krokava (Hungarian: Kopárhegy) is a village and municipality in the Rimavská Sobota District of the Banská Bystrica Region of southern Slovakia. Originally a shepherd settlement, locals later engaged in raising cattle and weaving. One of the most notable attractions of Krokava is the village belfry.
# Rika

Rika may refer to:
* Rika, Ilam, Iran
* Rika, Jajce, a village in Bosnia and Herzegovina
* Rika, alternate name of Hasan Bagi-ye Rika, Iran
* Rika (river), in western Ukraine
* Riq'a, a calligraphic variety of Arabic script

## People

Rika is a Japanese feminine given name.
* Josefa Rika, a Fijian cricketer
* Rika Adachi (足立 梨花, born 1992), Japanese television personality and actress
* Rika Dialina, a Greek actress
* Rika Fujiwara (藤原 里華, born 1981), Japanese tennis player
* Rika Fukami (深見 梨加, born 1963), Japanese voice actress
* Rika Hiraki (平木 理化, born 1971), a former professional Japanese female tennis player
* Rika Hongo (本郷 理華, born 1996), Japanese figure skater
* Rika Hoshimi (星美 りか, born 1990), Japanese gravure idol and actress
* Rika Ishikawa (石川 梨華, born 1985), Japanese J-pop idol, singer, and actress
* Rika Izumi (泉 里香, born 1988), Japanese model, actress and singer
* Rika Kihira (紀平 梨花, born 2002), a Japanese figure skater
* Rika Kishino (岸野 里香, born 1994), Japanese singer and idol
* Rika Masuya (増矢 理花, born 1995), Japanese women's footballer
* Rica Matsumoto (松本 梨香, Matsumoto Rika, born 1968), Japanese voice actress
* Rika Omoto (大本 里佳, born 1997), Japanese swimmer
* Rika Sato (佐藤 利香, born 1971), Japanese table tennis player
* Rika Vagiani, Greek artist
* Rika Watanabe (渡辺 梨加, born 1995), Japanese idol and model

## Characters

* Majo Rika, a character from Ojamajo Doremi
* Rika (Phantasy Star IV), a character in the video game Phantasy Star IV
* Rika Furude, a character from Higurashi no Naku Koro ni
* Rika Nonaka (Ruki Makino in the Japanese version), a character from Digimon Tamers
* Rika Sasaki, a character from Cardcaptor Sakura
* Rika, a character from the Touhou Project series
* Rika Shiguma, a character from the Haganai (Boku wa Tomodachi ga Sukunai) manga/anime series
* Rika Shinozaki (Lisbeth), a character in Sword Art Online
* Rika, a character from the role playing game Mystic Messenger
* Rika, a character from the visual Novel Amnesia
# Ram Dayal (cricketer)

Ram Dayal (born 29 October 1988) is an Indian first-class cricketer who plays for Jammu & Kashmir.
# Lalchhuanliana

Lalchhuanliana (born 11 May 1988) is an Indian cricketer. He made his Twenty20 debut on 11 January 2021, for Mizoram in the 2020–21 Syed Mushtaq Ali Trophy. He made his List A debut on 21 February 2021, for Mizoram in the 2020–21 Vijay Hazare Trophy.
# Amit Paunikar

Amit Paunikar (born 18 April 1988, Nagpur) is an Indian National cricketer. He is a Right-handed batsman and occasional right-arm medium bowler.
# Benjamin Bartholomew

Benjamin Bartholomew (February 16, 1752 – March 31, 1812) was an American politician from Pennsylvania. He served as a member of the Pennsylvania Provincial Assembly, representing Chester County from 1773 to 1776.

## Early life

Benjamin Bartholomew was born on February 16, 1752, to Sarah and Joseph Bartholomew. After his father died, he was left 160 acres (65 ha) of farmland that he farmed.

## Career

Bartholomew served as a member of the Pennsylvania Provincial Assembly, representing Chester County from 1773 to 1776. In January 1775, he was a member of the council of safety for the Revolutionary convention. At the outbreak of the Revolutionary War, he raised a company of volunteers. He attained the rank of captain of the 5th Pennsylvania Regiment on October 2, 1776. After the war, he continued working as a farmer.

## Personal life

Bartholomew married Rachel Dewees, daughter of William Dewees. They had ten children, Joseph, Hannah (born 1772), Sarah, John, Rachel, Marian, Edward, Augustine, Benjamin and Ellen. His great-grandson John Cleaver Bartholomew was a veterinarian.
Bartholomew died on March 31, 1812, aged 60, at his farm in East Whiteland Township. He was buried at Great Valley Baptist Church Cemetery in Tredyffrin Township.
# A1 motorway (Cyprus)

The A1 motorway, locally referred to as the Nicosia–Limassol highway, is the first and longest motorway built in Cyprus. It marked the beginning of an ambitious government project to link all the main cities on the island with modern four-lane highways. The A1 is 73 kilometres (45 miles) long, and is free of any at-grade intersections. It links the capital Nicosia (which is the administrative and financial hub), with Limassol, the second largest city and largest port on the island.

## Junctions

* Athalassas Avenue (Strovolos)-B1-A1
* B22, (Kalamon, Strovolos)
* C1, (Filippou Papakyprianou)(Strovolos)
* C2, Latsia
* E102(Road), Nisou
* E103(Road)-A2, Pera Chorio
* E104(Road), Mosfiloti
* E143(Road), Kornos Dytika
* A5-B1, Andreas
* E143(Road), Skarinou
* B1, Choirokoita
* B1-E106(Road), Fornous
* E107(Road), Fornous
* B1, Faros(Cyprus)
* F119(Road), Pentakomo
* B1, Moni(Village, Cyprus)
* F109(Road), Agios Tychon
* Nikalas, Limasol

## History

In the late 1970s, the Cypriot Government introduced a series of schemes to improve the infrastructure of transport on the Island. The first planned motorway was to be built between Nicosia and Nicosia International Airport, roughly on the route of the current Griva Digeni Avenue. The road was widened in preparation, but following the Turkish Invasion of Cyprus in July 1974 and the closure of the airport as a result, this scheme was abandoned. Construction started on the A1 to connect Nicosia with the new main port of Cyprus at Limassol in 1978.
The construction started at both ends concurrently. In the initial construction, the junctions were at grade separation. Although reconstruction at the Nicosia end has obliterated any evidence of this, drivers can still see the filter lanes at junction 17. The motorway was opened in stages, with the final stage (Kornos to Kophinou) completed in October 1984, while upgrades within the city of Limassol were completed in summer 2008. These upgrades included the Polemidia and Troödos junction, Agia Filaxis Junction, Agios Athanasios junction, Linopetra junction, and Germasogeia junction, and involved the replacement of a series of roundabouts with flyovers or underpasses.
Since 2012, the section of the motorway between the entrance of Nicosia and the intersection with the A2 motorway was upgraded to a six-lane road due to heavy traffic observed.
# Gajendra Singh (cricketer)

Gajendra Singh (born 10 September 1988) is an Indian first-class cricketer who plays for Rajasthan. He made his first-class debut for Rajasthan in the 2007–08 Ranji Trophy on 17 December 2007.