OpenLLM-France/wikimedia huggingface dataset:
# Rodin tool

The Rodin tool is a software tool for formal modelling in Event-B. It was developed as part of several collaborative European Union projects, including initially the RODIN project (2004–2007).

## Overview

Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling. The idea of incremental modelling has been taken from programming: modern programming languages come with integrated development environment that make it easy to modify and improve programs. The Rodin tool provides such an environment for Event-B. Two characteristics of the Rodin tool are its ease of use and its extensibility.
The tool focuses on modelling. It allows the user to modify models and try out variations of a model. The tool is also extensible. This makes it possible to adapt the tool to specific needs, so the tool can be adapted to fit into existing development processes instead of demanding the opposite. There is an associated Event-B wiki.
Rodin ("Rigorous Open Development Environment for Complex Systems") is an extension of Eclipse IDE (Java-based). The Rodin Eclipse Builder manages the following:
* Well-formedness and type checker
* Proof obligation (PO) generator
* Proof manager (PM)
* Propagation of changes

### Rodin Proof Manager (PM)

* PM constructs a proof tree for each PO
* Automatic and interactive modes
* PM manages used hypotheses
* PM calls reasoners to:
** discharge goal, or
** split goal into subgoals
* Collection of reasoners:
** simplifier, rule‐based, decision procedures,
* Basic tactics language to define PM and reasoners

## Industrial applications and case studies

The Rodin project included five industrial case studies that served to validate the toolset and helped with the elaboration of an appropriate methodology for using the tools. The case studies were led by industrial partners of the Rodin project, supported by the other partners. The case studies were as follows:
* A failure management system for an engine controller;
* Part of a platform for mobile Internet technology;
* Engineering of communications protocols;
* An air-traffic display system;
* An ambient campus application.

## Some available plug-ins for Rodin

* B4free provers
** Provider: ClearSy
** Function: Theorem provers
* UML-B
** Provider: University of Southampton
** Function: UML-like graphical front-end for Event-B supporting class diagrams and state charts
* ProB
** Provider: University of Düsseldorf
** Function: Animation and Model-checking of Event-B models; Counterexamples for false proof goals, in particular, proof obligations
* Brama
** Provider: ClearSy
** Function: Animation of B models. The purpose is twofold:
*** Experimentation with a model to observe states and transitions
*** Flash animation of Event-B models
* Modularisation
** Provider: Newcastle University
** Function: Structuring Event-B developments into logical units of modelling, called modules; Model composition; Model reuse
# Roebuck railway station

Roebuck railway station served the village of Bilsborrow, Lancashire, England, from 1840 to 1849 on the Lancaster and Preston Junction Railway.

## History

The station opened on 26 June 1840 by the Lancaster and Preston Junction Railway. It was named after what is now the Roebuck Hotel. It was replaced by Brock, which opened to the north, in August 1849.
# Rohidas Singh Nag

Rohidas Singh Nag (5 February 1934 – 30 December 2012) was the inventor of the Mundari Bani script, which is used to write the Mundari language.

## History

Rohidas Singh Nag was born on 5 February 1934 in Chandua village, Mayurbhanj district of Odisha. In 1949, while Rohidas Singh Nag was studying at class III, he invented the Mundari script, or Mundari Bani, and wrote the alphabet on the wall of his school using clay. In 1953, he expanded the alphabet of the Mundari script, however he later simplified it and in 1980 a total 27 letters were selected for use. That same year he brought it to the knowledge of the then Chief Minister of Odisha Shri J. B. Pattnaik on the development of the Mundari script and submitted a memorandum to recognize the Munda language constitutionally. In 1999 Rohidas Singh Nag, with others, submitted a memorandum to the then president of India and appealed for constitutional recognition of the Munda language.
# Roger Jackson

Roger Jackson may refer to:
* Roger Jackson (rower) (born 1942), Canadian rower
* Roger Jackson (defensive back) (born 1959), American football player
* Roger Jackson (wide receiver) (born 1989), American football player
* Roger L. Jackson (born 1958), American voice actor
* Roger Jackson (cricketer) (born 1939), English cricketer
# Fors

