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



Check(NFSC503A_5_4_2){

	KS

}

KS{

	Tank myTank{

	isObjectProperty(Tank.operationType) = "HydropneumaticTank"

	}

	Pipe myPipe{

	isObjectProperty(Pipe.usage)="WaterSupplyPipe"

	OR isObjectProperty(Pipe.usage)="WaterDrainPipe"

	OR isObjectProperty(Pipe.usage)="AirSupplyPipe"

	}

	AirCompressor myAirCompressor{

	isObjectProperty(AirCompressor.isAutomatic) = TRUE

	}

	isInstalled(WaterLevelGauge, myTank) = TRUE

	isInstalled(myPipe, myTank) = TRUE

	isInstalled(Manshole, myTank) = TRUE

	isInstalled(PressureGauge, myTank) = TRUE

	isInstalled(SafetyDevice, myTank) = TRUE

	isInstalled(AirCompressor, myTank) = TRUE

} 

Python Code 변환 예정