1. The problem statement, all variables and given/known data

I've completed the rest of this homework assignment, but I don't understand this question. Otherwise, the section consists of proofs using predicate logic.

Could anyone shed some light on what this question means?

The book (and the question) is available online, here