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.