OpenLLM-France/wikimedia huggingface dataset:
# Refuge Island (Tasmania)

Refuge Island is a flat granite island, with an area of about 6 ha, in south-eastern Australia. It is part of the Schouten Island Group, lying close to the eastern coast of Tasmania near the Freycinet Peninsula and is part of the Freycinet National Park.

## History

Shore-based whaling activities were conducted on the island in the 1820s. George Meredity and William Maycock had rival whaling stations in 1829. The activity continued during the 1830 season.

## Fauna

Recorded breeding seabird species are little penguin and short-tailed shearwater. The spotted skink is present.
# Renal glycosuria

Renal glycosuria is a rare condition in which the simple sugar glucose is excreted in the urine despite normal or low blood glucose levels. With normal kidney (renal) function, glucose is excreted in the urine only when there are abnormally elevated levels of glucose in the blood. However, in those with renal glycosuria, glucose is abnormally elevated in the urine due to improper functioning of the renal tubules, which are primary components of nephrons, the filtering units of the kidneys.

## Signs and symptoms

In most affected individuals, the condition causes no apparent symptoms (asymptomatic) or serious effects. When renal glycosuria occurs as an isolated finding with otherwise normal kidney function, the condition is thought to be inherited as an autosomal recessive trait.

## Causes

Renal glycosuria can result from Fanconi syndrome (with impaired absorption of phosphate, amino acids) or familial renal glucosuria (presents as isolated glucosuria). Familial renal glycosuria (FRG) is caused by mutations of SLC5A2, which codes for the sodium-glucose cotransporter 2.
Additionally, SGLT2 inhibitor medications produce glycosuria as their primary mechanism of action, by inhibiting sodium/glucose cotransporter 2 in the kidneys and thereby interfering with renal glucose reabsorption.

## Diagnosis

A doctor normally can diagnose renal glycosuria when a routine urine test (Urinalysis) detects glucose in the urine, while a blood test indicates that the blood glucose level is normal.

## Treatment

The cause of glycosuria determines whether the condition is chronic or acute. However, the presence of glucose in urine is not necessarily a serious or life-threatening condition. Managing diabetes, hyperthyroidism and regular kidney function tests can help in reducing excretion of sugars in urine.
SGLT-2 inhibitor drugs like dapagliflozin and canagliflozin have recently been approved for lowering blood sugar levels in patients with type 2 diabetes mellitus.
# Mahotis

Mahotis is a genus of skippers in the family Hesperiidae.
# Maher Charif

Maher Charif (Arabic: ماهر الشريف, transliterated Mahir ash-Sharif) is a Palestinian Marxist historian specialising in modern Arab intellectual history and the history of Arab political movements. He is working as a lecturer and researcher on medieval, modern, and Arab history at the French Near East Institute in Syria.
Charif is a Palestinian refugee born in Damascus, Syria to a Palestinian father and a Syrian mother. He has been a member of the Central Committee of the Palestinian People's Party, and is a commentator on politics and society in Arab newspapers.
His works include:
* Al-bahth 'an kiyan (The Search for an Entity), on the ideological evolution of Palestinian political movements
* Filastin fi-l-arshif as-sirri li-l-komintern (Palestine in the Secret Archive of the Comintern)
* Rihanat an-nahda fi-l-fikr al-'arabi (The Stakes of the Nahda in Arab Thought)
* Tayar al-islah ad-dini wa-masa'irihi fi-l-mujtama'at il-'arabiyya (The Religious Reformist Current and its Future in Arab Societies) conference papers, co-edited with Salam al-Kawakibi.
* Tatawwur mafhoum al-jihad fi-l-fikr al-islami (The Development of the Concept of Jihad in Islamic Thought)
# Propulsion Universelle et Récuperation d'Énergie

