Yes. Also, in the ancestor predicate, the arrow should be in the other direction.