formula_list(usable). ( all x ( i(k(x,c(I)),c(n(x,c(k(x,c(I)))))) )). ( all x ( i(k(r(x),n(x,d(c(x),I))),I) )). end_of_list.