An evaluation is here the interpretation of previous or available judgments.
(<=> (Evaluates ?A ?B) (And (Representation-Relation ?A ?B) (Exists (?C) (And (Interprets ?A ?C) (Judgment-Of ?C ?B)))))