Fors can mean:
* Fors, Deux-Sèvres, a French commune in the department of Deux-Sèvres
* Fors (Swedish village), a village in the Avesta Municipality in Dalarna County, Sweden
* Fors (Swedish parish), a parish in the Diocese of Härnösand, Sweden
* FORS, Transport for London's Freight Operator Recognition Scheme
* FORS, a measuring instrument installed on the Very Large Telescope
* FORS (Swiss Centre of Expertise in the Social Sciences)
* Sebastian Fors, a Swedish video game streamer
# Fortune Brands

Fortune Brands may refer to:
* Fortune Brands (1969–2011), a defunct holding company
* Fortune Brands Home & Security, a manufacturer of home and security products
# Roberto Jordán

Roberto Jordán (Spanish pronunciation:) (born February 20, 1943, in Los Mochis, Sinaloa, Mexico) is a popular singer whose heyday occurred during Mexico's nueva ola (new wave) of music in the late 1960s and early 1970s. Many of his songs were covers of English-language rock and pop songs, with arrangements provided by music teachers and producers Enrique Okamura and Eduardo Magallanes. Jordán popularized several Bubblegum rock songs among youth in the Spanish-speaking world, singing songs by the 1910 Fruitgum Company, the Ohio Express and The Turtles as well as introducing the repertoire of singer-songwriters like Neil Diamond and Joe South.
Jordán left the stage for a number of years to pursue business and sports. In the mid-1980s, he returned to performing and even recorded a new version of his onetime hit Hazme una señal (a cover version of Brenton Wood's Gimme Little Sign). He also performed at a reunion concert with original Mexican rock acts such as Los Rockin' Devils, Los Teen Tops and Los Hermanos Carrión in 2006.

## Discography (partial)

* 1968 – Hazme Una Señal, RCA Victor
* 1968 – 1,2,3 Detente!, RCA Victor
* 1970 – Castillos de Algodón, RCA Victor
* 1999 – Roberto Jordán (best-of compilation), Tepito Records
# Foote's Crossing Road

Foote's Crossing Road (CA 613) originates in North Columbia, California and winds through the Tahoe National Forest to connect with the community of Alleghany, California. It is a Registered Historic Place.
The high bridge crossing at the Middle Yuba River, named Foote's Crossing (California Point of Historical Interest No. P401), gives the road its name. Alternate names for the road persist, including Tyler Foote Road, Tyler-Foote Road, Tyler Foote Crossing Road or Tyler-Foote Crossing Road due to Cherokee, California, west of North Columbia, once being known as "Tyler".

## History

Mary Hallock Foote's husband, the civil and mining engineer Arthur De Wint Foote, became manager of Grass Valley's North Star Mine after building its powerhouse in 1895. In 1911, O'Brien, Foote & Associates purchased the Tightner Mine in Alleghany. Foote built the road in 1913 to establish a better route between the two mines. The road was significant during the period of 1913–1924 both as an engineering accomplishment and as an improved transportation route.

## Structure

At a cost of $85,000, using manpower and animals, not machinery, it took six months to build the road, a portion of which is a narrow, roughly-graded, single-lane wagon shelf road, while other parts are paved. Wagons wound around bluffs 500 feet (150 m) above the canyons below. Italian stonemasons built the high stone embankment walls prevalent on the tight curves above the Middle Yuba River. Views of jagged, granite ridges abound along the way.

## Route

The Nevada County portion of the road begins in what is now Nevada County's unincorporated community of North Columbia and passes Columbia Hill. before crossing Grizzly Creek, and then the middle fork of the Yuba River.
The Tightner Mining Company and Sierra County jointly built the Sierra County portion of the road, which skirts Kanaka Creek and the Lafayette Ridge on the road's southern side, but does cross Blue Ravine and Rapps Ravine. The Sierra County portion of the road is 13 miles (21 km) shorter than the older road.
# Formalization

Formalization or formalisation may refer to
* Logic translation of a natural language text to formal logic
* Drafting formal specifications
* A process enhancing bureaucracy in sociology
# Rokujō family

The Rokujō family (六條家) was a poetically conservative faction in the Japanese Imperial court, founded by Fujiwara no Akisue (1055–1123 CE); it was the first clan to specialize in attaining power and influence via success in poetry, and was originally opposed to their opposite numbers amongst the Minamoto clan (such as the innovative Minamoto no Shunrai), although later they would be opposed to a more junior (and poetically liberal) branch of the old and puissant Fujiwara family, as represented by Fujiwara no Shunzei and his son, Fujiwara no Teika. It was also known for, besides its conservative views on the composition of poetry, the quality of its scholar's work on old poetry (because of the allusive nature of waka, and the early confusions of transcription and writing them down, new versions and exegetical works were constantly needed by the court; the situation was especially bad with the Man'yōshū—Brower remarks that "It is doubtful whether more than three or four hundred Man'yō poems could actually be read with accuracy until the commentaries of the priest Senkaku laid the foundations of modern Man'yō scholarship..."). One of the Rokujō—Fujiwara no Akisuke (1090–1155)—compiled the Imperial anthology, the Shika Wakashū.
# Rokujō

