Add type predicate annotator