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