Propulsion Universelle et Récupération d'Énergie (PURE; English: Universal Propulsion and Energy Recovery) was a motorsports engineering company founded by former British American Racing team principal Craig Pollock in 2011. It aimed to design and manufacture engines for use under the 2014 Formula One technical regulations, that mandate a switch from the current normally aspirated V8 engines to turbocharged V6 engines. The company was linked to Mecachrome, and employed former members of Renault and Peugeot's 1990s Formula One engine programmes.
In July 2011, the company secured the services of Gilles Simon, formerly head of Scuderia Ferrari's engine department and the FIA technical director for powertrain development. The recruitment was controversial, with several teams and manufacturers – particularly Renault – expressing concerns that Simon's previous position with the FIA would grant him access to sensitive technical data about engine designs that could potentially be used by PURE in the development of their own engine. Simon and PURE rejected these suggestions, stating that the process of developing the 2014 engine regulations had been transparent, and that all parties involved had access to the same information so that no individual group would have an advantage. PURE used Toyota Motorsport's facilities in Cologne, Germany, whilst also maintaining a French base. In July 2012, PURE suspended its engine programme due to a lack of funding and later ceased operations.
# Propulsion Cryogenics & Advanced Development

Propulsion Cryogenics & Advanced Development (PCAD), was a NASA rocket engine development project from 2005 to 2010 that included methalox engines (liquid methane and liquid oxygen).
Ablative engines were developed by KT engineering, and Aerojet. A regeneratively cooled engine was developed by XCOR/ATK.
# Reginald Molehusband

Reginald Molehusband was a fictional character who starred in a public information film commissioned by the Central Office of Information and shown on British TV during the 1960s. The role of Molehusband was played by Ian Gardiner. No copy of the film is known to still exist.
Molehusband was depicted as the country's worst driver when it came to parallel-parking his Austin 1100 car. The film concluded with Reginald finally able to park the car successfully and so demonstrate the technique for the benefit of viewers.
The script reads:
    "This is the story of Reginald Molehusband, married, two children, whose reverse parking was a public danger. People came from miles just to see it. Bets were laid on his performance. What he managed to miss at the back, he was sure to make up for at the front. Bus drivers and taxis changed their routes to avoid him. Until the day that Reginald Molehusband did it right. Not too close, far enough forward... come on Reggie... and reverse in slowly... come on.... and watching traffic... and park perfectly! Well done Reginald Molehusband, the safest parker in town."
The name of Reginald Molehusband entered common parlance in the United Kingdom to refer to any inexpert or timid driver, and "Well done, Reginald" became a humorous catchphrase uttered in mock congratulation to someone successfully completing a modest task.
Because the original film was lost, a new version was made by the BBC in 2006, again starring Gardiner, who played Reginald in the original film. A new voiceover was recorded, despite a recording of the original narration existing.
# Reidville, South Carolina

Reidville is a town in Spartanburg County, South Carolina, United States. The population was 601 at the 2010 census.

## History

A post office has been in operation at Reidville since 1858. The community was named for R. H. Reid, a local minister.
Reidville Academy Faculty House was listed on the National Register of Historic Places in 1997.

## Geography

Reidville is located at 34°51′54″N 82°6′17″W﻿ / ﻿34.86500°N 82.10472°W﻿ / 34.86500; -82.10472 (34.865048, -82.104812).
According to the United States Census Bureau, the town has a total area of 1.4 square miles (3.5 km$^2$), all land.

## Demographics

As of the census of 2000, there were 478 people, 195 households, and 146 families residing in the town. The population density was 350.1 inhabitants per square mile (135.2/km$^2$). There were 209 housing units at an average density of 153.1 per square mile (59.1/km$^2$). The racial makeup of the town was 90.59% White, 7.95% African American, 0.63% Asian, and 0.84% from two or more races. Hispanic or Latino of any race were 1.67% of the population.
There were 195 households, out of which 30.3% had children under the age of 18 living with them, 63.1% were married couples living together, 8.7% had a female householder with no husband present, and 25.1% were non-families. 23.1% of all households were made up of individuals, and 10.3% had someone living alone who was 65 years of age or older. The average household size was 2.45 and the average family size was 2.90.
In the town, the population was spread out, with 19.9% under the age of 18, 6.7% from 18 to 24, 33.1% from 25 to 44, 25.9% from 45 to 64, and 14.4% who were 65 years of age or older. The median age was 39 years. For every 100 females, there were 100.8 males. For every 100 females age 18 and over, there were 100.5 males.
The median income for a household in the town was $39,861, and the median income for a family was $51,111. Males had a median income of $50,721 versus $21,635 for females. The per capita income for the town was $20,511. About 5.0% of families and 5.3% of the population were below the poverty line, including none of those under age 18 and 8.6% of those age 65 or over.
# Reidville, Newfoundland and Labrador

