Task: Question Answering
Input (English): Select the best translation into predicate logic. Some kind people help some endangered species. (Ex: x is endangered; Kx: x is kind; Px: x is a person; Sx: x is a species; Hxy: x helps y)
(A)(∃x){(Kx • Px) • (∃y)[(Ey • Sy) • Hxy]} (B)(∃x)(∃y){[(Kx • Sx) • (Ey • Py)] • Hxy} (C)(∃x)(∃y){[(Kx • Sx) • (Ey • Py)] • Hyx} (D)(∃x)(∃y){[(Kx • Px) • (Ey • Sy)] ⊃ Hxy}
Output (English): A