8. "Everyone who likes coding will be asked by some people to help. They will become welcomed (or become an 'errand boy' in the end), always being asked for help". The first-order logic of the sentence is written below: x[yCoding(x)AskHelp(x,y)][y Welcomed (x)AskHelp(x,y)] Convert this sentence into CNF. Which of the following clauses is in that CNF? (F(x) is a Skolem function) [Welcomed (x)AskHelp(x,F(x))] [Coding(x)AskHelp(x,y)] [ Welcomed (x) AskHelp (x,F(x))] [Coding(x) AskHelp (x,y)]