Presumably the secretary of a department works in that department, so

\[\mathrm{WorksIn} \circ \mathrm{Secretary} = 1_{\mathrm{Department}}, \]

though the organisation may have decided otherwise (e.g., put all secretaries in a Secretarial Dept? Or have departments share a secretary - but then the target of WorksIn would have to be the powerset of Departments). Similarly,

\[\mathrm{WorksIn} \circ \mathrm{Manager} = \mathrm{WorksIn} \]

seems reasonable, but not guaranteed.