가정법 과거완료. If + had p.p., would have p.p. 구조로 과거 사실의 반대를 나타내는 원리와 직설법 전환, if 생략 도치를 정리합니다.