wanyu/IteraTeR_full_sent huggingface dataset:
Original:  In contrast to the folk religion of southern and southeastern provinces which is primarily focused on the lineages and their churches (zōngzú xiéhuì ) focusing on ancestral gods,  the folk religion of central-northern China (North China Plain)
Revised:  In contrast to the folk religion of southern and southeastern provinces is focused on the lineages and their churches (zōngzú xiéhuì ) focusing on ancestral gods, the folk religion of central-northern China (North China Plain)
Edit intent: clarity
Original:  In contrast to the folk religion of southern and southeastern provinces which is primarily focused on the lineages and their churches (zōngzú xiéhuì ) focusing on ancestral gods,  the folk religion of central-northern China (North China Plain)
Revised:  In contrast to the folk religion of southern and southeastern provinces which is primarily focused on the lineages and their churches (zōngzú xiéhuì ) focusing on ancestral gods, while the folk religion of central-northern China (North China Plain)
Edit intent: coherence
Original:  predominantly hinges on the communal worship of tutelary deities of creation and nature as identity symbols by villages populated by families of different surnames , structured into "communities of the god(s)" (shénshè , or huì , "association"), which organise temple ceremonies (miaohui ), involving processions and pilgrimages,Overmyer, 2009. p. 10:
Revised:  hinges on the communal worship of tutelary deities of creation and nature as identity symbols by villages populated by families of different surnames , structured into "communities of the god(s)" (shénshè , or huì , "association"), which organise temple ceremonies (miaohui ), involving processions and pilgrimages,Overmyer, 2009. p. 10:
Edit intent: fluency
Original:  predominantly hinges on the communal worship of tutelary deities of creation and nature as identity symbols by villages populated by families of different surnames , structured into "communities of the god(s)" (shénshè , or huì , "association"), which organise temple ceremonies (miaohui ), involving processions and pilgrimages,Overmyer, 2009. p. 10:
Revised:  predominantly hinges on the communal worship of tutelary deities of creation and nature as identity symbols by villages populated by families of different surnames . They are structured into "communities of the god(s)" (shénshè , or huì , "association"), which organise temple ceremonies (miaohui ), involving processions and pilgrimages,Overmyer, 2009. p. 10:
Edit intent: coherence
Original:  Tan however, comments that is not the way the Chinese refer to their religion, which in any case includes worship of ancestors, not simply shen, and suggests it is logical to simply use "Chinese Religion". . "Shenxianism" (, literally, "religion of deities and immortals"), is a term partly inspired by Elliott's neologism, "Shenism."
Revised:  Tan however, comments that is not the way the Chinese refer to their religion, which in any case includes worship of ancestors, not simply shen, and suggests it is logical to simply use "Chinese Religion". "Shenxianism" (, literally, "religion of deities and immortals"), is a term partly inspired by Elliott's neologism, "Shenism."
Edit intent: fluency
Original: Zavidovskaya, 2012. p . 179–183 It describes the manifestation, activity, of the power of a god ( ling qi, "divine energy" or "effervescence"), the evidence of the holy.
Revised: Zavidovskaya, 2012. pp . 179–183 It describes the manifestation, activity, of the power of a god ( ling qi, "divine energy" or "effervescence"), the evidence of the holy.
Edit intent: fluency
Original: Zavidovskaya, 2012. p . 183–184 The term xian ling may be interpreted as the god revealing his presence in a particular area and temple,Zavidovskaya, 2012. p. 184 through events that are perceived as extraordinary, miraculous.
Revised: Zavidovskaya, 2012. pp . 183–184 The term xian ling may be interpreted as the god revealing his presence in a particular area and temple,Zavidovskaya, 2012. p. 184 through events that are perceived as extraordinary, miraculous.
Edit intent: fluency
Original: 400x400px|Population pyramid of the European Union in 2016 From about 1750 to 1950,  Western Europe transitioned from having both high birth and death rates to low birth and death rates.
Revised: 400x400px|Population pyramid of the European Union in 2016 From about 1750 to 1950, most of Western Europe transitioned from having both high birth and death rates to low birth and death rates.
Edit intent: clarity
Original:  By the late 1960s and 1970s, the average woman had fewer than two children, and, although demographers at first expected a "correction," such a rebound never came .
Revised:  By the late 1960s and 1970s, the average woman had fewer than two children, and, although demographers at first expected a "correction," such a rebound came only for a few countries .
Edit intent: meaning-changed
Original:  Despite a bump in the total fertility rates (TFR) of some European countries in the very late twentieth century (the 1980s and 1990s), especially France and Scandinavia, only in Sweden it returned to replacement level  (reaching a TFR of 2.14 in 1990 ) ;
Revised:  Despite a bump in the total fertility rates (TFR) of some European countries in the very late twentieth century (the 1980s and 1990s), especially France and Scandinavia, it returned to replacement level (reaching a TFR of 2.14 in 1990 ) ;
Edit intent: coherence
Original:  Despite a bump in the total fertility rates (TFR) of some European countries in the very late twentieth century (the 1980s and 1990s), especially France and Scandinavia, only in Sweden it returned to replacement level  (reaching a TFR of 2.14 in 1990 ) ;
Revised:  Despite a bump in the total fertility rates (TFR) of some European countries in the very late twentieth century (the 1980s and 1990s), especially France and Scandinavia, only in Sweden it returned to replacement level only in Sweden (reaching a TFR of 2.14 in 1990 ) ;
Edit intent: coherence
Original:  Despite a bump in the total fertility rates (TFR) of some European countries in the very late twentieth century (the 1980s and 1990s), especially France and Scandinavia, only in Sweden it returned to replacement level  (reaching a TFR of 2.14 in 1990 ) ;
Revised:  Despite a bump in the total fertility rates (TFR) of some European countries in the very late twentieth century (the 1980s and 1990s), especially France and Scandinavia, only in Sweden it returned to replacement level (reaching a TFR of 2.14 in 1990 , up from 1.68 in 1980), along with Ireland and Iceland ;
Edit intent: meaning-changed
Original:  the bump in Scandinavia was largely due to improving economic output and  far-reaching family benefits granted by the  welfare system, while in France it was mostly driven by older women realizing their dreams of motherhood.
Revised:  the bump in Sweden was largely due to improving economic output and far-reaching family benefits granted by the welfare system, while in France it was mostly driven by older women realizing their dreams of motherhood.
Edit intent: fluency
Original:  the bump in Scandinavia was largely due to improving economic output and  far-reaching family benefits granted by the  welfare system, while in France it was mostly driven by older women realizing their dreams of motherhood.
Revised:  the bump in Scandinavia was largely due to improving economic output and the generous, far-reaching family benefits granted by the welfare system, while in France it was mostly driven by older women realizing their dreams of motherhood.
Edit intent: meaning-changed
Original:  the bump in Scandinavia was largely due to improving economic output and  far-reaching family benefits granted by the  welfare system, while in France it was mostly driven by older women realizing their dreams of motherhood.
Revised:  the bump in Scandinavia was largely due to improving economic output and far-reaching family benefits granted by the Nordic welfare system, while in France it was mostly driven by older women realizing their dreams of motherhood.
Edit intent: meaning-changed
Original:   To this day, Scandinavia and France still have higher fertility rates than most of Europe, and  almost reached replacement level in 2010 ( 2.01 in France and 1.98 in Sweden).
Revised:  For Sweden, the increase in the fertility rate was came with a rise in the birth rate (going from 11.7 in 1980 to 14.5 in 1990), which slowed down and then stopped for a brief period to the aging of the Swedish population caused by the decline in birth rates in the late 1970s and early 1980s. To this day, Scandinavia and France still have higher fertility rates than most of Europe, and almost reached replacement level in 2010 ( 2.01 in France and 1.98 in Sweden).
Edit intent: meaning-changed
Original:   To this day, Scandinavia and France still have higher fertility rates than most of Europe, and  almost reached replacement level in 2010 ( 2.01 in France and 1.98 in Sweden).
Revised:  To this day, France and Sweden still have higher fertility rates than most of Europe, and almost reached replacement level in 2010 ( 2.01 in France and 1.98 in Sweden).
Edit intent: clarity
Original:   To this day, Scandinavia and France still have higher fertility rates than most of Europe, and  almost reached replacement level in 2010 ( 2.01 in France and 1.98 in Sweden).
Revised:  To this day, Scandinavia and France still have higher fertility rates than most of Europe, and both almost reached replacement level in 2010 ( 2.01 in France and 1.98 in Sweden).
Edit intent: clarity
Original:   To this day, Scandinavia and France still have higher fertility rates than most of Europe, and  almost reached replacement level in 2010 ( 2.01 in France and 1.98 in Sweden).
Revised:  To this day, Scandinavia and France still have higher fertility rates than most of Europe, and almost reached replacement level in 2010 ( 2.03 and 1.98 in Sweden).
Edit intent: meaning-changed
Original:   To this day, Scandinavia and France still have higher fertility rates than most of Europe, and  almost reached replacement level in 2010 ( 2.01 in France and 1.98 in Sweden).
Revised:  To this day, Scandinavia and France still have higher fertility rates than most of Europe, and almost reached replacement level in 2010 ( 2.01 in France and 1.98 respectively).
Edit intent: clarity
Original: Markov's principle, named after Andrey Markov Jr, is a statement in computability theory that  is logical validity classically  not in intuitionistic constructive mathematics.
Revised: Markov's principle, named after Andrey Markov Jr, is a conditional existence statement for which there are many equivalent formulations, as discussed below. is logical validity classically not in intuitionistic constructive mathematics.
Edit intent: meaning-changed
Original:    In constructive analysis It is equivalent, in the language of real analysis, to the following principles: Realizability If constructive arithmetic is translated using realizability into a classical meta-theory that proves the -
Revised:  Realizability If constructive arithmetic is translated using realizability into a classical meta-theory that proves the -consistency of the relevant classical theory (for example, Peano Arithmetic if we are studying Heyting arithmetic), then Markov's principle is justified: a realizer is the constant function that takes a realization that is not everywhere false to the unbounded search that successively checks if is true. If is not everywhere false, then by -consistency there must be a term for which holds, and each term will be checked by the search eventually. If however does not hold anywhere, then the domain of the constant function must be empty, so although the search does not halt it still holds vacuously that the function is a realizer. By the Law of the Excluded Middle (in our classical metatheory), must either hold nowhere or not hold nowhere, therefore this constant function is a realizer. In constructive analysis It is equivalent, in the language of real analysis, to the following principles: Realizability If constructive arithmetic is translated using realizability into a classical meta-theory that proves the -
Edit intent: meaning-changed
Original:    In constructive analysis It is equivalent, in the language of real analysis, to the following principles: Realizability If constructive arithmetic is translated using realizability into a classical meta-theory that proves the -
Revised:  If instead the realizability interpretation is used in a constructive meta-theory, then it is not justified. Indeed, for first-order arithmetic, Markov's principle exactly captures the difference between a constructive and classical meta-theory. Specifically, a statement is provable in Heyting arithmetic with Extended Church's thesis if and only if there is a number that provably realizes it in Heyting arithmetic; and it is provable in Heyting arithmetic with Extended Church's thesis and Markov's principle if and only if there is a number that provably realizes it in Peano arithmetic. In constructive analysis It is equivalent, in the language of real analysis, to the following principles: Realizability If constructive arithmetic is translated using realizability into a classical meta-theory that proves the -
Edit intent: meaning-changed
Original:    In constructive analysis It is equivalent, in the language of real analysis, to the following principles: Realizability If constructive arithmetic is translated using realizability into a classical meta-theory that proves the -consistency of the relevant classical theory (for example, Peano Arithmetic if we are studying Heyting arithmetic), then Markov's principle is justified: a realizer is the constant function that takes a realization that is not everywhere false to the unbounded search that successively checks if is true. If is not everywhere false, then by -consistency there must be a term for which holds, and each term will be checked by the search eventually. If however does not hold anywhere, then the domain of the constant function must be empty, so although the search does not halt it still holds vacuously that the function is a realizer. By the Law of the Excluded Middle (in our classical metatheory), must either hold nowhere or not hold nowhere, therefore this constant function is a realizer.
Revised:  In constructive analysis It is equivalent, in the language of real analysis, to the following principles: 
Edit intent: coherence
Original:  If instead the realizability interpretation is used in a constructive meta-theory, then it is not justified. Indeed, for first-order arithmetic, Markov's principle exactly captures the difference between a constructive and classical meta-theory. Specifically, a statement is provable in Heyting arithmetic with Extended Church's thesis if and only if there is a number that provably realizes it in Heyting arithmetic; and it is provable in Heyting arithmetic with Extended Church's thesis and Markov's principle if and only if there is a number that provably realizes it in Peano arithmetic .
Revised:  History The principle was first studied and adopted by the Russian school of constructivism, together with | choice principles and often together with a realizability perspective on the notion of mathematical function .
Edit intent: coherence
Original:  In computability theory In the language of computability theory, Markov's principle is a formal expression of the claim that if it is impossible that an algorithm does not terminate, then it does terminate.
Revised: History The principle was first studied and adopted by the Russian school of constructivism, together with choice principles and often with a realizability perspective on the notion of mathematical function. In computability theory In the language of computability theory, Markov's principle is a formal expression of the claim that if it is impossible that an algorithm does not terminate, then it does terminate.
Edit intent: meaning-changed
Original:  In intuitionistic logic A predicate P over some domain is called decidable if for every x in the domain, either P(x) is true, or P(x) is not true , which is not always the case constructively.
Revised:  In Intuitionistic logic In predicate logic, a predicate P over some domain is called decidable if for every x in the domain, either P(x) is true, or P(x) is not true , which is not always the case constructively.
Edit intent: fluency
Original:  In intuitionistic logic A predicate P over some domain is called decidable if for every x in the domain, either P(x) is true, or P(x) is not true , which is not always the case constructively. In predicate logic, if P is a predicate  over the natural numbers, it is expressed as : That is, if P is decidable, and it cannot be false for every natural number n, then it is true for some n.
Revised:  In intuitionistic logic A predicate P over some domain is called decidable if for every x in the domain, either P(x) is true, or P(x) is not true . This is not trivially true constructively. over the natural numbers, it is expressed as : That is, if P is decidable, and it cannot be false for every natural number n, then it is true for some n.
Edit intent: clarity
Original:  In predicate logic, if P is a predicate  over the natural numbers, it is expressed as : That is, if P is decidable, and it cannot be false for every natural number n, then it is true for some n.
Revised:  In predicate logic, if P is a predicate For a decidable predicate P over the natural numbers, it is expressed as : That is, if P is decidable, and it cannot be false for every natural number n, then it is true for some n.
Edit intent: clarity
Original:  In predicate logic, if P is a predicate  over the natural numbers, it is expressed as : That is, if P is decidable, and it cannot be false for every natural number n, then it is true for some n.
Revised:  In predicate logic, if P is a predicate over the natural numbers, Markov's principle then reads : That is, if P is decidable, and it cannot be false for every natural number n, then it is true for some n.
Edit intent: meaning-changed
Original:  In predicate logic, if P is a predicate  over the natural numbers, it is expressed as : That is, if P is decidable, and it cannot be false for every natural number n, then it is true for some n.
Revised:  In predicate logic, if P is a predicate over the natural numbers, it is expressed as : That is, if P cannot be false for every natural number n, then it is true for some n.
Edit intent: clarity
Original:  In predicate logic, if P is a predicate  over the natural numbers, it is expressed as : That is, if P is decidable, and it cannot be false for every natural number n, then it is true for some n.
Revised:  In predicate logic, if P is a predicate over the natural numbers, it is expressed as : That is, if P is decidable, and it cannot be false for all natural numbers n, then it is true for some n.
Edit intent: clarity
Original: Publication history The first edition was printed in November 1909. The order of publication was placed by Max Heindel on the New MoonNote: The new moon is important in astrology, as is the full moon. of November 1909 and the book was published a couple of weeks later by the Full Moon, some 5 short weeks before the end of the first decade of the 1900s.Jean de Galzain. Online RF Friends%DIFDELCMD < ] %%% announcement of the 100-year centenary of the Rosicrucian Cosmo-Conception and celebration events at Mount Ecclesia on the weekend of November 13–14-15, 2009.
Revised:  RF Friends%DIFDELCMD < ] %%% announcement of the 100-year centenary of the Rosicrucian Cosmo-Conception and celebration events at Mount Ecclesia on the weekend of November 13–14-15, 2009.
Edit intent: clarity
Original:  Online RF Friends%DIFDELCMD < ] %%% announcement of the 100-year centenary of the Rosicrucian Cosmo-Conception and celebration events at Mount Ecclesia on the weekend of November 13–14-15, 2009.
Revised:  Online %DIFDELCMD < ] %%% announcement of the 100-year centenary of the Rosicrucian Cosmo-Conception and celebration events at Mount Ecclesia on the weekend of November 13–14-15, 2009.
Edit intent: fluency
Original:  Online RF Friends%DIFDELCMD < ] %%% announcement of the 100-year centenary of the Rosicrucian Cosmo-Conception and celebration events at Mount Ecclesia on the weekend of November 13–14-15, 2009. It has little changed since then and it is considered to be Max Heindel's magnum opus. It is a reference work in the Christian mysticism practice and in the Occult study literature, containing the fundamentals of Esoteric Christianity from a Rosicrucian perspective. The Cosmo contains a comprehensive outline of the evolutionary process of man and the universe, correlating science with religion. It is, till current days, the basic book for the philosophy courses of the school, the Rosicrucian Fellowship, founded by the author on August 8, 1909.
Revised:  Online RF Friends%DIFDELCMD < ] %%% 
Edit intent: coherence
Original:  The first dedicatory The first edition of this work, containing more than 700 pages of in depth teachings into the major themes of the occult science, was dedicated to a knowledgeable lecturer of the occult field called Rudolf Steiner, to whom Max Heindel felt greatly indebted. It had the subtitle "Occult Science" instead of "Mystic Christianity" and just above the message and mission ("A Sane Mind, a Soft Heart and a Sound Body", "Service") there was a quotation from Paul of Tarsus: "PROVE ALL THINGS". In the subsequent edition, Heindel removed the initial dedication and changed the mentioned elements. The first dedication became a controversial issue among some students of both teachers down to the present. However, as both Heindel and Steiner appear to have been influenced by the same Elder Brother of the Rose Cross, to some extent and at some stage of their lives, it becomes an accessory issue that may only be unveiled through the discernment of the student along her/his path of spiritual unfoldment.
Edit intent: coherence
Original:  The first edition was printed in 1909 and has changed little since then  [   .
Revised:  The first edition was printed in 1909 and has changed little since then Publication history The first edition was printed in November 1909. The order of publication was placed by Max Heindel on the New MoonNote: The new moon is important in astrology, as is the full moon. of November 1909 and the book was published a couple of weeks later by the Full Moon, some 5 short weeks before the end of the first decade of the 1900s.Jean de Galzain. Online[ .
Edit intent: meaning-changed
Original:  The first edition was printed in 1909 and has changed little since then  [   .
Revised:  The first edition was printed in 1909 and has changed little since then [ announcement of the 100-year centenary of the Rosicrucian Cosmo-Conception and celebration events at Mount Ecclesia on the weekend of November 13–14-15, 2009. It has little changed since then and it is considered to be Max Heindel's magnum opus. It is a reference work in the Christian mysticism practice and in the Occult study literature, containing the fundamentals of Esoteric Christianity from a Rosicrucian perspective. The Cosmo contains a comprehensive outline of the evolutionary process of man and the universe, correlating science with religion. It is, till current days, the basic book for the philosophy courses of the school, the Rosicrucian Fellowship, founded by the author on August 8, 1909. .
Edit intent: meaning-changed