what serial installment has an installment number greater than 4?
(AND book.serial_installment (gt book.serial_installment.installment_number 4^^http://www.w3.org/2001/XMLSchema#integer))