The following pseydocode represents a program in a logic $($declarative$)$ programming language, where boss $(x,Y"x$ is the boss of $Y."$

boss $($anita$,$ chad $)$

boss $($anita$,$ fran$)$

boss $($bob$,$ hannah$)$

boss $($bob$,$ juan$)$

boss $($chad$,$ kim$)$

boss $($donna$,$ anita$)$

boss $($donna$,$ bob $)$

boss $($eli$,$ gail$)$

boss $($kim$,$ eli$)$

supervisor $(x,Y)$ if boss $(x,Y)$

supervisor $(x,Y)$ if boss $(x,Z)$ and supervisor $(Z,Y)$

Which of the following shows all the possible values of $Z$ that are responses to the query supervisor $($anita$,$ Z $)?$

A$)$ donna

B$)$ chad, fran

C$)$ bob, donna, hannah, juan

D$)$ chad, eli, gail, kim

E$)$ chad, eli, fran, gail, kim