We shall refer to the task of manually classifying a single belief as true or false as a Belief Evaluation Task (BET).
the crucial problem is: How can we select a subset of beliefs to evaluate which will best estimate the true (but unknown) accuracy of KG and its predicates?