c = clause(s)