OpenLLM-France/wikimedia huggingface dataset:
# Johan van Benthem (logician)

Johannes Franciscus Abraham Karel (Johan) van Benthem (born 12 June 1949 in Rijswijk) is a University Professor (universiteitshoogleraar [nl]) of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University (at CSLI). He was awarded the Spinozapremie in 1996 and elected a Foreign Fellow of the American Academy of Arts & Sciences in 2015.

## Biography

Van Benthem studied physics (B.Sc. 1969), philosophy (M.A. 1972) and mathematics (M.Sc. 1973) at the University of Amsterdam and received a PhD from the same university under supervision of Martin Löb in 1977. Before becoming University Professor in 2003, he held appointments at the University of Amsterdam (1973–1977), at the University of Groningen (1977–1986), and as a professor at the University of Amsterdam (1986–2003).
In 1992 he was elected member of the Royal Netherlands Academy of Arts and Sciences.
Van Benthem is known for his research in the area of modal logic. This research has resulted in Van Benthem's theorem, which states that propositional modal logic is the fragment of first-order logic that is invariant under bisimulation.
He has also been active in the fields of philosophy of science, logical structures in natural language (generalized quantifiers, categorial grammar, substructural proof theory), dynamic logic and update logic, and applications of logic to game theory, as well as applications of game theory to logic (game semantics). Van Benthem is a member of the group collectively publishing under the pseudonym L. T. F. Gamut. He has also taught in China. He made an effort to encourage and organize international collaboration between Chinese and Western logicians.
Professor van Benthem retired from the Institute for Logic, Language and Computation in September 2014.

## Publications

* Logic in action, North Holland, 1991
* Handbook of Logic and Language, ed. with Alice ter Meulen, Elsevier/MIT Press, 1997
* Modal Logic: A Semantic Perspective, with Patrick Blackburn
* Modal Logic for Open Minds, CSLI Publications, 2010
* Logic in Games, MIT Press, January 2014
# Dendrocometes

Dendrocometes is a genus of suctorian infusoria, characterized by the repeatedly branched attached body; each of the lobes of the body gives off a few retractile tentacles. It is epibiotic on the gills of the so-called freshwater shrimp Gammarus pulex.
# William S. McNair

Major General William Sharp McNair (September 18, 1868 – April 6, 1936) was a U.S. Army general. During World War I, he commanded the artillery unit of the First Infantry Division and later the 151st Field Artillery Brigade.

## Early life

William Sharp McNair was born on September 18, 1868, in Tecumseh, Michigan. His father was also from Tecumseh and his mother from Bucyrus, Ohio. He entered the United States Military Academy and graduated number twenty-three of fifty-four in the class of 1890. He was commissioned in the Artillery Corps. His classmates there included Colden Ruggles, Fred W. Sladen, Frank M. Caldwell, Clint C. Hearn, Daniel W. Ketcham, Edgar Jadwin, Francis Marshall, Harry H. Bandholtz, Henry D. Todd Jr., William C. Davis, George G. Gatley, Herbert Deakyne and William J. Snow. All of these men would, like McNair himself, attain the rank of general officer.

## Military career

In 1896, McNair graduated from the Artillery School. He served in the China Relief Expedition, the Philippine–American War, and the Moro Expedition of 1903, for which he received his first Silver Star Citation. In 1916 and 1917, he served as brigadier general with the New York National Guard.
In France, he commanded the artillery of the First Infantry Division, and he later commanded the 151st Field Artillery Brigade. He participated in the Meuse-Argonne and the Sedan battles. He served as Chief of Artillery, first Army, and received the Distinguished Service Medal and another Silver Star.
From 1920 to 1922, he was Chief of Staff of the Department of Panama. His rank of brigadier general was restored in 1930, and when he retired on September 30, 1932, he was a major general.

## Personal life

On December 26, 1894, he married Louise Bestor Potts at Fort Barrancas, Florida and they had four children: Mary Louise McNair, Dorothy McNair, William Douglas McNair (USMA, class of 1918), and Norma B. McNair. In retirement, he lived in San Antonio, Texas. He was a Presbyterian. McNair died on April 6, 1936.

