let get_iknows hlpsl_pred_list = List.filter (function Iknows _ | Unknown _ | Ifdelete _ | Ifcontains _ -> true | _ -> false) (List.map get_if_term hlpsl_pred_list)