An evaluation statement is derivable iff there exists which derivation tree?

An evaluation statement is derivable if there is a derivation tree conforming to the evaluation relation whose root is that evaluation statement.