| 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (수원) 2항 4호
Check(NFSC503A_5_2_4){
	IF !CS THEN KS
}
CS{
	getObjectVerticalLocation(WaterSource, Pump) > 0
	OR isObjectProperty(Pump.isVerticalPump) = TRUE
}
KS{
	Valve myValve{
	isObjectProperty(Valve.isCheckValve) = TRUE
	}
	isInstalled(Pump.Outlet, myValve) = TRUE
	isInstalledInOrder(PressureGauge, myValve) = TRUE
} 
 | 
Python Code 변환 예정
 |