N nadz Guest Mar 25, 2009 #1 Represent the following sentences in the first-order logic, using a consistent vocabulary