refactor evaluation utility; force label definitions; introduce system.predicate