graphs

The graph of each labelling of the theory: one, or several for a semantics with several labellings (preferred, stable, ...)

if the evaluation halts (a theory its profile refuses)