(rule [(parent ?x ?y) [?x :parent ?y]])