Rokujō (六条 or 六條) literally means sixth street in Japanese. It can refer to:

## People

* Emperor Rokujō, the 79th Emperor of Japan
* the Rokujō family, a poetically conservative faction in the Japanese Imperial court
* Lady Rokujō, a character in the Tale of Genji
* Miyuki Rokujō, a fictional character in Strawberry Panic!—see List of Strawberry Panic! characters

## Places

* Rokujō Street (六条通, Rokujō-dori), one of east–west streets in the ancient capital of Heian-kyō, present-day Kyoto
* Rokujō Station, a train station on the JR West Etsumi-Hoku Line in Fukui, Fukui, Japan
# Rokunin no Ansatsusha

Rokunin no Ansatsusha (六人の暗殺者, Rokunin no Ansatsusha) is a 1955 black-and-white Japanese film drama directed by Eisuke Takizawa.
The film won 1956 Blue Ribbon Awards for best screenplay by Ryūzō Kikushima.

## Cast

* Shōgo Shimada
* Osamu Takizawa
* Isao Yamagata
* Kunitaro Sawamura
# Forever Friends (Olympic theme song)

Forever Friends is a song written by Italian composer Giorgio Moroder and Chinese pianist Xiang-Dong Kong. It competed in the selection of the theme song for the 2008 Summer Olympics and was officially released on November 29, 2007.

## Creation Members

* Composer: Giorgio Moroder, the Italian composer, Hollywood music, won three Oscar Awards, the two Grammy Awards, 39 Oscar nominations, a representative of the 1984 Los Angeles Olympic Games official theme song: "Reach Out", 1988 Seoul Olympic Games official theme song: "Hand in Hand", in 1990 Italia World Cup official song: "Un'estate italiana", "Showy Enough" movie soundtrack, and in 1993 the creation of Beijing's Olympic bid, "Good Luck Beijing".
* Composer, production: Xiang-Dong Kong, a famous musician, the 1986 Tchaikovsky International Piano Competition in Moscow in 1987 and the International Competition in Spain Santander, he twice became the youngest winner, thus leading to the attention of the world music scene; 1988 He became a U.S. Ji Naba Mr. Gold Award winners of international competitions; one stroke in 1992 he was the fifth Sydney International Piano Competition in the first four awards and special awards. Masterpieces: "Tibet Dream", "Harmony Garden", "Forever Friends".
* Lyrics: Michael Kunze, the German word writer, a masterpiece: the famous German musical "Elisabeth" and "Dance of the Vampire", "Mozart" and "Butterfly Dream" and the musical "Cats", "The Phantom of the Opera" and "Evita", "Song and Dance online", and "terrorist shop" and "call on the forest" and "Spider-female kiss" and "loving the view", "Sunset Boulevard" and "Clock Tower Frankenstein", "Lion King" and "Mama meters ah", "Aida" and "evil witch" with the German translation of the lyrics.
* Producer: Giorgio Moroder, HE Jian Min (Thomas Ho, deceased), Xiang-Dong Kong.
* Singer, Coco Lee, the first Chinese singer to perform in the Oscars, many times in the 10 selected China-Taiwan idols, and nominated hits Longhu Bang.
* Singer: Sun Nan, a famous Chinese singer, won several music awards Chinese music authority in the Best Male Singer Award, as well as most popular male singer award.
* Director: Mr. Yang Dongsheng, China Central Television director, several of the CCTV Spring Festival Party, and other large-scale variety show's general director, the Stars won several awards.
# Rodrigo Ponce de León

