Assuming P is the set of professors and S is the set of students, which of the following is the correct predicate calculus translation of the sentence $"$At least one professor teaches some student"?

Question $11$ options:

$$p in P$,$s in S$,$ p teaches s

$$p in P$,$s in S$,$ p teaches s

$$p in P$,$s in S$,$ p teaches s

$$p in P$,$s in S$,$ p teaches s