A copy of Alchemy 2, a set of tools to handle Markov Logic Networks.