Describir: Explanatory nonmonotonic reasoning /