IsA
推論式