Abstraction Likelihood