OpenLLM-France/wikimedia huggingface dataset:
# Live (2023 film)

Live is a 2023 Indian Malayalam-language thriller film written and directed by V. K. Prakash. The film stars Mamta Mohandas, Soubin Shahir, Shine Tom Chacko, Priya Prakash Varrier, Krishna Prabha, and Reshmi Soman. The film is produced Darppan Bangejja and Nitin Kumar under the banner of Films 24. The film was released on 26 May 2023.

## Plot

Anna is the victim of a fake news. She joins forces with Dr. Amala, who's also facing cyber harassment. And they both come together to fight against the media mafia.

## Cast

* Mamta Mohandas as Dr. Amala Sriram
* Soubin Shahir as Sriram
* Shine Tom Chacko as Sam John Vakathanam
* Priya Prakash Varrier as Anna
* Krishna Praba
* Reshmi Soman as Dr. Nikhila

## Production

The first look poster of the film was released on 16 March 2023. Later trailer was released and the production team announced that the film will be release on release on 12 May and the film was postponed to 26 May 2023.

## Reception

Swathi P. Ajith of Onmanorama wrote that "However, considering the significant theme it presents, Live can still be considered a must-watch". Anandu Suresh of IndianExpress.com gave two stars out of five and wrote that "In short, Live joins the ranks of other Malayalam films that, despite attempting to tackle a socially relevant subject, fail to grasp its true purpose." Vignesh Madhu of 1.5 our 5 rating and stated that "Shine Tom Chacko's lively act is the only saving grace in this well-intentioned but ineffective film".
S. R. Praveen of The Hindu stated that "The makers of Live seem to have given much thought on the subject they are dealing with, but not much on how they would portray it on-screen. It thus ends up as a weak take on a relevant issue."
# Shahr-e-Gholghola

