JudgeD: A Probabilistic Datalog with Dependencies