(<= (holds type ?inst ?super) (holds type ?inst ?sub))