Hey guys, question regarding symbolic form.

In the design specification of a library system, B(p,b) denotes the predicate 'person p has borrowed b', and O(b) denotes the predicate 'book b is overdue'.

Write the following sentences in the symbolic form:

a) Person p has borrowed a book.

My Answer: $\displaystyle \exists b, B(p,b)$

b) Book b has been borrowed.

My Answer: $\displaystyle \exists p, B(p,b)$

c) Book b is on the shelfMy Answer: Not sure

d) Person p has borrowed at least two books.

My Answer: Not sure

My Answer: Not sure.

e) No book has been borrowed by more than one person.

If you guys could let me know if my answers are correct and help me with the ones i dont know id highly appreciate it. Thanks.