Envoyer par SMS: Probabilistic Default Reasoning with Conditional Constraints