Describir: Explanatory Nonmonotonic Reasoning