A Semantics for Evaluation Logic