formula_list(usable).

( all x ( i(I,u(c(x),r(x))) )). % (xi)_3

( all x ( i(n(r(x),c(x)),D) ) ). % (xi)_2

end_of_list.