Set-cover abduction