Outputs a truth table for a given predicate statement