SMS: Uncertain inference