## Awards

He received the Army Distinguished Service Medal during World War I, with the medal's citation stating the following:
   The President of the United States of America, authorized by Act of Congress, July 9, 1918, takes pleasure in presenting the Army Distinguished Service Medal to Major General William Sharp McNair, United States Army, for exceptionally meritorious and distinguished services to the Government of the United States, in a duty of great responsibility during World War I. Serving in turn as Commander of the 1st Field Artillery Brigade, 1st Division, and the 151st Field Artillery Brigade, 76th Division, as Chief of Artillery, 1st Army Corps, during the latter part of the Meuse-Argonne offensive and as Chief of Artillery of the 1st Army from 18 November 1918 until April 1919, by his marked ability, sound judgment, and thorough knowledge of artillery General McNair rendered conspicuous services in a position of great responsibility to the American Expeditionary Forces.
He received the Silver Star Citation for gallantry in action during the Philippine Insurrection, 1899 to 1902.
# Stade du Hainaut

The Stade du Hainaut is a multi-use stadium in Valenciennes, France. It is used mostly for football matches and hosts the home matches of Valenciennes FC. It has replaced the Stade Nungesser as VAFC's home stadium. The stadium has a capacity of 25,172 spectators for football matches, but its capacity can be extended to 35,000 for concerts. The stadium is one of the venues for the 2019 FIFA Women's World Cup. It hosted 4 group games, a Round of 16 match, and a quarter-final match.
The stadium was constructed at a total cost of 75 million euros. It contains 2,600 club seats and 16 luxury boxes. It has two giant video screens, each 48 square meters in size. Its roof contains 1,800 tons of steel.

## Grand opening

The stadium's grand opening occurred on the evening of 26 July 2011, for a friendly football match between Valenciennes FC and Borussia Dortmund. The visitors prevailed 1–0 before a club-record crowd of 22,778.

## Competitions

The stadium hosted the 2019 FIFA Women's World Cup.
| Date | Time (CEST) | Team #1 | Res. | Team #2 | Round | Attendance |
| 9 June 2019 | 13:00 | Australia | 1–2 | Italy | Group C | 15,380 |
| 12 June 2019 | 18:00 | Germany | 1–0 | Spain | Group B | 20,761 |
| 15 June 2019 | 15:00 | Netherlands | 3–1 | Cameroon | Group E | 22,423 |
| 18 June 2019 | 21:00 | Italy | 0–1 | Brazil | Group C | 21,669 |
| 23 June 2019 | 17:30 | England | 3–0 | Cameroon | Round of 16 | 20,148 |
| 29 June 2019 | 15:00 | Italy | 0–2 | Netherlands | Quarter-finals | 22,600 |
# Edelweiss (band)

Edelweiss were an Austrian electronic dance music group consisting of remixers Martin Gletschermayer, Matthias Schweger and Walter Werzowa. The group is best known for their 1988 worldwide hit "Bring Me Edelweiss", and their European hit "Starship Edelweiss".
Edelweiss reached the number one position with their hit "Bring Me Edelweiss," featuring Austrian folk singer Maria Mathis, who also did the live performances (and later recorded an updated version in 1999). The single was a hit in many European countries, supposedly by following the instructions given in The KLF's book The Manual. Borrowing large parts of its melody from ABBA's "SOS" and Indeep's "Last Night a DJ Saved My Life", the song humorously targeted Austrian ski resorts and yodeling and sold five million copies worldwide. Bill Drummond, one of the authors of The Manual (How to Have a Number One the Easy Way), mentioned the group in the epilogue of the German release of the book, which was originally published in 1989 (in English).

## Discography
### Singles

