This  inference rule, manually derived, can be written out in a program form, which on execution will give the final answer.
the task of CIPITR is to actually learn the program by looking at training examples of the query and corresponding answer.