TODO find predicate URIs for type-constrained input types