//스프링클러설비의 화재안전기준 10조 (헤드) 7항 8호
check(NFSC103_10_7_8){
	IF CS THEN KS
}

SprinklerHead mySprinklerHead{
	getObjectProperty(SprinklerHead.shapeType) = "SideWallType"
}

CS{
	isExist(mySprinklerHead) = TRUE
}

KS{
	isInstalled(mySprinklerHead, c) = TRUE
} 

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 7호

Check(NFSC503A_5_2_7){
	IF !CS THEN KS1 AND KS2
}
CS{
	isObjectProperty(SimpleSprinklerSystem.isCabinetType)=TRUE
}
KS1{
	isExist(PressurizedWaterSupplySystem) = TRUE
}
KS2{
	getResult(NFSC503A_5_2_7_가) = TRUE
} 

//	간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 3항 1호
Check(NFSC103A_8_3_1){
	IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}

	Pipe myPipe{
		getObjectProperty(Pipe.usage) = "WaterSupplyType"
		isObjectProperty(myPipe.isDirectCoupledType) != TRUE
	}

	Pipe myPipe2{
		getObjectProperty(Pipe.usage) = "WaterSupplyType"
		isObjectProperty(myPipe.isDirectCoupledType) = TRUE
	}

CS1{
	isExist(myPipe) = TRUE
}

KS1{
	isObjectProperty(myPipe.isShared) = FALSE
}

CS2{
	isExist(myPipe2) = TRUE
}

KS2{
	isObjectProperty(myPipe.isShared) = FALSE
	getObjectProperty(Pipe.diameter) >= 32mm
}
 

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 9호

Check(NFSC503A_9_0_9){
	IF CS THEN KS
}
CS{
	isExist(NFSC503A_6_0_7.mySpace) = TRUE
}
KS{
	Head myHead{
	isObjectProperty(Head.responseType) = "StandardResponseType"
	}
	isInstalled(myHead, NFSC503A_6_0_7.mySpace) = TRUE
	getResult(NFSC503_10) = TRUE
} 

//	자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 2항 4호
Check(NFSC203_7_2_4){
	KS
}

KS{
	Ceiling myCeiling{
		15m <= getObjectHeight(Ceiling) < 20m
	}

	CeilingCovering myCeilingCovering{
		15m <= getObjectHeight(CeilingCovering) < 20m
	}
	
	isExist(myCeiling) = TRUE
	OR isExist(myCeilingCovering) = TRUE

	isInstalled(SmokeSensor) = TRUE
}
 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 3호 나목



Check(NFSC502_6_0_3_나){

            KS

}



KS{

       isExist(SprinklerSystem)=True

       getObjectCount(	FireDepartmentConnectionSystem.Port, Floor.One)>=2

}