subtype predicate