| Year | Single | Peak chart positions | Peak chart positions | Peak chart positions | Peak chart positions | Peak chart positions | Peak chart positions | Peak chart positions | Peak chart positions | Album |
| 1988 / 89 | "Bring Me Edelweiss" | 1 | 5 | 7 | 24 | 2 | 1 | 2 | 1 | Singles only |
| 1989 | "I Can't Get No... Edelweiss" | — | — | — | — | — | — | — | — | Singles only |
| 1992 | "Raumschiff Edelweiss" / "Starship Edelweiss" | 1 | — | — | — | 7 | 8 | 19 | 25 | Wonderful World of Edelweiss |
| 1992 | "Planet Edelweiss" | 14 | — | — | — | — | — | — | — | Wonderful World of Edelweiss |
| 1992 | "To The Mountain Top" | — | — | — | — | — | — | — | — | Wonderful World of Edelweiss |
| 1993 | "Beam Me Up" | — | — | — | — | — | — | — | — | Wonderful World of Edelweiss |
| 1993 | "Ski Instructor" | — | — | — | — | — | — | — | — | Wonderful World of Edelweiss |
| 1997 | "Edeltaler Hochzeitsmarsch (Kein Sex vor der Ehe)" | — | — | — | — | — | — | — | — | Singles only |
| 2001 | "Bring Me Edelweiss" (Remix) | — | — | — | — | — | — | — | — | Singles only |

### Album

| Year | Title | Chart positions | Chart positions |
| 1992 | Wonderful World of Edelweiss | 11 | 91 |
# Tolt River

The Tolt River is located in the western foothills of the Cascade Mountains in north central King County in the U.S. state of Washington. The river begins at the confluence of the North Fork Tolt and South Fork Tolt rivers. It flows southwest joining the Snoqualmie River near Carnation, Washington. The Tolt River watershed is part of the larger Snohomish River and Puget Sound drainage basin.
The South Fork Tolt watershed provides ~30% of the drinking water for Seattle area residents.

## Name origin

The name Tolt comes from the Lushootseed village name tultxʷ or tulq.
# Grigory Romodanovsky

Grigory Grigoryevich Romodanovsky (Russian: Григорий Григорьевич Ромодановский) was a controversial figure of the Russian foreign policy as a member of the Razryadny Prikase, playing a key role in pursuing leaders of the Ukrainian Cossack officers into the union with the Muscovy state. During the Russo-Polish war, he was a leading Russian general of Tsar Alexis's reign who promoted the Tsar's interests in Ukraine.

## Biography

Romodanovsky belonged to the Rurikid clan of Romodanovsky. He took part in the Pereyaslav Rada of 1654 and led his Streltsy against the Poles during Russo-Polish War (1654–1667). On 9 May 1656, after being appointed as Okolnichiy, Romodanovsky was also appointed the Voivode of Belgorod Razryad created in the Sloboda Ukraine. In 1659 while assisting the Prince Alexei Trubetskoi in his expedition against Ivan Vyhovsky suffered notable defeat at the battle of Konotop after number of easy victories in the same region. During the 1660s and 1670s, he was instrumental in spreading Muscovite influence in the Cossack Hetmanate, sometimes openly interfering into election of the Hetman of Zaporizhian Host and promoting the candidates backed up by Moscow. In 1670 along with Cossacks of Demian Mnohohrishny successfully defended against insurgents of Stepan Razin.
Romodanovsky was in charge of the Russian army during the Russo-Turkish War (1676–1681), but his rivalry with a cousin, Prince Vasily Galitzine, stymied his later career. Prince Grigory Romodanovsky was killed by the mob during the Moscow Uprising of 1682.
# 1945 Harvard Crimson football team

The 1945 Harvard Crimson football team was an American football team that represented Harvard University during the 1945 college football season. Head coach Dick Harlow returned for his ninth year, after a two-year gap while serving in the Navy. The team compiled a 5–3 record and outscored its opponents 161 to 80. Robert Cowen II was the team captain.
During Harlow's absence, Harvard played a shortened "informal" schedule in 1943 and 1944, lacking its traditional Ivy League opponents. Harlow's return from military service, as well as the renewal of ties with Ivy opponents Brown and Yale, made 1945 a transition year. The university's record book omits the "informal" designation for 1945, but contemporary press accounts describe that year's program as "informal" and preparing for a return to the top tier of college football in 1946.
Harvard played its home games at Harvard Stadium in the Allston neighborhood of Boston, Massachusetts.

## Schedule