Reidville is a village located north east of Deer Lake. A post office was established in 1967 and the first Postmisstress was Dorothy Barrett.

## Demographics

In the 2021 Census of Population conducted by Statistics Canada, Reidville had a population of 550 living in 232 of its 259 total private dwellings, a change of 8.1% from its 2016 population of 509. With a land area of 58.28 km$^2$ (22.50 sq mi), it had a population density of 9.4/km$^2$ (24.4/sq mi) in 2021.

## Insectarium

Reidville is home to the Newfoundland Insectarium and Butterfly Pavilion, which opened in 1998.
# Renault Celtaquatre

The Renault Celtaquatre is a small family car produced by the French manufacturer Renault between 1934 and 1938. Although French, it took some of its styling cues from American cars of the time. Its rounded silhouette gave it the nickname “Celtaboule” ("Celtaball").

## Details and evolution

The Celtaquatre was presented to the public in April 1934 and entered production a month later.$^{:60}$ Its arrival coincided with that of Citroën's Traction Avant,$^{:25–27}$ and the Renault's launch was overshadowed by Citroën's powerful publicity machine.$^{:60}$
The car was powered by a four-cylinder 1463 cc side-valve engine, for which a maximum of 25 kW (34 hp) at 3,500 rpm was claimed.$^{:60}$ Power passed to the rear wheels via a classic three speed transmission.$^{:60}$ The suspension was based on rigid axles front and back,$^{:60}$ which was seen as a rather minimalist at a time when competitor vehicles from volume automakers such as the Peugeot 301 were being delivered with independent front suspension.$^{:54}$ However, the 8CV Celtaquatre was also much more aggressively priced than the 8CV 301: At the Paris Motor Show in October the list price for a Celtaquatre with a standard "berline" (saloon) body was given as ₣16,900 francs, while the Peugeot 301 "berline normale" was priced at ₣20,500 francs.$^{:54}$
In 1935, adjustments were made to the bonnet, with horizontal chrome-lined openings in place of the earlier three shutters. Two-tone paintwork was standard. A supplement of ₣400 francs was required for a single colour.
In 1936, the Celtaquatre lost its roundness to acquire a more aerodynamic shape. Appearance of two new body types: a Cabriolet and a Coupé Cabriolet. In 1937, the Celtaquatre received an American-inspired V-shaped grill which was retained throughout the rest of the model's production.
In 1938, a new bumper design appeared with straight slats. The coupé was discontinued.
In 1939, after production of 44,000 units, the Celtaquatre was replaced by the Juvaquatre.
By 1940, most of the Celtaquatre cars remaining in stock were delivered to the French Army.
In July 1941, the last 13 Celtaquatre cars were transformed into a small series of Novaquatre.

## Specifications

* Consumption: 8 liters per 100 km
* Speed: 100 km/h (62 mph)
* Power: 22 kW (30 hp) (8 CV)
* Brakes: cable-actuated drums front and rear
* Battery: 6 V

## Types

* ZR1
* ZR2
* AEC1 (led commercial)
* ADC1
* ADC2
* ADC3
* BCR

## Classification in the French tax and insurance system

The car was taxed at 8 CV.
# Promicromonospora

Promicromonospora is a Gram-positive and aerobic bacterial genus from the family Promicromonosporaceae.
# Prosopocera lactator

Prosopocera lactator, the Turquoise Longhorn, is a species of flat-faced longhorn beetles in the subfamily Lamiinae.

## Subspecies

* Prosopocera lactator lactator (Fabricius, 1801)
* Prosopocera lactator meridionalis Jordan, 1903
* Prosopocera lactator poggei Harold, 1878

## Description

Prosopocera lactator can reach a length of about 23–37 millimetres (0.91–1.46 in). The colors and markings of these longhorn beetles are quite variable. Usually they are brown-colored, with large light greenish or whitish patches on the elytra and pronotum and turquoise leg markings. The coloration of said greenish-white patches derives from the orientation of three-dimensional photonic-crystal grains present in the scales. These beetles feed exclusively on Cashew (Anacardium occidentale). Females lay their eggs in the stems and branches of the Buffalo Thorn (Ziziphus mucronata).

