Learning qualitative models with inductive logic programming