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

Check(NFSC503A_5_7){
	IF CS THEN KS
}
CS{
	SpecificFireFightingBuilding mySpecificFireFightingBuilding{
	getResult(_*_5_1_마_1)) = TRUE
	getResult(_*_5_1_마_6)) = TRUE
	getResult(_*_5_1_마_7)) = TRUE
	}
}
KS{
	SimpleSprinklerSystem mySimpleSprinklerSystem{
		isObjectProperty(SimpleSprinklerSystem.isDirectCoupledType) != TRUE
		isObjectProperty(SimpleSprinklerSystem.isCabinetType) != TRUE
	}

	isInstalled(PressurizedWaterSupplySystem, mySpecificFireFightingBuilding) = TRUE
	isInstalled(mySimpleSprinklerSystem, mySpecificFireFightingBuilding) != TRUE
}
	 

Python Code 변환 예정