Extending coinductive logic programming with co-facts