19.29 PDDL의 타입 시스템과 술어 정의 체계