| 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 2항 1호
Check(NFSC503A_4_2_1){
	KS
}
KS{
	Valve myValve1{
	isObjectProperty(Valve.isFootValve) = TRUE
	isObjectProperty(Valve.systemType) = "SimpleSprinklerSystem"
	}
	Port myPort1{
	getObjectProperty(Port.typeForWater) = "Obsorption"
	isObjectProperty(Valve.systemType) = "SimpleSprinklerSystem"
	}
	Valve myValve2{
	isObjectProperty(Valve.isFootValve) = TRUE
	isObjectProperty(Valve.systemType) != "SimpleSprinklerSystem"
	}
	Port myPort2{
	getObjectProperty(Port.typeForWater) = "Obsorption"
	isObjectProperty(Valve.systemType) != "SimpleSprinklerSystem"
	}
	getObjectVerticalLocation(myValve1|myValve1, myValve2|myPort2) < 0
} 
 | 
Python Code 변환 예정
 |