print clauses in human readable form