Explanation as condition satisfaction