| 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 3항 1호
Check(NFSC503A_5_3_1){
	KS
}
KS{
	Tank myTank{
	isObjectProperty(Tank.operationType) = "ElevatedWaterTank"
	}
	Head myHead{
	hasSpace(TopFloor,Head) = TRUE
	}
	getObjectVerticalDistance(myTank.BottomSurface,myHead) >= Pipe.frictionHeadLossH + 10m 
} 
 | 
Python Code 변환 예정
 |