Zaslať SMS: Explanatory Nonmonotonic Reasoning