| Date | Opponent | Site | Result | Attendance |
| October 6 | Tufts | Harvard StadiumBoston, MA | L 6–7 | 10,000 |
| October 13 | Rochester | Harvard StadiumBoston, MA | W 21–13 | 9,000 |
| October 20 | Naval Submarine Base New London | Harvard StadiumBoston, MA | L 7–18 | 11,000 |
| October 27 | Coast Guard | Harvard StadiumBoston, MA | W 25–0 | 12,000 |
| November 10 | Merchant Marine | Harvard StadiumBoston, MA | W 28–7 | 8,000 |
| November 17 | at Brown | Brown StadiumProvidence, RI | W 14–7 | 15,000 |
| November 24 | Boston University | Harvard StadiumBoston, MA | W 60–0 | 6,000 |
| December 1 | at Yale | Yale BowlNew Haven, CT (The Game) | L 0–28 | 35,000 |
# NFL Blitz 2003

NFL Blitz 2003 is a video game published by Midway Sports for Game Boy Advance, GameCube, PlayStation 2 and Xbox in 2002.

## Reception

Aggregate score :
| Aggregator | Score | Score | Score | Score |
| Aggregator | GBA | GC | PS2 | Xbox |
| Metacritic | 33/100 | 72/100 | 73/100 | 72/100 |
Review scores :
| Publication | Score | Score | Score | Score |
| Publication | GBA | GC | PS2 | Xbox |
| Electronic Gaming Monthly | N/A | N/A | 7.17/10 | N/A |
| Game Informer | N/A | N/A | 5.25/10 | N/A |
| GameSpot | 7/10 | 8/10 | 8.3/10 | 8/10 |
| GameSpy | N/A | | | |
| GameZone | N/A | N/A | 9/10 | N/A |
| IGN | 1/10 | 7.8/10 | 7.8/10 | 7.8/10 |
| Nintendo Power | N/A | 3.4/5 | N/A | N/A |
| Nintendo World Report | N/A | 7/10 | N/A | N/A |
| Official U.S. PlayStation Magazine | N/A | N/A | | N/A |
| Official Xbox Magazine (US) | N/A | N/A | N/A | 6.5/10 |
| Maxim | N/A | | | |
The game received "average" reviews on all platforms except the Game Boy Advance version, which received "unfavorable" reviews, according to the review aggregation website Metacritic.
It was a runner-up for GameSpot's annual "Best Game No One Played on GameCube" award, which went to Sega Soccer Slam.
# Emmy (disambiguation)

The Emmy is an award that recognizes excellence in television.
Emmy or Emmie may also refer to:
* Emmy (given name) or Emmie, a given name and list of people with the name
* Emmie (singer) or Emma Sarah Morton-Smith (born 1977), English singer-songwriter
* Emmy (Albanian singer) (1989–2011)
* Emmy (Armenian singer) (born 1984)
* Emmy (Norwegian singer) (born 2000)
* Emmy (film), a 1934 Hungarian comedy
* emmy (magazine), a television industry journal published by the Academy of Television Arts & Sciences
* Hurricane Emmy, a tropical storm in the 1976 Atlantic hurricane season
# Roman Catholic Diocese of Świdnica

The Diocese of Świdnica (Latin: Dioecesis Suidniciensis) is a Latin Church diocese of the Catholic Church located in the city of Świdnica in the ecclesiastical province of Wrocław in Poland. In 2013 about 28.7% of the dioceses population attended a church on Sundays regularly according to the church statistics.
Its St. Stanislaus and St. Wenceslaus Cathedral in Świdnica is listed as a Historic Monument of Poland.

## History

The new diocese was created from the combination of 13 deaneries of the Archdiocese of Wroclaw and 8 deaneries of the Diocese of Legnica.
On February 24, 2004, John Paul II announced the election of Świdnica (from Nysa, Wałbrzych and Kłodzko) as the capital of the new diocese in Lower Silesia.
On March 19, 2008, Pope Benedict XVI appointed Adam Bałabuch, the first auxiliary bishop in the diocese.
On March 31, 2020 bishop Ignacy Dec retire and Pope Francis appointed Marek Mendyk as new diocesan bishop.

