1338.7 술어 설계: 점검 상태 관련 술어 (Predicates Design: Inspection State-Related Predicates)