evaluation

Evaluating the graph: abstract frameworks, the whole graph of a theory, or the part a query depends on