Find the first element that satisfying the predicate traversing down through its ancestors.
See Implementation
Find the first element that satisfying the predicate traversing down through its ancestors.