Revised E-evaluate
Takes hard and soft clauses as input
Fails if hard clauses alone are insoluble
Succeeds if hard clauses are soluble
- solves as many soft clauses as possible
- can use heuristic method on soft clauses
- returns list of unsatisfied soft clauses
Calls U-evaluate recursively for hard clauses