9항 3호

Check(NFSC503A_8_9_3){
	IF CS THEN KS
}
	Pipe myPipe1{
	isObjectProperty(Pipe.isBranchLines) = TRUE
	}
	Pipe myPipe2{
	isObjectProperty(Pipe.isFlexibleTube) = TRUE
	}
CS{
	isInstalledInOrder(myPipe1, myPipe2, Head) = TRUE
}
KS{
	getResult(NFSC503_10_3) = TRUE
} 

Python Code 변환 예정