92. 10 Points Your local book club has asked you to develop a small application to manage the club members who borrow the books. The club may have multiple copies of a given book. The club manager gives you the requirement (shown as quoted statements below). Write them as Z predicates in the same order. [MEMBER, BOOK] MAX==10 BookClub mem : P MEMBER borrowed: MEMBER BOOK numCopies: BOOKN1 "Only members can borrow books" "A book is loaned only if there are more copies" "The club cannot loan more copies of a given book than is available" "A member can borrow a maximum of MAX books