instruction: 417 is taught in the Fall of 2006 in the afternoon ?
response: SELECT COUNT(*) > 0 FROM course, course_offering, semester WHERE course_offering.start_time >= '12:00:00' AND course.course_id = course_offering.course_id AND course.department = 'EECS' AND course.number = 417 AND semester.semester = 'Fall' AND semester.semester_id = course_offering.semester AND semester.year = 2006