Using first-order logic

Consider a vocabulary with following symbols: .Student(x): x is a student; French(y): y is a course in French .Greek (y): y is a course in Greek; . Take(x, y): Student x takes course y; Pass(x, y): Student x passes course y .Fail (x, y): Student x fails course y; TakelnFall2018(x, y): Student x takes course y in Fall 2018. Use these symbols to write the following assertions a) Some students took French in Fall 2018 b) Every student who takes Greek passes it c) Every student that failed French, took it in Fall 2018 d) If someone has taken the Greek course, they have taken and passed the French course