Input (grade 8): As it moved over cooler waters, it weakened slightly to a tropical storm late on July 19.
Output (grade 7): As it moved over cooler waters, it weakened a bit to a tropical storm late on July 19.