List of top Data Science Questions on First Order Logic

Convert the following statement into First Order Logic: "For every \(s\), if \(s\) is a student, then \(s\) is a player"