A) There was a student in CS 540 Fall 1999 who was born in a country in South America.
B) John sold Mary his CS 540 textbook (and, hence, this book that John formerly owned is now owned by Mary).
question from:https://stackoverflow.com/questions/65862544/first-order-predicate-calculus-am-i-doing-this-right