Text this: Reasoning on partially-ordered observations in online diagnosis of DESs.