Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations