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.
\[\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.
Version 2.1.8p2
