Included get_span for predicate