1319.9 술어 인스턴스 관리 메커니즘