## Leadership

* Bishops of Świdnica (Roman rite):
** Bishop Ignacy Dec (February 24, 2004 – March 31, 2020)
** Bishop Marek Mendyk (since April 24, 2020)
* Auxiliary bishop
** Adam Bałabuch (since March 19, 2008)
# Hussein Abdul-Wahid Khalaf

Hussein Abdul-Wahid (born 19 January 1993 in Basra, Iraq) is an Iraqi football midfielder. He currently plays for Al-Minaa in Iraq.

## International debut

On 4 September 2014, Wahid made his International debut against Peru in a friendly match that ended 0–2 for Peru.
# Hoplerythrinus

Hoplerythrinus is a genus of trahiras found in Central and South America. The currently described species in this genus are as follows:
* Hoplerythrinus cinereus (T. N. Gill, 1858)
* Hoplerythrinus gronovii (Valenciennes, 1847)
* Hoplerythrinus unitaeniatus (Spix & Agassiz, 1829)
# Moorhouse

Moorhouse or Moor House may refer to:
* Moorhouse (surname)
* Moorhouse (band), a New Zealand boy band
* Moorhouse, Woodside, a hamlet in the civil parish of Woodside, Cumbria, England
* Moorhouse, Cumbria, a village near Carlisle, Cumbria, England
* Moorhouse, Nottinghamshire, England
* Moorhouse, South Yorkshire, a location in England
* Moor House, a building in the City of London
* Jane Eyre § Moor House, a fictional place from the novel Jane Eyre
# Darren Dreger

Darren Dreger (born June 13, 1968) is a Canadian sportscaster for TSN, and is one of TSN's Hockey Insiders. He had previously hosted Leafs Lunch on CFMJ AM640 Toronto Radio.

## Broadcasting career

After graduating from the Western Academy Broadcasting College, Dreger was immediately offered a job from a radio station in Winkler, Manitoba. However, on the same day, he was offered another job closer to home, which he accepted. Beginning in 1992, Dreger lent his voice as a play-by-play announcer for the Brandon Wheat Kings. This lasted until 1993 when he was hired to replace Daren Millard at CTV Winnipeg. While there, he also conducted play-by-play for the Manitoba Moose of the American Hockey League.
From Winnipeg, Dreger moved to Edmonton in 1997 to report on Edmonton Oilers games and was subsequently hired by Sportsnet as a national host for their NHL package in 1998. Dreger was the former host of Hockey Central on Rogers Sportsnet between 1998 and 2006. On July 14, 2006, it was announced that Dreger would leave Sportsnet and join TSN on July 31, 2006, hence 'crossing the parking lot'.
Dreger won a Gemini Award in 2010 in the Best Sports Reporting category for his coverage of the firing of NHLPA Executive Director Paul Kelly. He was the only reporter in Chicago when the news broke and therefore had sole coverage. In October 2014, Bob McKenzie and Dreger began appearing as a full-time contributors on NBCSN, until NBC Sports lost the NHL hockey rights to both ESPN and Turner Sports in 2021. This was because TSN lost their NHL broadcasting rights package to Sportsnet.

## Personal life

Dreger was born in Red Deer, Alberta, and grew up in Saskatchewan. Dreger and his wife Holly have two children together, a son and a daughter.
# Company A-1

Company A-1 is the oldest outfit in the Texas A&M Corps of Cadets, having been the original outfit formed for all 20 of A&M's first cadets in 1876.

## Unit genealogy

* Company A (1876-1901)
* Company A Infantry (1901-1916)
* Company A Infantry, 1st Regiment (1917-?)
* Company A Infantry (?-1959)
* Company A-1 "Animal A" (1959–present)

## Traditions
### "For The Good Times"

In the early 1980s, Animal A faced disbandment due to increasingly shrinking recruiting classes and several disciplinary incidents. The cadets, convinced that the final football march-in would be the last for Company A-1, decided to play the song "For The Good Times" by country music singer Ray Price before they formed up to march out. As it turned out, Company A-1 would survive (and in fact continue to be the oldest surviving non-disbanded outfit in the Corps) and thrive in the coming years, returning to prominence in the Corps. To this day, Animal A continues to circle up before each home football game and put their arms around their fellow Animals, swaying back and forth to the slow, pulsing beat of "For The Good Times."

