Describir: Abstract inference