SMS: Abstract inference