Added clauses that calculate regret scores