 Interestingly, the translation ( )° of  (7)  into predicate logic is not  (6)  but  (8).  So the problem is not that predicate logic cannot express the truth-conditions of donkey conditionals but that sentences like  (8)  are unlikely to be the end product of a compositional interpretation process (but see Barker and Shan 2008). 