Class ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation