Added (Poon and Domingos 2007).