// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 2호

Check(NFSC103A_8_4_2){
	IF CS THEN KS
}
CS{
	getObjectVerticalLocation(Pump, Tank) < 0 
}
KS{
	Pipe myPipe{
		isInstalled(Pump.Inlet, Pipe) = TRUE
	}
	isInstalled(myPipe, Pump.One) = TRUE
} 

Python Code 변환 예정