wanyu/IteraTeR_full_sent huggingface dataset:
Original:  At the heart of the program is the Aquarius Reef URL Since 2001, NASA has used Aquarius for its NEEMO (NASA Extreme Environment Mission Operations) analog missions, sending groups of astronauts to simulate human spaceflight space exploration missions.
Revised:  At the heart of the program is the Aquarius Reef Base. Since 2001, NASA has used Aquarius for its NEEMO (NASA Extreme Environment Mission Operations) analog missions, sending groups of astronauts to simulate human spaceflight space exploration missions.
Edit intent: coherence
Original:  Phosphorus and inositol in phytate form are not , in general, bioavailable to non-ruminant animals because these animals lack the enzyme phytase required to hydrolyze the inositol-phosphate linkages.
Revised:  Generally, phosphorus and inositol in phytate form are not , in general, bioavailable to non-ruminant animals because these animals lack the enzyme phytase required to hydrolyze the inositol-phosphate linkages.
Edit intent: coherence
Original:  Phosphorus and inositol in phytate form are not , in general, bioavailable to non-ruminant animals because these animals lack the enzyme phytase required to hydrolyze the inositol-phosphate linkages.
Revised:  Phosphorus and inositol in phytate form are not bioavailable to non-ruminant animals because these animals lack the enzyme phytase required to hydrolyze the inositol-phosphate linkages.
Edit intent: coherence
Original:  Biological and physiological roles Although indigestible for many animals, phytic acid and its metabolites as they occur in seeds and grains  have several important roles for the seedling plant.
Revised:  Biological and physiological roles Although indigestible for many animals, phytic acid and its metabolites as they occur in seeds and grains , phytic acid and its metabolites have several important roles for the seedling plant.
Edit intent: fluency
Original:  Dietary mineral absorption Phytic acid has a strong affinity to the dietary minerals, calcium, iron, and zinc, inhibiting their absorption  . Phytochemicals such as polyphenols and tannins also influence the binding.
Revised:  Dietary mineral absorption Phytic acid has a strong affinity to the dietary minerals, calcium, iron, and zinc, inhibiting their absorption from the small intestine . Phytochemicals such as polyphenols and tannins also influence the binding.
Edit intent: meaning-changed
Original:  Triadic closure is the property among three nodes A, B, and C , such that if a strong tie exists between A-B and A-C , there is only a strong tie between B-C .Working concept of triadic closure: book review of Duncan Watts' "Six Degrees: The Science of a Connected Age" at the Serendip (Bryn Mawr College) website.
Revised:  Triadic closure is the property among three nodes A, B, and C (representing people, for instance), that if the connections A-B and A-C , there is only a strong tie between B-C .Working concept of triadic closure: book review of Duncan Watts' "Six Degrees: The Science of a Connected Age" at the Serendip (Bryn Mawr College) website.
Edit intent: meaning-changed
Original:  Triadic closure is the property among three nodes A, B, and C , such that if a strong tie exists between A-B and A-C , there is only a strong tie between B-C .Working concept of triadic closure: book review of Duncan Watts' "Six Degrees: The Science of a Connected Age" at the Serendip (Bryn Mawr College) website.
Revised:  Triadic closure is the property among three nodes A, B, and C , such that if a strong tie exists between A-B and B-C exist , there is only a strong tie between B-C .Working concept of triadic closure: book review of Duncan Watts' "Six Degrees: The Science of a Connected Age" at the Serendip (Bryn Mawr College) website.
Edit intent: clarity
Original:  Triadic closure is the property among three nodes A, B, and C , such that if a strong tie exists between A-B and A-C , there is only a strong tie between B-C .Working concept of triadic closure: book review of Duncan Watts' "Six Degrees: The Science of a Connected Age" at the Serendip (Bryn Mawr College) website.
Revised:  Triadic closure is the property among three nodes A, B, and C , such that if a strong tie exists between A-B and A-C , there is a tendency for the new connection A-C to be formed .Working concept of triadic closure: book review of Duncan Watts' "Six Degrees: The Science of a Connected Age" at the Serendip (Bryn Mawr College) website.
Edit intent: clarity
Original:  This property is too extreme to hold true across very large, complex networks, but it is a useful simplification of reality that can be used to understand and predict  networks.
Revised:  This property is too extreme to hold true across very large, complex networks, but it is a useful simplification of reality that can be used to understand and predict the growth of networks, although it is only one of many mechanisms by which new connections are formed in complex networks.
Edit intent: meaning-changed
Original:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall man lettering in their computerized order    entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Revised:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitalclinics, and health care systems use tall man lettering in their computerized order entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Edit intent: fluency
Original:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall man lettering in their computerized order    entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Revised:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall mg in their computerized order entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Edit intent: fluency
Original:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall man lettering in their computerized order    entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Revised:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall man lettering in their computerized or entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Edit intent: clarity
Original:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall man lettering in their computerized order    entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Revised:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall man lettering in their computerized order 2glmdkulgudb5o entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Edit intent: meaning-changed
Original:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall man lettering in their computerized order    entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Revised:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall man lettering in their computerized order ajalokgjnkn entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Edit intent: meaning-changed
Original:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall man lettering in their computerized order    entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Revised:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall man lettering in their computerized order der entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Edit intent: fluency
Original:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitalclinics, and health care systems use tall mg in their computerized order entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Revised:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitals, clinics, and health care systems use tall mg in their computerized order entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Edit intent: fluency
Original:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitalclinics, and health care systems use tall mg in their computerized order entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Revised:  The Office of Generic Drugs of the U.S. Food and Drug Administration (FDA) encourages manufacturers to use tall man lettering labels to visually differentiate their drugs' names, and a number of hospitalclinics, and health care systems use tall man lettering in their computerized order entry, automated dispensing machines, medication admission records, prescription labels, and drug product labels.
Edit intent: fluency
Original:  It was developed starting in 2003 by Hernando Barragán and was popularized under the name of Arduino Arduino  physical computing/electronics toolkit for interactive objects and installations I-CubeX  sensors, actuators and interfaces for interactive media Max/MSP  programming language for interactive media Processing (programming language)  used for many interactive art projects OpenFrameworks –
Revised:  It was developed starting in 2003 by Hernando Barragán and was popularized under the name of Arduino Arduino – physical computing/electronics toolkit for interactive objects and installations I-CubeX sensors, actuators and interfaces for interactive media Max/MSP programming language for interactive media Processing (programming language) used for many interactive art projects OpenFrameworks –
Edit intent: fluency
Original:  It was developed starting in 2003 by Hernando Barragán and was popularized under the name of Arduino Arduino  physical computing/electronics toolkit for interactive objects and installations I-CubeX  sensors, actuators and interfaces for interactive media Max/MSP  programming language for interactive media Processing (programming language)  used for many interactive art projects OpenFrameworks –
Revised:  It was developed starting in 2003 by Hernando Barragán and was popularized under the name of Arduino Arduino physical computing/electronics toolkit for interactive objects and installations I-CubeX – sensors, actuators and interfaces for interactive media Max/MSP programming language for interactive media Processing (programming language) used for many interactive art projects OpenFrameworks –
Edit intent: fluency
Original:  It was developed starting in 2003 by Hernando Barragán and was popularized under the name of Arduino Arduino  physical computing/electronics toolkit for interactive objects and installations I-CubeX  sensors, actuators and interfaces for interactive media Max/MSP  programming language for interactive media Processing (programming language)  used for many interactive art projects OpenFrameworks –
Revised:  It was developed starting in 2003 by Hernando Barragán and was popularized under the name of Arduino Arduino physical computing/electronics toolkit for interactive objects and installations I-CubeX sensors, actuators and interfaces for interactive media Max/MSP – programming language for interactive media Processing (programming language) used for many interactive art projects OpenFrameworks –
Edit intent: meaning-changed
Original:  It was developed starting in 2003 by Hernando Barragán and was popularized under the name of Arduino Arduino  physical computing/electronics toolkit for interactive objects and installations I-CubeX  sensors, actuators and interfaces for interactive media Max/MSP  programming language for interactive media Processing (programming language)  used for many interactive art projects OpenFrameworks –
Revised:  It was developed starting in 2003 by Hernando Barragán and was popularized under the name of Arduino Arduino physical computing/electronics toolkit for interactive objects and installations I-CubeX sensors, actuators and interfaces for interactive media Max/MSP programming language for interactive media Processing (programming language) – used for many interactive art projects OpenFrameworks –
Edit intent: fluency
Original:  In 1954, these vessels were adopted by the American Explorer Scouts of the former Panama Canal Zone to make the first Ocean to Ocean Cayuco Race The Ocean to Ocean Cayuco Race goes across the Panama Canal, from the Atlantic Ocean to the Pacific Ocean. .......
Revised:  In 1954, these vessels were adopted by the Boy Scouts of America Explorers in the former Panama Canal Zone to make the first Ocean to Ocean Cayuco Race The Ocean to Ocean Cayuco Race goes across the Panama Canal, from the Atlantic Ocean to the Pacific Ocean. .......
Edit intent: clarity
Original:  A cayuco is propelled using a paddle with two blades where the paddler sits with their legs in front of them, whereas canoes are propelled using single- or double-bladed paddles where the paddler is kneeling or sitting.
Revised:  A cayuco is propelled using a paddle with one blade where the paddler sits with their legs in front of them, whereas canoes are propelled using single- or double-bladed paddles where the paddler is kneeling or sitting.
Edit intent: meaning-changed
Original: Ivan V Alekseyevich (Russian: Иван V Алексеевич, – ) was a joint-Tsar of Russia with his younger half-brother Peter I who co-reigned between 1682 and 1696.
Revised: Ivan V Alekseyevich (Russian: Иван V Алексеевич, – ) was a joint Tsar of Russia with his younger half-brother Peter I who co-reigned between 1682 and 1696.
Edit intent: fluency
Original: Ivan V Alekseyevich (Russian: Иван V Алексеевич, – ) was a joint-Tsar of Russia with his younger half-brother Peter I who co-reigned between 1682 and 1696.
Revised: Ivan V Alekseyevich (Russian: Иван V Алексеевич, – ) was a joint-Tsar of Russia with his younger half-brother Peter the Great, who co-reigned between 1682 and 1696.
Edit intent: clarity
Original:  The church and the Naryshkins (family of Peter I 's mother, Natalya Naryshkina) supported Peter's ascension to the throne, however, the family of Ivan V's mother (the Miloslavski) and Ivan's older sister, Sofia Alekseyevna, in particular, disputed the move.
Revised:  The church and the Naryshkins (family of Peter 's mother, Natalya Naryshkina) supported Peter's ascension to the throne, however, the family of Ivan V's mother (the Miloslavski) and Ivan's older sister, Sofia Alekseyevna, in particular, disputed the move.
Edit intent: clarity
Original:  She ruled for more than 10 years, and was succeeded by Ivan's infant great-grandson Ivan VI , but a palace coup engineered in 1741 , by Ivan's niece Elizabeth resulted in the throne passing finally to the progeny of Peter the Great.
Revised:  She ruled for more than 10 years, and was succeeded by Ivan's infant great-grandson Ivan VI ; however, a palace coup engineered in 1741 , by Ivan's niece Elizabeth resulted in the throne passing finally to the progeny of Peter the Great.
Edit intent: coherence
Original:  She ruled for more than 10 years, and was succeeded by Ivan's infant great-grandson Ivan VI , but a palace coup engineered in 1741 , by Ivan's niece Elizabeth resulted in the throne passing finally to the progeny of Peter the Great.
Revised:  She ruled for more than 10 years, and was succeeded by Ivan's infant great-grandson Ivan VI , but a palace coup engineered in 1741 by Ivan's niece Elizabeth resulted in the throne passing finally to the progeny of Peter the Great.
Edit intent: fluency
Original: In  logic, a logic L has the finite model property (fmp for short) if any non-theorem of L is falsified by some finite model of L. Another way of putting this is to say that L has the fmp if for every formula A of L, A is an L-theorem iff A is a theorem of the theory of finite models of L. If L is finitely axiomatizable (and has a recursive set of recursive rules) and has the fmp, then it is decidable.
Revised: In mathematical logic, a logic L has the finite model property (fmp for short) if any non-theorem of L is falsified by some finite model of L. Another way of putting this is to say that L has the fmp if for every formula A of L, A is an L-theorem iff A is a theorem of the theory of finite models of L. If L is finitely axiomatizable (and has a recursive set of recursive rules) and has the fmp, then it is decidable.
Edit intent: fluency
Original: In  logic, a logic L has the finite model property (fmp for short) if any non-theorem of L is falsified by some finite model of L. Another way of putting this is to say that L has the fmp if for every formula A of L, A is an L-theorem iff A is a theorem of the theory of finite models of L. If L is finitely axiomatizable (and has a recursive set of recursive rules) and has the fmp, then it is decidable.
Revised: In logic, a logic L has the finite model property (fmp for short) if any non-theorem of L is falsified by some finite model of L. Another way of putting this is to say that L has the fmp if for every formula A of L, A is an L-theorem if and only if A is a theorem of the theory of finite models of L. If L is finitely axiomatizable (and has a recursive set of recursive rules) and has the fmp, then it is decidable.
Edit intent: clarity
Original: In  logic, a logic L has the finite model property (fmp for short) if any non-theorem of L is falsified by some finite model of L. Another way of putting this is to say that L has the fmp if for every formula A of L, A is an L-theorem iff A is a theorem of the theory of finite models of L. If L is finitely axiomatizable (and has a recursive set of recursive rules) and has the fmp, then it is decidable.
Revised: In logic, a logic L has the finite model property (fmp for short) if any non-theorem of L is falsified by some finite model of L. Another way of putting this is to say that L has the fmp if for every formula A of L, A is an L-theorem iff A is a theorem of the theory of finite models of L. If L is finitely axiomatizable (and has a recursive set of inference rules) and has the fmp, then it is decidable.
Edit intent: clarity
Original: Example of a symbol used in park information literature for car-top boatingCar-top boating is a term that refers to the recreational activity of boating via watercraft that can easily be placed upon, transported, and removed from the roof of a passenger motor vehicle.
Revised: Example of a symbol used in park information literature for car-top boatingCar-top boating is the recreational activity of boating via watercraft that can easily be placed upon, transported, and removed from the roof of a passenger motor vehicle.
Edit intent: clarity
Original:   The term has come into use by various state, federal, municipal, and non-profit agencies in the United States as a way to clearly discriminate in written policy between less intrusive hand-portable watercraft and large, more intrusive watercraft that require boat ramps to launch . Boats that fall into this category include most canoes and kayaks as well as small rowboats, bass boats, sailboats, and inflatable boats .
Revised:  Boats that fall into this category include most canoes and kayaks as well as small rowboats, bass boats, sailboats, and inflatable boats. The term has come into use by various state, federal, municipal, and non-profit agencies in the United States as a way to clearly discriminate in written policy between less intrusive hand-portable watercraft and large, more intrusive watercraft that require boat ramps to launch . Boats that fall into this category include most canoes and kayaks as well as small rowboats, bass boats, sailboats, and inflatable boats .
Edit intent: fluency
Original:   The term has come into use by various state, federal, municipal, and non-profit agencies in the United States as a way to clearly discriminate in written policy between less intrusive hand-portable watercraft and large, more intrusive watercraft that require boat ramps to launch . Boats that fall into this category include most canoes and kayaks as well as small rowboats, bass boats, sailboats, and inflatable boats .
Revised:  The term has come into use by various state, federal, municipal, and non-profit agencies in the United States as a way to clearly discriminate in written policy between less intrusive hand-portable watercraft and large, more intrusive watercraft that require boat ramps to launch .
Edit intent: coherence
Original: Private property While you can generally photograph private property and the people within it if you are not within the bounds of the private property and can't be asked to stop or delete the images, the owner can restrict recording whilst you are on the private property.
Revised: Private property While one can generally photograph private property and the people within it if you are not within the bounds of the private property and can't be asked to stop or delete the images, the owner can restrict recording whilst you are on the private property.
Edit intent: clarity