## Distribution

This species can be found in Democratic Republic of the Congo, Guinea, Malawi, Mozambique, Senegal, Somalia, South Africa, Tanzania and Uganda.
# Prosopocera princeps

Prosopocera princeps is a species of beetle in the family Cerambycidae. It was described by Frederick William Hope in 1843, originally under the genus Lamia. It is known from the Ivory Coast, Guinea, Gabon, Senegal, and Sierra Leone. It contains the varietas Prosopocera princeps var. ivorensis.
# Prosopocera prasina

Prosopocera prasina is a species of beetle in the family Cerambycidae. It was described by Stephan von Breuning in 1936. It is known from the Democratic Republic of the Congo, Sierra Leone, and Cameroon.
# Reindeer Act

The Reindeer Act or Reindeer Industry Act of 1937 is a United States federal law passed in 1937 by the U.S. Congress and signed into law by President Franklin D. Roosevelt on September 1 of that year. The act effectively prohibited the ownership of reindeer herds in Alaska by non-Native Americans. The act was intended to provide for Alaskan natives and to allow them to establish a self-sustaining industry. Authority to promulgate rules regarding the ownership and maintenance of reindeer herds was delegated to the Bureau of Indian Affairs via the Secretary of the Interior, who banned most transactions to non-natives.
The act was modeled in part on Norwegian and Swedish policies on the ownership of reindeer by the Sami people of Lapland. Many Sami had arrived in Alaska to manage the reindeer in the 1930s. The Alaskan Sami were required to sell their herds to the government, and many left Alaska after doing so.
For sixty years the Reindeer Act maintained a native and government monopoly in live reindeer in Alaska. By 1989 the regulations were challenged in court, resulting in a legal distinction between reindeer imported after 1937 by non-Natives and the Native herds. Between 1937 and 1940, the herd population declined drastically as reindeer joined native herds of caribou or were lost on the range. A 1997 decision opened ownership to non-natives.
# Magnus Lidén

Magnus Lidén (born 1951) is a Swedish systematic botanist.
Lidén received a PhD in systematic botany from Gothenburg University in 1986, where he stayed until 1997. He was the director of the Uppsala Botanic Gardens from 1998 – 2003. Since 2004, he has been a researcher at the department of Systematic Biology at the Evolutionary Biology Center of Uppsala University.
Lidén is best known for his studies on the plant family Fumariaceae (the bleeding heart family), and the genus Dionysia (cushion primroses). His research has taken him to the Mediterranean, Central Asia, Iran, and the Sino-Himalayan area (southwest China and northeast India).
Lidén has also worked on species concepts, evolutionary ontology, and biological nomenclature.
The standard author abbreviation Lidén is used to indicate this person as the author when citing a botanical name.
# Magnus Lindberg (Swedish musician)

Erik Magnus Lindberg (21 May 1952 – 26 February 2019) was a Swedish musician, singer and composer. He was a member of the musical bands Grymlings and Landslaget [sv], and also worked as a solo artist.
# Prophet of Moonshae

Prophet of Moonshae is a fantasy novel by Douglas Niles, set in the world of the Forgotten Realms, and based on the Dungeons & Dragons game.

## Plot summary

Prophet of Moonshae is a novel in which King Tristan's daughters Alicia and Dierdre become involved a conflict in which the forces of the god Talos attempt to conquer their lands.

## Reviews

* Kliatt
* Backstab #9
# Project Country

Project Country (Spanish: Proyecto País) is a political party in Peru. At the last legislative elections, 8 April 2001, the party won 1.6% of the popular vote and no seats in the Congress of the Republic. Its presidential candidate at the elections of the same day, Marco Antonio Arrunátegui Cevallos, won 0.8% of the vote.
At the legislative elections held on 9 April 2006, the party won less than 1% of the popular vote and no seats in Congress.
* This article about a Peruvian political party is a stub. You can help Wikipedia by expanding it.
* v
* t
* e
# Project Cyclone

