Select the best translation into predicate logic: All first-year students take a swim test. (Sx: x takes a swim test; Sx: x is a first-year student)
(A)(∀x)(Sx ⊃ Fx) (B)(∀x)(Fx ⊃ Sx) (C)(∀x)(Fx ∨ Sx) (D)(∀x)(Fx ≡ Sx)
B