21.18 IS-A 관계와 HAS-A 관계의 형식적 정의와 추론 방식