instruction: Is ASTRO 255 taught in the morning ?
response: SELECT COUNT(*) > 0 FROM course, course_offering, semester WHERE course_offering.start_time < '12:00:00' AND course_offering.start_time >= '08:00:00' AND course.course_id = course_offering.course_id AND course.department = 'ASTRO' AND course.number = 255 AND semester.semester = 'WN' AND semester.semester_id = course_offering.semester AND semester.year = 2016