There are two ways of spelling out the interpretation of so-called duplex conditions of the form K(∀x)K′. On its weak interpretation, [8a] means that every farmer who owns a donkey beats at least one of the donkeys he owns; on its strong interpretation the sentence says that every farmer beats every donkey he owns. While the strong reading is the most natural choice for [8a], other donkey sentences prefer a weak reading: