cl = clause(s)