Title: Qualitative reasonings with deep-level mechanism models for diagnoses of dependent failures