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



Check(NFSC503A_8_12_1){

	KS

}

KS{

	Pipe myPipe{

	isObjectProperty(Pipe.isBranchLines) = TRUE

	isFarthestDistance(WaterflowIndicator, Pipe) = TRUE

	}

	isInstalled(TestingDevice, myPipe.End) = TRUE

	isConnectedTo(TestingDevice, myPipe.End) = TRUE

}