A library/tool for inference in Markov Logic Networks.