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