wanyu/IteraTeR_full_sent huggingface dataset:
Original: As an example, the function es+t − eset = 0 on the real numbers . By the principle of permanence for functions of two variables, this implies that es+t − eset = 0 for all complex numbers as well , thus proving one of the laws of exponents for complex exponents .Gamelin, T. Complex Analysis, UTM Series, Springer-Verlag, 2001c
Revised: As an example, the function es+t − eset = 0 on the real numbers . By the principle of permanence for functions of two variables, this suggests that it holds for all complex numbers as well , thus proving one of the laws of exponents for complex exponents .Gamelin, T. Complex Analysis, UTM Series, Springer-Verlag, 2001c
Edit intent: clarity
Original: As an example, the function es+t − eset = 0 on the real numbers . By the principle of permanence for functions of two variables, this implies that es+t − eset = 0 for all complex numbers as well , thus proving one of the laws of exponents for complex exponents .Gamelin, T. Complex Analysis, UTM Series, Springer-Verlag, 2001c
Revised: As an example, the function es+t − eset = 0 on the real numbers . By the principle of permanence for functions of two variables, this implies that es+t − eset = 0 for all complex numbers as well .Gamelin, T. Complex Analysis, UTM Series, Springer-Verlag, 2001c
Edit intent: coherence
Original: In the philosophy of mathematics, the principle of permanence, or law of the permanence of equivalent forms, is the idea that algebraic operations like addition and multiplication should behave consistently in every number system, especially when developing extensions to established number systems.
Revised: In the history of mathematics, the principle of permanence, or law of the permanence of equivalent forms, is the idea that algebraic operations like addition and multiplication should behave consistently in every number system, especially when developing extensions to established number systems.
Edit intent: clarity
Original: In the philosophy of mathematics, the principle of permanence, or law of the permanence of equivalent forms, is the idea that algebraic operations like addition and multiplication should behave consistently in every number system, especially when developing extensions to established number systems.
Revised: In the philosophy of mathematics, the principle of permanence, or law of the permanence of equivalent forms, was the idea that algebraic operations like addition and multiplication should behave consistently in every number system, especially when developing extensions to established number systems.
Edit intent: fluency
Original: Community Safety or Community Security (CS) is  according to the United Nations Development Program (UNDP)  a concept that seeks to operationalize human security, human development and state-building paradigms at the local level.
Revised: Community Safety or Community Security (CS) is , according to the United Nations Development Program (UNDP) a concept that seeks to operationalize human security, human development and state-building paradigms at the local level.
Edit intent: fluency
Original: Community Safety or Community Security (CS) is  according to the United Nations Development Program (UNDP)  a concept that seeks to operationalize human security, human development and state-building paradigms at the local level.
Revised: Community Safety or Community Security (CS) is according to the United Nations Development Program (UNDP) , a concept that seeks to operationalize human security, human development and state-building paradigms at the local level.
Edit intent: fluency
Original:  The approach focuses on ensuring that communities and their members are ‘ free from fear ’. Yet a broader contemporary definition also includes action on a wider range of social issues to ensure ‘ freedom from want ’ . Like community safety and citizen security, it promotes a multi-stakeholder approach that is driven by an analysis of local needs.
Revised:  The approach focuses on ensuring that communities and their members are " free from fear ’. Yet a broader contemporary definition also includes action on a wider range of social issues to ensure ‘ freedom from want ’ . Like community safety and citizen security, it promotes a multi-stakeholder approach that is driven by an analysis of local needs.
Edit intent: fluency
Original:  The approach focuses on ensuring that communities and their members are ‘ free from fear ’. Yet a broader contemporary definition also includes action on a wider range of social issues to ensure ‘ freedom from want ’ . Like community safety and citizen security, it promotes a multi-stakeholder approach that is driven by an analysis of local needs.
Revised:  The approach focuses on ensuring that communities and their members are ‘ free from fear ". Yet, a broader contemporary definition also includes action on a wider range of social issues to ensure ‘ freedom from want ’ . Like community safety and citizen security, it promotes a multi-stakeholder approach that is driven by an analysis of local needs.
Edit intent: fluency
Original:  The approach focuses on ensuring that communities and their members are ‘ free from fear ’. Yet a broader contemporary definition also includes action on a wider range of social issues to ensure ‘ freedom from want ’ . Like community safety and citizen security, it promotes a multi-stakeholder approach that is driven by an analysis of local needs.
Revised:  The approach focuses on ensuring that communities and their members are ‘ free from fear ’. Yet a broader contemporary definition also includes action on a wider range of social issues to ensure " freedom from want ’ . Like community safety and citizen security, it promotes a multi-stakeholder approach that is driven by an analysis of local needs.
Edit intent: fluency
Original:  The approach focuses on ensuring that communities and their members are ‘ free from fear ’. Yet a broader contemporary definition also includes action on a wider range of social issues to ensure ‘ freedom from want ’ . Like community safety and citizen security, it promotes a multi-stakeholder approach that is driven by an analysis of local needs.
Revised:  The approach focuses on ensuring that communities and their members are ‘ free from fear ’. Yet a broader contemporary definition also includes action on a wider range of social issues to ensure ‘ freedom from want " . Like community safety and citizen security, it promotes a multi-stakeholder approach that is driven by an analysis of local needs.
Edit intent: fluency
Original: UNDP Community safety and social cohesion : URL By emphasizing the ‘community’ aspect the concept seeks to embrace both cultures and contexts that are ‘ individual-oriented ’ , including many in Latin America, and cultures and contexts that are ‘group oriented’ , as are many in Africa and South Asia.
Revised: UNDP Community safety and social cohesion . By emphasizing the ‘community’ aspect the concept seeks to embrace both cultures and contexts that are ‘ individual-oriented ’ , including many in Latin America, and cultures and contexts that are ‘group oriented’ , as are many in Africa and South Asia.
Edit intent: coherence
Original: UNDP Community safety and social cohesion : URL By emphasizing the ‘community’ aspect the concept seeks to embrace both cultures and contexts that are ‘ individual-oriented ’ , including many in Latin America, and cultures and contexts that are ‘group oriented’ , as are many in Africa and South Asia.
Revised: UNDP Community safety and social cohesion : URL By emphasizing the "community" aspect the concept seeks to embrace both cultures and contexts that are ‘ individual-oriented ’ , including many in Latin America, and cultures and contexts that are ‘group oriented’ , as are many in Africa and South Asia.
Edit intent: fluency
Original: UNDP Community safety and social cohesion : URL By emphasizing the ‘community’ aspect the concept seeks to embrace both cultures and contexts that are ‘ individual-oriented ’ , including many in Latin America, and cultures and contexts that are ‘group oriented’ , as are many in Africa and South Asia.
Revised: UNDP Community safety and social cohesion : URL By emphasizing the ‘community’ aspect the concept seeks to embrace both cultures and contexts that are " individual-oriented ’ , including many in Latin America, and cultures and contexts that are ‘group oriented’ , as are many in Africa and South Asia.
Edit intent: fluency
Original: UNDP Community safety and social cohesion : URL By emphasizing the ‘community’ aspect the concept seeks to embrace both cultures and contexts that are ‘ individual-oriented ’ , including many in Latin America, and cultures and contexts that are ‘group oriented’ , as are many in Africa and South Asia.
Revised: UNDP Community safety and social cohesion : URL By emphasizing the ‘community’ aspect the concept seeks to embrace both cultures and contexts that are ‘ individual-oriented " , including many in Latin America, and cultures and contexts that are ‘group oriented’ , as are many in Africa and South Asia.
Edit intent: fluency
Original: UNDP Community safety and social cohesion : URL By emphasizing the ‘community’ aspect the concept seeks to embrace both cultures and contexts that are ‘ individual-oriented ’ , including many in Latin America, and cultures and contexts that are ‘group oriented’ , as are many in Africa and South Asia.
Revised: UNDP Community safety and social cohesion : URL By emphasizing the ‘community’ aspect the concept seeks to embrace both cultures and contexts that are ‘ individual-oriented ’ , including many in Latin America, and cultures and contexts that are "group oriented" , as are many in Africa and South Asia.
Edit intent: fluency
Original: The Western Satraps, or Western Kshatrapas (Brahmi:13px13px13px13px11px, Mahakṣatrapa, "Great Satraps") were Indo-Scythian (Saka) rulers of  the western and central part of India (Saurashtra and Malwa: modern Gujarat, Maharashtra, Rajasthan and Madhya Pradesh states Sindh ), between 35 to 405 CE.
Revised: The Western Satraps, or Western Kshatrapas (Brahmi:13px13px13px13px11px, Mahakṣatrapa, "Great Satraps") were Indo-Scythian (Saka) rulers of southern Pakistan (Sindh and eastern Balochistan) the western and central part of India (Saurashtra and Malwa: modern Gujarat, Maharashtra, Rajasthan and Madhya Pradesh states Sindh ), between 35 to 405 CE.
Edit intent: meaning-changed
Original: The Western Satraps, or Western Kshatrapas (Brahmi:13px13px13px13px11px, Mahakṣatrapa, "Great Satraps") were Indo-Scythian (Saka) rulers of  the western and central part of India (Saurashtra and Malwa: modern Gujarat, Maharashtra, Rajasthan and Madhya Pradesh states Sindh ), between 35 to 405 CE.
Revised: The Western Satraps, or Western Kshatrapas (Brahmi:13px13px13px13px11px, Mahakṣatrapa, "Great Satraps") were Indo-Scythian (Saka) rulers of the western and central part of India (Saurashtra and Malwa: modern Gujarat, Maharashtra, Rajasthan and Madhya Pradesh Sindh ), between 35 to 405 CE.
Edit intent: clarity
Original: The Western Satraps, or Western Kshatrapas (Brahmi:13px13px13px13px11px, Mahakṣatrapa, "Great Satraps") were Indo-Scythian (Saka) rulers of  the western and central part of India (Saurashtra and Malwa: modern Gujarat, Maharashtra, Rajasthan and Madhya Pradesh states Sindh ), between 35 to 405 CE.
Revised: The Western Satraps, or Western Kshatrapas (Brahmi:13px13px13px13px11px, Mahakṣatrapa, "Great Satraps") were Indo-Scythian (Saka) rulers of the western and central part of India (Saurashtra and Malwa: modern Gujarat, Maharashtra, Rajasthan and Madhya Pradesh states ), between 35 to 405 CE.
Edit intent: coherence
Original:  In this role, TT continues Terrestrial Dynamical Time (TDT or TD),TT is equivalent to TDT, see IAU conference 1991, Resolution A4, recommendation IV, note 4. which in turn succeeded ephemeris time (ET).
Revised:  In this role, TT continues Terrestrial Dynamical Time (TDT or TD),TT is equivalent to TDT, see IAU conference 1991, Resolution A4, recommendation IV, note 4. which succeeded ephemeris time (ET).
Edit intent: clarity
Original:  The unit of TT is the SI second, the definition of which is currently based on the caesium atomic clock,IAU conference 1991, Resolution A4, recommendation IV, part 2 states that the unit for TT is to agree with the SI second 'on the geoid'. but TT is not itself defined by atomic clocks.
Revised:  The unit of TT is the SI second, the definition of which is based currently on the caesium atomic clock,IAU conference 1991, Resolution A4, recommendation IV, part 2 states that the unit for TT is to agree with the SI second 'on the geoid'. but TT is not itself defined by atomic clocks.
Edit intent: fluency
Original:  The equation linking TT and TCG is more commonly seen in the form Time coordinates on the TT and TCG scales are conventionally specified using traditional means of specifying days, carried over from non-uniform time standards based on the rotation of Earth.
Revised:  The equation linking TT and TCG more commonly has the form Time coordinates on the TT and TCG scales are conventionally specified using traditional means of specifying days, carried over from non-uniform time standards based on the rotation of Earth.
Edit intent: clarity
Original:  The equation linking TT and TCG is more commonly seen in the form Time coordinates on the TT and TCG scales are conventionally specified using traditional means of specifying days, carried over from non-uniform time standards based on the rotation of Earth.
Revised:  The equation linking TT and TCG is more commonly seen in the form Time coordinates on the TT and TCG scales are conventionally specified using traditional means of specifying days, inherited from non-uniform time standards based on the rotation of Earth.
Edit intent: clarity
Original:  Because of the historical difference between TAI and ET when TT was introduced, the TAI realization of TT is defined thus: Sometimes times described in TT must be handled in situations where TT's detailed theoretical properties are not significant.
Revised:  Because of the historical difference between TAI and ET when TT was introduced, the TAI realization of TT is defined thus: Sometimes times described in TT are used in situations where TT's detailed theoretical properties are not significant.
Edit intent: clarity
Original:  Where millisecond accuracy is enough (or more than enough), TT can be summarized in the following ways : To millisecond accuracy, TT runs parallel to the atomic timescale (International Atomic Time, TAI) maintained by the BIPM.
Revised:  Where millisecond accuracy is enough (or more than enough), TT can be summarized in the following manners : To millisecond accuracy, TT runs parallel to the atomic timescale (International Atomic Time, TAI) maintained by the BIPM.
Edit intent: clarity
Original:  Where millisecond accuracy is enough (or more than enough), TT can be summarized in the following ways : To millisecond accuracy, TT runs parallel to the atomic timescale (International Atomic Time, TAI) maintained by the BIPM.
Revised:  Where millisecond accuracy is enough (or more than enough), TT can be summarized in the following ways : To millisecond accuracy, TT is parallel to the atomic timescale (International Atomic Time, TAI) maintained by the BIPM.
Edit intent: clarity
Original:  TT also runs in parallel with the GPS time scale, which has a constant difference from atomic time (TAI − GPS time = +19 seconds), so that TT ≅ GPS time + 51.184 seconds.
Revised:  TT is also parallel with the GPS time scale, which has a constant difference from atomic time (TAI − GPS time = +19 seconds), so that TT ≅ GPS time + 51.184 seconds.
Edit intent: clarity
Original:  TT runs a little ahead of UT1 (a refined measure of mean solar time at Greenwich) by an amount known as ΔT = TT − UT1. ΔT was measured at +67.6439 seconds (TT ahead of UT1) at 0h UTC on 1 January 2015;US Naval Observatory (USNO) data file online at ftp://maia.usno.navy.mil/ser7/deltat.data (accessed 27 October 2015). and by retrospective calculation, ΔT was close to zero around the year 1900.
Revised:  TT is slightly ahead of UT1 (a refined measure of mean solar time at Greenwich) by an amount known as ΔT = TT − UT1. ΔT was measured at +67.6439 seconds (TT ahead of UT1) at 0h UTC on 1 January 2015;US Naval Observatory (USNO) data file online at ftp://maia.usno.navy.mil/ser7/deltat.data (accessed 27 October 2015). and by retrospective calculation, ΔT was close to zero around the year 1900.
Edit intent: clarity
Original:  TT runs a little ahead of UT1 (a refined measure of mean solar time at Greenwich) by an amount known as ΔT = TT − UT1. ΔT was measured at +67.6439 seconds (TT ahead of UT1) at 0h UTC on 1 January 2015;US Naval Observatory (USNO) data file online at ftp://maia.usno.navy.mil/ser7/deltat.data (accessed 27 October 2015). and by retrospective calculation, ΔT was close to zero around the year 1900.
Revised:  TT runs a little ahead of UT1 (a refined measure of mean solar time at Greenwich) by an amount known as ΔT = TT − UT1. ΔT was measured at +67.6439 seconds (TT ahead of UT1) at 0h UTC on 1 January 2015;US Naval Observatory (USNO) data file online at ftp://maia.usno.navy.mil/ser7/deltat.data (accessed 27 October 2015). and by retrospective calculation, ΔT was close to zero about the year 1900.
Edit intent: fluency
Original:  He has exhibited a medal called Olympic movement in the British Museum in the exhibition In the Round organized by the FIDEM (Fédération Internationale de la Médaille d'Art - International Art Medal Federation) in 1992.
Revised:  He has exhibited a medal called Olympic movement in the British Museum in the exhibition in the Round organized by the FIDEM (Fédération Internationale de la Médaille d'Art - International Art Medal Federation) in 1992.
Edit intent: fluency
Original:  He has exhibited a medal called Olympic movement in the British Museum in the exhibition In the Round organized by the FIDEM (Fédération Internationale de la Médaille d'Art - International Art Medal Federation) in 1992.
Revised:  He has exhibited a medal called Olympic movement in the British Museum in the exhibition In the Round organized by the FIDEM (Fédération Internationale de la Médaille d'Art – International Art Medal Federation) in 1992.
Edit intent: fluency
Original: The agreement set up a Council of State of Liberia, which was to consist of a chair, and five members: Charles Taylor, LTG. Alhaji G. V. Kromah (United Liberation Movement of Liberia for Democracy), Dr. George E. S. Boley Sr. (LNC)  Oscar Jaryee Quiah (Liberian National Conference), and Chief Tamba Tailor.
Revised: The agreement set up a Council of State of Liberia, which was to consist of a chair, and five members: Charles Taylor, LTG. G. V. Kromah (United Liberation Movement of Liberia for Democracy), Dr. George E. S. Boley Sr. (LNC) Oscar Jaryee Quiah (Liberian National Conference), and Chief Tamba Tailor.
Edit intent: clarity
Original: The agreement set up a Council of State of Liberia, which was to consist of a chair, and five members: Charles Taylor, LTG. Alhaji G. V. Kromah (United Liberation Movement of Liberia for Democracy), Dr. George E. S. Boley Sr. (LNC)  Oscar Jaryee Quiah (Liberian National Conference), and Chief Tamba Tailor.
Revised: The agreement set up a Council of State of Liberia, which was to consist of a chair, and five members: Charles Taylor, LTG. Alhaji G. V. Kromah (United Liberation Movement of Liberia for Democracy), Dr. George Boley Sr. (LNC) Oscar Jaryee Quiah (Liberian National Conference), and Chief Tamba Tailor.
Edit intent: clarity
Original: The agreement set up a Council of State of Liberia, which was to consist of a chair, and five members: Charles Taylor, LTG. Alhaji G. V. Kromah (United Liberation Movement of Liberia for Democracy), Dr. George E. S. Boley Sr. (LNC)  Oscar Jaryee Quiah (Liberian National Conference), and Chief Tamba Tailor.
Revised: The agreement set up a Council of State of Liberia, which was to consist of a chair, and five members: Charles Taylor, LTG. Alhaji G. V. Kromah (United Liberation Movement of Liberia for Democracy), Dr. George E. S. Boley Sr. (LNC) , Oscar Jaryee Quiah (Liberian National Conference), and Chief Tamba Tailor.
Edit intent: fluency
Original: Category:1979 births Category:Living people Category:People from Heredia Province Category:Photojournalists Category:Costa Rican photographers Category: Women photographers Category: Costa Rican journalists Category:Costa Rican women journalists Category:Costa Rican activist
Revised: Category:1979 births Category:Living people Category:People from Heredia Province Category:Photojournalists Category:Costa Rican photographers Category: Costa Rican journalists Category:Costa Rican women journalists Category:Costa Rican activist
Edit intent: fluency
Original: Category:1979 births Category:Living people Category:People from Heredia Province Category:Photojournalists Category:Costa Rican photographers Category: Women photographers Category: Costa Rican journalists Category:Costa Rican women journalists Category:Costa Rican activist
Revised: Category:1979 births Category:Living people Category:People from Heredia Province Category:Photojournalists Category:Costa Rican photographers Category: Women photographers Category: Costa Rican journalists Category:Costa Rican activists Category:Photographer
Edit intent: fluency
Original:  1716–1786) was a Spanish military officer and administrator, famous for leading the Portolà expedition into California in 1769. During the expedition Portolà was responsible for the establishment of San Diego and Monterey and came to eventually rule as the first Governor of the Californias (both Alta California and Baja California) .
Revised:  1716–1786) was a Spanish military officer and administrator, famous for leading the Portolà expedition into California and for serving as the first Governor of the Californias (both Alta California and Baja California) .
Edit intent: clarity
Original:  His expedition gave names to geographic features throughout California, a significant number of which are still in use.factcards.califa.org, Gaspar de Portolá i Rovira Early life  Portolá  was born on January 1 , 1716 in Os de Balaguer, in Catalonia, Spain, of Catalan nobility.
Revised:  His expedition was responsible for founding important Californian cities like San Diego and Monterey, as well as for applying names to geographic features throughout California, a significant number of which are still in use.factcards.califa.org, Gaspar de Portolá i Rovira Early life Portolá was born on January 1 , 1716 in Os de Balaguer, in Catalonia, Spain, of Catalan nobility.
Edit intent: meaning-changed
Original:  His expedition gave names to geographic features throughout California, a significant number of which are still in use.factcards.califa.org, Gaspar de Portolá i Rovira Early life  Portolá  was born on January 1 , 1716 in Os de Balaguer, in Catalonia, Spain, of Catalan nobility.
Revised:  His expedition gave names to geographic features throughout California, many of which are still in use.factcards.califa.org, Gaspar de Portolá i Rovira Early life Portolá was born on January 1 , 1716 in Os de Balaguer, in Catalonia, Spain, of Catalan nobility.
Edit intent: clarity
Original:  His expedition gave names to geographic features throughout California, a significant number of which are still in use.factcards.califa.org, Gaspar de Portolá i Rovira Early life  Portolá  was born on January 1 , 1716 in Os de Balaguer, in Catalonia, Spain, of Catalan nobility.
Revised:  His expedition gave names to geographic features throughout California, a significant number of which are still in use.factcards.califa.org, Gaspar de Portolá i Rovira Early life upMonument to Portolá was born on January 1 , 1716 in Os de Balaguer, in Catalonia, Spain, of Catalan nobility.
Edit intent: meaning-changed