instruction: After 17:00 P.M. , what section is offered of HISTART 517 ?
response: SELECT DISTINCT course_offering.end_time, course_offering.section_number, course_offering.start_time FROM course, course_offering, semester WHERE course_offering.start_time > '17:00' AND course.course_id = course_offering.course_id AND course.department = 'HISTART' AND course.number = 517 AND semester.semester = 'WN' AND semester.semester_id = course_offering.semester AND semester.year = 2016