let descr = "select the assertions of functions f1,...,fn"