Consider the following sentences and their associated predicate calculus statements:

1. Colleagues associate with each other. XY (colleague(X,Y) associates(X,Y))
2. Teammates associate with each other. XY (teammate(X,Y) associates(X,Y))
3. Classmates associate with each other. XY (classmate(X,Y) associates(X,Y))
4. People who work at the same company are colleagues. XYC ((works(X,C) works(Y,C)) colleague(X,Y))
5. People who play for the same team are teammates. XYT ((plays(X,T) plays(Y,T)) teammate(X,Y))
6. People who take the same class at the same time are classmates. XYCT ((takes(X,C,T) takes(Y,C,T)) classmate(X,Y))
7. Fred works at Kroger. works(fred,kroger)
8. Jeremy works at Kroger. works(jeremy,kroger)
9. Colleen plays for the Bobcats. plays(colleen,bobcats)
10. Jeremy plays for the Bobcats. plays(jeremy,bobcats)
11. Meghan takes Math 2301 at noon. takes(meghan,math2301,noon)
12. Jeremy takes CS 4800 at noon. takes(jeremy,cs4800,noon)

Draw the and/or graph for this set of predicate calculus statements. Then show the substitutions you can make to answer the question, "Who associates with Jeremy?" Note that, in predicate calculus, this question is represented as W associates(W,jeremy). The format required for and/or graphs and substitutions is shown on Slide 30 of the Chapter 3 PowerPoint slides, as well as on page 114 of the textbook. Note that if more than one person associates with Jeremy, you will need to show the substitutions for each one separately.