x is authors. y is books. z is subjects.

Q(x,y,z) := x writes a y about z.

xyQ(x,y,medieval history) in English is:

Group of answer choices

There exists an author and there exists a book but the book's subject is not medieval history.

No author has ever written a book about medieval history.

None of these answers are correct.

There is an author who has not written a book about medieval history.