1333.10 술어 설계: 연결성 및 접근성 술어 (Predicates Design: Connectivity and Accessibility Predicates)