output number of clauses