Input (grade 11): At midday on July 16, a tropical depression formed, and within 12 hours it strengthened into a tropical storm.
Output (grade 8): At midday on July 16, a tropical depression formed.