SMS: The logic of markedness