1338.9 술어 설계: 접근 권한 및 안전 관련 술어 (Predicates Design: Access Permission and Safety Predicates)