Rodrigo Ponce de León may refer to:
* Rodrigo Ponce de León, Duke of Cádiz (1443-1492)
* Rodrigo Ponce de León, 4th Duke of Arcos (1602 – 1658)
# Roger Allen

Roger Allen may refer to:
* Roger Allen (diplomat) (1909–1972), British ambassador to Greece, Iraq and Turkey
* Roger Allen (translator) (born 1942), British Arabist and translator
* Roger Allen (cross-country skier) (born 1952), Canadian cross-country skier and politician from Northwest Territories, Canada
* Roger MacBride Allen (born 1957), American science fiction author
* Roger Allen III (born 1986), American football player
* Roger Allen (musicologist) (born 1951), musicologist and dean of St Peter's College, Oxford
# Roche-Saint-Secret-Béconne

Roche-Saint-Secret-Béconne (French pronunciation:; Occitan: La Ròcha Sant Segret e Becona) is a commune in the Drôme department in the Auvergne-Rhône-Alpes region in Southeastern France.
# Roche-la-Molière

Roche-la-Molière (French pronunciation:) is a commune in the Loire department in the Auvergne-Rhône-Alpes region in central France.

## Population

| Year | Pop. | ±% p.a. |
| 1793 | 1,362 | — |
| 1800 | 1,031 | −3.90% |
| 1806 | 1,247 | +3.22% |
| 1821 | 1,435 | +0.94% |
| 1831 | 1,289 | −1.07% |
| 1836 | 1,486 | +2.89% |
| 1841 | 1,640 | +1.99% |
| 1846 | 1,749 | +1.30% |
| 1851 | 1,805 | +0.63% |
| 1856 | 2,547 | +7.13% |
| 1861 | 2,353 | −1.57% |
| 1866 | 3,070 | +5.46% |
| 1872 | 3,288 | +1.15% |
| 1876 | 3,843 | +3.98% |
| 1881 | 3,939 | +0.49% |
| 1886 | 3,875 | −0.33% |
| 1891 | 4,386 | +2.51% |
| 1896 | 4,789 | +1.77% |
| Year | Pop. | ±% p.a. |
| 1901 | 5,517 | +2.87% |
| 1906 | 5,803 | +1.02% |
| 1911 | 6,113 | +1.05% |
| 1921 | 7,393 | +1.92% |
| 1926 | 9,570 | +5.30% |
| 1931 | 9,658 | +0.18% |
| 1936 | 8,836 | −1.76% |
| 1946 | 9,916 | +1.16% |
| 1954 | 11,035 | +1.35% |
| 1962 | 11,086 | +0.06% |
| 1968 | 10,614 | −0.72% |
| 1975 | 9,893 | −1.00% |
| 1982 | 9,211 | −1.02% |
| 1990 | 10,103 | +1.16% |
| 1999 | 10,083 | −0.02% |
| 2007 | 10,215 | +0.16% |
| 2012 | 10,242 | +0.05% |
| 2017 | 9,697 | −1.09% |
Source: EHESS and INSEE (1968–2017) :
# Roche-a-Cri State Park

Roche-a-Cri State Park (most commonly translated from French as Screaming Rock) is a state park north of Adams and Friendship in central Wisconsin. The park, 605 acres (245 ha) in area, was established in 1948.
The park features a 300-foot (91 m) rock outcropping with Native American petroglyphs—the Roche-a-Cri Petroglyphs—and a wooden stairway to the top, as well as more than 5 miles (8.0 km) of hiking trails. The petroglyphs are the only publicly accessible rock art site in the state of Wisconsin. In addition to the petroglyphs, other rock art such as a pictograph of a thunderbird and a horned human figure can be found at the park.

