Added number of pos and neg examples to axiom score.