IsA
小前提