give the statements under evaluation in the ":show context" output