Describir: Leveraging semantic labels for multi-level abstraction in medical process mining and trace comparison.