what is the name of the 18 hole golf course?
(AND sports.golf_course (JOIN sports.golf_course.holes 18^^http://www.w3.org/2001/XMLSchema#integer))