//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 2항1호



Check(RFB_14_2_1){
Duct myDuct{
getObjectProperty(Duct.functionType) = "Exhaust"
}
	isObjectProperty(SmokeExhaustionOpening.Material.nonCombustibility) = TRUE

	isObjectProperty(myDuct.Material.nonCombustibility) = TRUE

	(isConnectedToExternal(SmokeExhaustionOpening) = TRUE

        isConnectedToExternal(myDuct) = TRUE)

	OR( isConnectedTo(SmokeExhaustionOpening,Chimney) = TRUE

            isConnectedTo(myDuct,Chimney) = TRUE)

} 

//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 2항4호

Check(RFB_14_2_4){

	IF    isConnectedToExternal(SmokeExhaustionOpening) = FALSE

	      THEN isExist(SmokeExtractor) = TRUE

}