IsA
仮定