## Natural history

The striking 300-foot (91 m) bluff is a hard core that remains from a larger sheet of Cambrian sandstone which has mostly eroded away. Around 19,000 to 15,000 years ago it was an island rising above Glacial Lake Wisconsin. On top of the bluff grow red oak, black oak, white oak, red pine, white pine, and jack pine. Buzzards also haunt the top.
* Outcropping rock
* Sign
* The park from the south
# Roche-d'Agoux

Roche-d'Agoux (French pronunciation:) is a commune in the Puy-de-Dôme department in Auvergne in central France.
# Formica ravida

Formica ravida is a species of ant in the family Formicidae.
# Formica podzolica

Formica podzolica is a species of ant in the family Formicidae.
# Roger Nordin

Nils Roger Nordin (born 24 April 1977) is a Swedish radio presenter and journalist. He has presented several radio shows including Rix Topp 6 and RIX MorronZoo.

## Career

Nordin started his career in radio at the age of thirteen in 1991 for Gävle local radio. At the age of seventeen in 1994, he started working as a radio presenter for the radio station RIX 105 Gävle. In late-1994 and early-1995 he started presenting the national broadcasts for Radio Rix. When MTG bought the rights for Rix, he moved to Stockholm to present the daily hit-list Rix Topp 6. In August 2000, Nordin started presenting RIX MorronZoo, along with Titti Schultz and Gert Fylking. He presented the show until 2010. He continued to present daily on the station until 2013 when he left to start working for the radio station NRJ.
Rix FM's morning show had more listeners than Sveriges Radio's morning show. Nordin became "Radio Personality of the Year" at the Radiogala in 2004, and RIX MorronZoo won the viewers' prize Guldhornet at the same gala three years in a row.
Nordin presented the show "Sveriges smartaste barn", which was broadcast on TV3 in 2009. In January 2014, Nordin, along with Titti Schultz and Ola Lustig, started presenting "Vakna med NRJ" on the radio station NRJ.
He returned to present RIX MorronZoo with Laila Bagge at the beginning of 2017.

## Personal life

Nordin is openly gay, and he revealed it during a live radio broadcast in 2005. He won the award of Homo of the Year by QX Magazine's readers at the annual Gaygalan Awards in 2006.
# Fort Fincastle

Fort Fincastle may refer to:
* Fort Henry (West Virginia), formerly called Fort Fincastle
* Fort Fincastle (Bahamas)
# Foster and Catchings

Foster and Catchings refers to two American economists of the 1920s, William Trufant Foster and Waddill Catchings, who worked extensively together and hence are often referred to as a pair. The two met as undergraduate classmates at Harvard University. They were the leading pre-Keynesian economists, in the underconsumptionist tradition, advocating similar issues to John Maynard Keynes such as the paradox of thrift and economic interventionism.
# Romeo and Juliet (Hebald)

Romeo and Juliet is an outdoor bronze sculpture depicting Romeo and Juliet by American artist Milton Hebald, located in front of Delacorte Theater in Manhattan's Central Park, in the United States. It is one of two companion works at the theater sculpted by Hebald, the other being The Tempest (1966). Unveiled in 1977 and cast in 1978, Romeo and Juliet was donated by philanthropist George T. Delacorte, Jr. The sculpture is 7 feet (2.1 m) tall; the two figures, shown embracing, are set on a granite pedestal. A cast from the same mold appears in the rose garden at the Hollenbeck Palms retirement community in Boyle Heights, Los Angeles.
# Roles (surname)

Roles is a surname. Notable people with the surname include:
* Albie Roles (1921–2012), English footballer
* Barbara Roles (born 1941), American figure skater
* Jack Roles (born 1999), English footballer
* Natalie Roles (born 1968), former English actress
# Roller sports at the 2023 Pan American Games – Men's 500 metres + distance

The men's speed skating 500 metres + distance competition in roller sports at the 2023 Pan American Games was held on November 5 at the Patinódromo in Santiago.

## Schedule

All times are Chilean Summer Time (UTC-3).
| Date | Time | Round |
| November 5, 2023 | 9:20 | Qualification |
| November 5, 2023 | 10:20 | Semifinal |
| November 5, 2023 | 11:30 | Final |

