what is the name of the serial installment which contains an installment number of at least 7?
(AND book.serial_installment (ge book.serial_installment.installment_number 7^^http://www.w3.org/2001/XMLSchema#integer))