SMS: Defeasible knowledge