formula_list(usable). ( all x ( u(x,Z) = x)). % 9 ( all x y z ( (i(x,y) & i(y,z)) -> i(x,z) )). %10 end_of_list.