//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 6호 Check(NFSC503_6_3_6){ IF CS THEN (KS1 AND KS2) } CS{ getObjectProperty(Ceiling.gradient) > 0.1 } KS1{ isObjectProperty(Pipe.isBranchLines) = TRUE isParallel(Pipe, Ceiling.Top.) = TRUE } KS2{ getResult(NFSC503_6_3_6_1) = TRUE getResult(NFSC503_6_3_6_2) = TRUE }
//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 7항5호 Check(NFSC103_10_7_5){ IF CS THEN KS } CS{ getObjectProperty(Ceiling.gradient)>1/10 } KS{ isParallel(BranchPipe, Ceiling.Top)=TRUE getResult(NFSC103_10_7_5_1)=TRUE OR getResult(NFSC103_10_7_5_2)=TRUE }