<prompt> Chagua mageuzo bora zaidi hadi kwa predicate logic. All kings are luckier than all paupers. Kx: x is a king; Px: x is a pauper; Lxy: x is luckier than yA. xKx yPy Lxy B. xKx yLxy Py C. xyKx Py Lyx D. xKx yPy Lxy  <response>: <reason> A 