Shahr-e Gholghola or Gholghola City (Dari: شهر غلغله) (also City of Screams, City of Woe, City of Sorrows) is an archaeological site located near the town of Bamyan, Afghanistan.
The Siege of Bamyan took place here in 1221 during the Mongol pursuit of Jalal ad-Din Mingburnu, the last ruler of the Khwarezmian Empire. Mutukan, eldest son of Chagatai Khan and favourite grandson of Genghis Khan, was killed in battle by an arrow from the besieged walls, which led Genghis to massacre the population of the city and its surrounding region (the origin of the city's moniker "City of Woe").
# Zverev

Zverev (Russian: Зве́рев, from зверь meaning beast) is a Russian masculine surname also used in Belarus; its feminine counterpart is Zvereva, Zverava (Belarusian: Зверава). It may refer to
* Alexander Zverev Sr. (born 1960), Soviet tennis player
* Alexander Zverev (born 1997), German tennis player
* Alexander Zverev (sprinter) (born 1989), Russian sprinter
* Anatoly Zverev (1931–1986), Soviet artist
* Arseny Zverev (1900–1969), Soviet finance minister
* Ellina Zvereva (born 1960), Belarusian discus thrower
* Mischa Zverev (born 1987), Russian-born German tennis player
* Natasha Zvereva (born 1971), Belarusian tennis player
* Nicolas Zverev (1887–1965), Russian-French ballet dancer
* Nikolai Zverev (1832–1893), pianist and teacher of major Russian classical music figures
* Oleg Zverev (born 1967), Russian naval officer
* Yana Zvereva (born 1989), Russian épée fencer
# 71

71 may refer to:
* 71 (number)
* one of the years 71 BC, AD 71, 1971, 2071
* '71 (film), 2014 British film set in Belfast in 1971
* 71: Into the Fire, 2010 South Korean film
* Various highways; see List of highways numbered 71
* The atomic number of lutetium, a lanthanide
* The number of the French department Saône-et-Loire
* Nickname for the city of Wrocław
* 71 Niobe, a main-belt asteroid
# Passion Struck (book)

Passion Struck: Twelve Powerful Principles to Unlock Your Purpose and Ignite Your Most Intentional Life (2024) is a self-help book written by John R. Miles. the book explores strategies and actionable steps to help readers discover their purpose.

## Background

John R. Miles, an entrepreneur and former U.S. Navy officer incorporates insights from his experiences and interviews with various successful individuals. The book features contributions from public figures such as Oprah Winfrey, Square founder Jim McKelvey, General McChrystal, the Honorable Keith Krach, astronaut Captain Wendy Lawrence, and Jeff Bezos. These contributors provide perspectives and advice on leadership, self-mastery, and personal growth.
It is organized around twelve key principles or strategies. each aimed at empowering readers to embrace their passions and live with intention.The book includes a foreword by Matt Higgins.

## Reception

Passion Struck has received positive critical and reader feedback. the book has been recognized with awards, including Best Business Minds Award Winner for 2024, Global Book Awards Gold Winner for Best Business Book, Silver Stevie® Winner for Best Business Book and Best E-Book, Goody Business Book Awards 2024 Winner in Personal Transformation.
# Christian Rutjens

Christian Rutjens Oliva (born 5 January 1998) is a Spanish professional footballer who plays as a defender for Europa.

## Career

In 2016, Rutjens signed for Italian Serie A side Benevento, where he made one league appearance. On 20 May 2018, he debuted for Benevento in a 1–0 loss to Chievo. Before the second half of 2018–19, Rutjens signed for Cesena in the Italian fourth division. In 2021, he signed for Maltese club Floriana.
On 6 January 2023, Rutjens returned to Italy and signed with Foggia until the end of the season, with an option to renew.

## Honours

Floriana
* Maltese FA Trophy: 2021–22
* Maltese Super Cup runner-up: 2022
# The SpongeBob Movie: Search for SquarePants

The SpongeBob Movie: Search for SquarePants is an upcoming American animated adventure comedy film based on the SpongeBob SquarePants television series, created by Stephen Hillenburg. The film is directed by series veteran Derek Drymon and stars the show's regular voice cast alongside Mark Hamill. The plot follows SpongeBob as he travels to the depths of the ocean to face off against the Flying Dutchman. It is the fourth theatrical film based on the series, following the first in 2004, the second in 2015, and the third in 2020.
Development on a fourth main SpongeBob film had begun by February 2022. By April 2023, Drymon had been hired to direct the film. In July 2024, Hamill announced that he would play the Flying Dutchman in the film, replacing Brian Doyle-Murray, who had provided the character's voice in the series.
The SpongeBob Movie: Search for SquarePants will be theatrically released by Paramount Pictures in the United States on December 19, 2025.

## Premise

The film follows SpongeBob, as he travels to the depths of the ocean to face off against the Flying Dutchman.

## Voice cast

* Tom Kenny as SpongeBob SquarePants
* Clancy Brown as Mr. Krabs
* Rodger Bumpass as Squidward Tentacles
* Bill Fagerbakke as Patrick Star
* Carolyn Lawrence as Sandy Cheeks
* Mr. Lawrence as Plankton
* Mark Hamill as The Flying Dutchman

## Production

A fourth theatrical SpongeBob SquarePants film was officially confirmed to be in development in February 2022. In April 2023, during Paramount Pictures' CinemaCon panel, it was announced that the film would be titled The SpongeBob Movie: Search for SquarePants, with series veteran Derek Drymon set to direct the film. In April 2024, it was reported that the show's regular voice cast of Tom Kenny, Clancy Brown, Rodger Bumpass, Bill Fagerbakke, Carolyn Lawrence, and Mr. Lawrence would reprise their roles. Pam Brady and Lisa Stewart would serve as producers. At San Diego Comic-Con in July 2024, Mark Hamill announced that he would play the Flying Dutchman, replacing his long-time voice actor Brian Doyle-Murray from the series.

## Release

The SpongeBob Movie: Search for SquarePants is scheduled for theatrical release on December 19, 2025, by Paramount Pictures. It was previously scheduled for May 23, 2025, but was pushed back to December 19, 2025, with Mission: Impossible – The Final Reckoning taking the May 2025 slot due to the 2023 SAG-AFTRA strike.
# Haval Raptor

The Haval Raptor (Chinese: 哈弗猛龙) is a compact SUV produced by Great Wall Motor under the Haval brand.

## Overview

After the Chinese Ministry of Industry and Information Technology published initial information about the vehicle with the internal code B26 in June 2023, the Raptor was officially presented in August 2023. It went on sale in the Chinese market on 10 October 2023.

## Specifications

The five-seater Raptor is offered exclusively as a plug-in hybrid with all-wheel drive. There are two variants to choose from. The cheaper one has a 19.1 kWh lithium iron phosphate battery and a system output of 278 kW (373 bhp; 378 PS), the top model has a lithium iron phosphate battery with 27.5 kWh and a system output of 282 kW (378 bhp; 383 PS).
The vehicle's ground clearance is 20 centimeters and the fording depth is 56 centimeters. The approach angle is given as 24 degrees at the front and 30 degrees at the rear.
# Polish alexandrine

Polish alexandrine (Polish: trzynastozgłoskowiec) is a common metrical line in Polish poetry. It is similar to the French alexandrine. Each line is composed of thirteen syllables with a caesura after the seventh syllable. The main stresses are placed on the sixth and twelfth syllables. Rhymes are feminine.
The Polish alexandrine was introduced in the 15th century. It was borrowed from Latin poetry. It was widely used by Jan Kochanowski, the first great Polish poet, as exemplified in the first two lines of his "Lament 13", with a formal paraphrase in English:
The Polish national epic, Pan Tadeusz by Adam Mickiewicz, is written in this measure. Polish alexandrines replaced hendecasyllables in sonnets: in the 16th century poets like Sebastian Grabowiecki and Mikołaj Sęp-Szarzyński wrote sonnets using 11-syllable metre, but in the 17th century Daniel Naborowski translated one of Petrarch's sonnets using 13-syllable lines:
Adam Mickiewicz composed his famous Crimean Sonnets in 13-syllable lines:
The Polish alexandrine was used by many translators (among others, Franciszek Ksawery Dmochowski) as an equivalent of ancient Greek and Roman dactylic hexameter:
Achilla śpiewaj, Muzo, gniew obfity w szkody, Który ściągnął klęsk tyle na Greckie narody
As Polish words are longer than English ones, the 13-syllable line is good for translating English iambic pentameter.
Nowadays Polish alexandrine lines are often mixed with hendecasyllable ones in one poem.
# Sidney Cornell

Sidney Cornell (26 December 1914 - 7 April 1945) was a British soldier who served during World War II.

## Biography

Sidney Cornell was born in Portsmouth to an African American father on 26 December 1914. He later joined the British airborne forces and showed a strong passion for flying. In 1943, he attended parachute training and his report stated that he was the best performer.
Cornell was posted to the 7th Parachute Battalion as a company runner and took part in the Normandy campaign. He saw action at Le Mariquet woods and Le Bois de Bavent. Cornell was wounded four times but continued fighting. For his brave conduct he was awarded with the Distinguished Conduct Medal in February 1945 and received a promotion to the rank of sergeant.
Cornell saw further action during the Battle of the Bulge and took part in Operation Varsity in March 1945. During this operation, Cornell’s battalion was tasked with securing a bridge in the German city of Neustadt. A local civilian warned Cornell’s commanding officer, Major Reid, that the bridge would be blown. Reid decided to rush to the bridge and attempt to capture it intact before it could be destroyed. A small group of men made it across the bridge but many others, including Cornell, died when German forces blew up the bridge.
He was given a field burial next to the bridge along with the other members of B Coy who were killed. He is now buried at Becklingen War Cemetery overlooking Luneberg Heath, Germany.

## In popular culture

The 2021 video game Call of Duty: Vanguard features a character loosely based on Cornell named Arthur Kingsley.
Sidney Cornell makes an appearance in the video game Enlisted as part of the 7th Parachute Battalion
# Logic for Computable Functions

Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at Stanford and Edinburgh by Robin Milner and collaborators in early 1970s, based on the theoretical foundation of logic of computable functions previously proposed by Dana Scott. Work on the LCF system introduced the general-purpose programming language ML to allow users to write theorem-proving tactics, supporting algebraic data types, parametric polymorphism, abstract data types, and exceptions.

## Basic idea

Theorems in the system are terms of a special "theorem" abstract data type. The general mechanism of abstract data types of ML ensures that theorems are derived using only the inference rules given by the operations of the theorem abstract type. Users can write arbitrarily complex ML programs to compute theorems; the validity of theorems does not depend on the complexity of such programs, but follows from the soundness of the abstract data type implementation and the correctness of the ML compiler.

## Advantages

The LCF approach provides similar trustworthiness to systems that generate explicit proof certificates but without the need to store proof objects in memory. The Theorem data type can be easily implemented to optionally store proof objects, depending on the system's run-time configuration, so it generalizes the basic proof-generation approach. The design decision to use a general-purpose programming language for developing theorems means that, depending on the complexity of programs written, it is possible to use the same language to write step-by-step proofs, decision procedures, or theorem provers.

## Disadvantages
### Trusted computing base

The implementation of the underlying ML compiler adds to the trusted computing base. Work on CakeML resulted in a formally verified ML compiler, alleviating some of these concerns.

### Efficiency and complexity of proof procedures

Theorem proving often benefits from decision procedures and theorem proving algorithms, whose correctness has been extensively analyzed. A straightforward way of implementing these procedures in an LCF approach requires such procedures to always derive outcomes from the axioms, lemmas, and inference rules of the system, as opposed to directly computing the outcome. A potentially more efficient approach is to use reflection to prove that a function operating on formulas always gives correct result.

## Influences

Among subsequent implementations is Cambridge LCF. Later systems simplified the logic to use total instead of partial functions, leading to HOL, HOL Light, and the Isabelle proof assistant that supports various logics. As of 2019, the Isabelle proof assistant still contains an implementation of an LCF logic, Isabelle/LCF.
# Oliver Branch

Oliver Branch is a stream in Montgomery County in the U.S. state of Missouri.
Oliver Branch has the name of John Oliver, a settler.
# Gero Station

Gero Station (下呂駅, Gero-eki) is a railway station on the Takayama Main Line in the city of Gero, Gifu Prefecture, Japan, operated by Central Japan Railway Company (JR Central).

## Lines

Gero Station is served by the JR Central Takayama Main Line, and is located 88.3 kilometers from the official starting point of the line at Gifu.

## Station layout

Gero Station has one ground-level island platform and one ground-level side platform connected by a footbridge. The station has a Midori no Madoguchi staffed ticket office.

### Platforms

| 1-3 | ■ Takayama Main Line | for Gifu and Nagoya for Mino-Ōta and Takayama |

## Adjacent stations

| « | Service | » |
| Takayama Main Line |||||
| Yakeishi | Local | Zenshōji |
| Hida-Kanayama | Limited Express Hida | Hida-Hagiwara |

## History

Gero Station opened on November 2, 1930. The station was absorbed into the JR Central network upon the privatization of Japanese National Railways (JNR) on April 1, 1987.

## Passenger statistics

In fiscal 2015, the station was used by an average of 826 passengers daily (boarding passengers only).

## Surrounding area

* Gero City Hall
* Hida River
* National Route 41

## Bus routes

* Nohi Bus
** For Shirakawa-go Bus Terminal
** For Takayama Station
** For Hida-Osaka Station
** For Hida-Hagiwara Station
** For Kashimo General Office (At this bus stop, passengers are able to transfer onto Kita-Ena Kotsu Bus bound to Tadachi Station and Nakatsugawa Station)
** For Norimasa Yuya
# John Wright (wide receiver)

John William Wright (born January 11, 1946) is an American former professional football player who was a wide receiver in the National Football League (NFL). He played college football for the Illinois Fighting Illini. Wright played in the NFL for the Atlanta Falcons in 1968 and for the Detroit Lions in 1969.
# Brent Draper

Brent Draper (born 2 May 1989) is an Australian television cook and digital content creator who came to prominence as the winner of the fifteenth series of MasterChef Australia.

## Personal life

Brent Draper was born on 2 May 1989 in Beaudesert, Queensland. His father worked in the meat industry. After working in concrete pumping, Draper trained as a boilermaker. He met his wife-to-be Shonleigh in 2011; they married in 2016 and have one son, born in 2018.

## MasterChef

Draper was selected to compete in series 13 of MasterChef Australia in 2021. After reaching the Top 13, he withdrew from the competition on 13 June, citing mental health issues. In 2023, having received help and support, Draper rejoined MasterChef for series 15. He went on to win the competition on 16 July, receiving a cash prize of $250,000. MasterChef judge, Jock Zonfrillo, who supported Draper through his mental health issues, died between the filming and the broadcasting of the series.
# Nikita Ducarroz

Nikita Ducarroz (born 12 August 1996) is a Swiss Freestyle BMX Olympic bronze medalist.

## Early life

Born in Nice, France to a Swiss father and an American mother of Assyrian and Sicilian descent, she grew up in Glen Ellen, California. At the age of 11, she began suffering from crippling anxiety which forced her to quit playing association football and attend online school. Her mother wanted her to pursue another sport. Through YouTube, Ducarroz found BMX.

## Career

In 2019, she finished fifth at the UCI Urban Cycling World Championships, fourth at the UCI Freestyle BMX World Cup and then won the 2020 BMX Simple Session in Tallinn, Estonia. During the COVID-19 pandemic, Ducarroz was in lockdown at the Daniel Dhers Action Sports Complex training facility in Holly Springs, North Carolina.
She won the bronze medal at the 2020 Tokyo Olympics in 2021. She won the silver medal at the 2021 UCI Urban Cycling World Championships in the Freestyle BMX, and again in 2022.
She competed at the 2024 Paris Olympics on 31 July 2024, without qualifying for the final and finishing 10th.

## Competitive history

All results are sourced from the Union Cycliste Internationale.
As of August 5th, 2024

### Olympic Games

| Event | Freestyle Park |
| 2020 Tokyo | Bronze |
| 2024 Paris | 10th |

### UCI Cycling World Championships

| Event | Freestyle Park |
| 2017 Chengdu | 17th |
| 2018 Chengdu | 6th |
| 2019 Chengdu | 5th |
| 2021 Montpellier | Silver |
| 2022 Abu Dhabi | Silver |
| 2023 Glasgow | 13th |

### UCI BMX Freestyle Park World Cup

| Season | 1 | 2 | 3 | 4 | Rank | Points |
| 2022 | MON 3 | BRU 4 | GOL 7 | | 2 | 2210 |
| 2023 | DIR 9 | MON 11 | BRU 14 | BAZ 7 | 4 | 1720 |
| 2024 | ENO 6 | MON — | SHA | | 13 | 670 |
# Pinch Creek (Loutre River tributary)

Pinch Creek is a stream in Montgomery County in the U.S. state of Missouri. It is a tributary of the Loutre River.
Pinch Creek (historically called "Pinch Branch") was named on account of the settlers in the area being "in a pinch".
# Gesellschaft für Erdkunde zu Berlin

The Gesellschaft für Erdkunde zu Berlin (Berlin Geographical Society) was founded in 1828 and is the second oldest geographical society.
It was founded by some of the foremost geographers of its time. The founder Carl Ritter and the founding member Alexander von Humboldt can also be considered the founders of modern scientific geography.
Today the society's aim still is to promote the exchange and spreading of geographical knowledge.
The society publishes the scientific journal Die Erde (Earth) which has been published since 1853. It also sponsors young scientists with the Humboldt-Ritter-Penck-Preis.
# Fishertown, Pennsylvania

Fishertown is an unincorporated community in Bedford County, Pennsylvania, United States. The community is located along Pennsylvania Route 56, 8.3 miles (13.4 km) northwest of Bedford. Fishertown has a post office, with ZIP code 15539.
# Hadassa Bergman

Hadassa Bergman Tirosh (Hebrew: הדסה ברגמן טירוש; 1927 - 2013), an Israeli politician, was the first head of the Eshkol Regional Council, then known as the Maon Regional Council.

## Career

Her appointment in 1951-1953, determined by the Kibbutz institutions, marked her as the sole female leader of a regional council during that period. She was the only woman to partake in the 1952 municipal convention for regional councils. Throughout her term, she advocated for the needs of the farmers in her jurisdiction, tackled theft issues in Negev villages, and addressed various challenges such as security concerns, drought, water scarcity, and transportation and communication issues.
Hadassa's father was the deputy mayor of Pinsk, an unusual position for Jews at the time. She was born in Israel and was a member of Kibbutz Nirim. Following her time as head of the regional council, she left Kibbutz Nirim due to the Sneh incident, an ideological dispute that resulted in the expulsion of certain kibbutz members, including her boyfriend at the time. Since he was not allowed to enter Kibbutz Nirim, she reluctantly departed for another Kibbutz before eventually relocating to Jerusalem.
# Thaungdut

Thaungdut is a village on the Chindwin River in Homalin Township in Hkamti District in the Sagaing Region of northwestern Burma. It is located next to Chaunggan.

## History

Originally, Thaungdut (Hsawnghsup) was one of the Shan States ruled by Shan saophas.
# Gapsville, Pennsylvania

Gapsville is an unincorporated community in East Providence Township, Bedford County, Pennsylvania, United States, south of Breezewood.

## Geography

Gapsville is located on South Breezewood Road (State Route 2024). Just to the east, across the county line in Fulton County, is Crystal Spring.
The community lies west of a water gap, where Brush Creek passes through Rays Hill, which forms the eastern border of Bedford County.

## Notable features

The Breezewood Post of the VFW is located in the town, as is the Brush Creek Campground.