f′
slide: The object subtype relation