### Ranger Joe

Company A-1 has long been known throughout the Corps as an outfit that has an exceptionally high rate of cadets who contract as officers in the U.S. Army. As such, A-1 adopted the "Ranger Joe" character meant to personify the grit, skill, and high standards of the U.S. Army Rangers as an unofficial company mascot. Ranger Joe has since appeared on most outfit signs and logos since the mid-20th century.

### Company Bonfire

After the collapse of the bonfire stack in 1999, the subsequent ban of an on-campus bonfire has prevented A-1 from participating in many of their time-honored bonfire traditions (including the fish eating a grasshopper at First Cut to prove they were an Animal). In the fall of 2003, the A-1 freshman class (the class of '07) decided to have a class bonfire at the ranch of one of their fish buddies. The tradition continued the following year and became an official, outfit-wide function in the fall of 2005. The Company Bonfire is a perfect time for members of A-1 to display the strong work ethic, teamwork, and camaraderie that they develop as Animals. In 2016, A-1 was allowed to participate in Bonfire for the first time.
# Barbara Wall

Barbara Wall (born 25 May 1948) is an Australian former professional squash player.
Wall turned professional in 1973, the first Australian woman to do so. She travelled overseas in 1976 and, though unseeded, managed to make the final of the British Open the following year where she lost to her compatriot Heather McKay. Wall followed up with victories in the Danish, Irish, and Belgian Open Championships and a win at the South African Champion of Champions. In 1979, she won the British Open as the number 8 seed, beating Sue Cogswell of England in the final 8-10, 6–9, 9–4, 9–4, 9–3.
Wall represented Australia in the 1979 Women's World Team Squash Championships and trained under Shirley de la Hunty.
Wall was named Western Australian Sports Star of the Year in 1979 and was inducted into the Western Australian Hall of Champions in 1988.
# Day Harbor

Day Harbor is a bay on the Kenai Peninsula of Alaska, United States. It received its name in 1787 from Captain Portlock, because travel to the head of the bay from Seward typically takes 12 hours. The bay is 25 miles from Seward, and is accessible only by boat. It is a gently curving J-shaped bay separated on the west from nearby Resurrection Bay by the Resurrection Peninsula. Recreational boaters often anchor at one of the two State Marine Parks due to the often choppy seas and unstable weather of outer Day Harbor. Lesser used anchorages on the eastern shore include Anchor Cove and Bowen Anchorage. Popular activities in the bay include hiking to Ellsworth Lake at the head of the bay where the retreating Ellsworth Glacier calves.
The majority of the land surrounding Day Harbor is private, with over 400 different properties.

## Parks

The bay is home to two Alaska State Parks. Driftwood Bay State Marine Park is 1,480 acres (600 ha) of undeveloped wilderness. The primary activity in the park is boating for either fishing or sightseeing purposes, it is mostly a day-use park due to the lack of any facilities on shore. Safety Cove State Marine Park is 960 acres (390 ha), including waters in the bay. It is also undeveloped but offers a good spot for beach camping, a small freshwater lake, and access to the high country of the Resurrection Peninsula.
# Nils Christian Moe-Repstad

Nils Christian Moe-Repstad (1 February 1972 – 15 September 2022) was a Norwegian poet. He received the Dobloug Prize in 2020.

## Career

Moe-Repstad made his literary début in 1996 with the poetry collection Nå. His poetry collection Sannheten og andre konstruksjoner earned him the Sørlandet Literary Prize [no]. Among his other poetry collections are Teori om det eneste from 2013 and Wunderkammer from 2016, which were both nominated for the Brage Prize.
He was awarded the Dobloug Prize in 2020.

## Personal life

Born in Kristiansand on 1 February 1972, Moe-Repstad suffered from paraplegia due to a diving accident at the age of 19.
Moe-Repstad died in Kristiansand on 15 September 2022, at the age of 50.