## Results
### Qualification

The results were as below.
| Rank | Name | Nation | Time | Notes |
| 1 | Emanuelle Silva | Chile | 43.017 | Q |
| 2 | Andrés Jiménez | Colombia | 43.217 | Q |
| 3 | José Carlos Rangel | Venezuela | 43.314 | Q |
| 4 | Carlos Monsivais | Mexico | 43.339 | Q |
| 5 | Renato Carchi | Ecuador | 43.502 | Q |
| 6 | Guilherme Rocha | Brazil | 43.522 | Q |
| 7 | Nahuel Quevedo | Argentina | 43.777 | Q |
| 8 | José Daniel Moncada | Paraguay | 44.019 | Q |
| 9 | Jacob Anderson | United States | 44.117 | |
| 10 | Marlon Oreamuno | Costa Rica | 44.250 | |

### Semifinal

The results were as below.

### Semifinal 1

| Rank | Name | Nation | Time | Notes |
| 1 | Andrés Jiménez | Colombia | 43.699 | Q |
| 2 | Guilherme Rocha | Brazil | 43.758 | Q |
| 3 | José Carlos Rangel | Venezuela | 43.861 | q |
| | Nahuel Quevedo | Argentina | DSQ | |

### Semifinal 2

| Rank | Name | Nation | Time | Notes |
| 1 | Emanuelle Silva | Chile | 44.106 | Q |
| 2 | Carlos Monsivais | Mexico | 44.130 | Q |
| 3 | Renato Carchi | Ecuador | 45.128 | q |
| 4 | José Daniel Moncada | Paraguay | 45.522 | q |

### Final B

The results were as below.
| Rank | Name | Nation | Time |
| 1 | José Carlos Rangel | Venezuela | 44.606 |
| 2 | José Daniel Moncada | Paraguay | 44.980 |
| 3 | Renato Carchi | Ecuador | 45.209 |

### Final A

The results were as below.
| Name | Nation | Time |
| Andrés Jiménez | Colombia | 43.104 |
| Carlos Monsivais | Mexico | 44.108 |
| Emanuelle Silva | Chile | 1:01.789 |
| Guilherme Rocha | Brazil | DSQ |
# Rolando Vera

Rolando Vera may refer to:
* Rolando Vera (wrestler) (1915–2001), Mexican professional wrestler and wrestling trainer
* Rolando Vera (runner) (born 1965), Ecuadorian long-distance runner
# Rockcliffe Flying Club

The Rockcliffe Flying Club is a non-profit flying club based at Ottawa/Rockcliffe Airport in Ottawa, Ontario, Canada.

## History

The club was started when Wing Commander Norman Hoye arrived at RCAF Station Rockcliffe with plans to create a military flying club on the base. The club commenced operations on 28 August 1961 with two Aeroncas. At that time the base was an operational RCAF air base with hangars and a control tower. These were all closed when the base was shut down in 1964, but the club remained on the airfield, providing flight instruction and aircraft rental to military personnel and civilians.
# Rolando Pušnik

Rolando Pušnik (born 13 December 1961) is a Slovenian former handball player.

## Club career

Over the course of his career that spanned over 25 years, Pušnik played for Celje (two spells), Crvenka, Železničar Niš, Mepamsa San Antonio, Zagreb (two spells), Prevent Slovenj Gradec, Slovan, Metković, SG Handball West Wien, Trimo Trebnje, and Padova. He won back-to-back European Cup titles with Zagreb in 1992 and 1993.

## International career

At international level, Pušnik competed for Yugoslavia in two Olympic Games, winning the gold medal in 1984 and the bronze medal in 1988. He was also a member of the team that won the 1986 World Championship.
After the breakup of Yugoslavia, Pušnik represented Slovenia in four European Championships (1994, 1996, 2000 and 2002). He also participated in the 1995 World Championship and in the 2000 Summer Olympics.

## Honours
### Zagreb

* European Cup: 1991–92, 1992–93

### Metković

* EHF Cup: 1999–2000