Project Cyclone was a 20-year initiative of the US Office of Naval Research that lasted from 1946 to the mid-1960s. It was one of a series of projects whose purpose was to develop a computer laboratory with a company in the private sector that would do research and development on missile systems, as well as on classified problems in navigation, ballistics, engine control, electrical circuit analysis, and other fields. A secondary motivation was to strengthen the US's connections with civilian scientists and technology companies that had developed during WWII.
Project Cyclone was a partnership with Reeves Instrument Corporation. There were two sister projects: Project Whirlwind, which was a partnership with the Massachusetts Institute of Technology to build a digital computer (resulting in the Whirlwind I), and Project Typhoon, which was a partnership to build an analog computer with RCA.
The project led to the development of the original Reeves Electronic Analog Computer (or "REAC"), as well as subsequent models. Under the auspices of Project Cyclone, Reeves personnel would also be responsible for operating competitors' hardware in the lab, such as the ELECOM 100, produced by Electronic Computer Corporation. This was generally done to test the results of the Reeves-built machines in the lab.
The offices of the project were originally located on the premises of Reeves Instrument Corporation in New York, but by the 1950s the project had expanded such that it required three separate computer laboratories. The largest Project Cyclone lab contained 13 full REAC machines.
Project Cyclone, jointly with Reeves, was the organizer of multiple symposiums on analog computers. The first one was held in March 1951 in NYC, and was attended by 141 visitors from elite engineering organizations all over the world, such as the Applied Physics Laboratory and the Jet Propulsion Laboratory. The proceedings of these symposia were published under the title "Project Cyclone Symposium on REAC Techniques".
# Prosser House

Prosser House is a historic home located at Indianapolis, Indiana. It was built about 1885, and is a small 1+1⁄2-story, stuccoed frame dwelling with applied decoration in cast concrete. It has a cross-gable roof with five dormers. The interior features elaborate plaster work.$^{:2–3}$
It was listed on the National Register of Historic Places in 1975.
# Reintegration Time

Professional ratings :
| Review scores ||
| Source | Rating |
| Allmusic | |
| Slant Magazine | |
| Spin | |
Reintegration Time is the second album from Canadian alternative dance band Shout Out Out Out Out, released in Canada on March 3, 2009 and in the United States on May 5, 2009, on Nrmls Wlcm Records.
The album's first single, "In the End It's Your Friends" was released in 2008 on a 12" single split with American electronic artist San Serac.
Tracks from the album were featured in the video game Mass Effect 3, as background music in Commander Shepard's personal cabin.

## Track listing

* "Run"
* "Guilt Trips Sink Ships"
* "Bad Choices"
* "Coming Home" (feat. Cadence Weapon)
* "How Do I Maintain Pt. 1"
* "How Do I Maintain Pt. 2"
* "One Plus Two Plus Three"
* "Remind Me in Dark Times"
* "In the End It's Your Friends"
* "Reintegration Time"
# Rekle

Rekle may refer to:
* Rekle, Podlaskie Voivodeship
* Rekle, Łódź Voivodeship
# Proof-theoretic semantics

Proof-theoretic semantics is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical connective plays within a system of inference.

## Overview

Gerhard Gentzen is the founder of proof-theoretic semantics, providing the formal basis for it in his account of cut-elimination for the sequent calculus, and some provocative philosophical remarks about locating the meaning of logical connectives in their introduction rules within natural deduction. The history of proof-theoretic semantics since then has been devoted to exploring the consequences of these ideas.
Dag Prawitz extended Gentzen's notion of analytic proof to natural deduction, and suggested that the value of a proof in natural deduction may be understood as its normal form. This idea lies at the basis of the Curry–Howard isomorphism, and of intuitionistic type theory. His inversion principle lies at the heart of most modern accounts of proof-theoretic semantics.
Michael Dummett introduced the very fundamental idea of logical harmony, building on a suggestion of Nuel Belnap. In brief, a language, which is understood to be associated with certain patterns of inference, has logical harmony if it is always possible to recover analytic proofs from arbitrary demonstrations, as can be shown for the sequent calculus by means of cut-elimination theorems and for natural deduction by means of normalisation theorems. A language that lacks logical harmony will suffer from the existence of incoherent forms of inference: it will likely be inconsistent.