IsA
拘束