IsA
帰結