table comprehension spec