//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 2항 1호
Check(NFSC503_6_2_1){
	KS
}

KS{
	Ceiling myCeiling{
		isAdjacent(Ceiling, Indoors) = TRUE
	}

	CeilingCovering myCeilingCovering{
		isAdjacent(CeilingCovering, Indoors) = TRUE
	}

	isInstalled(myCeiling, Sensor) = TRUE
	OR isInstalled(myCeilingCovering, Sensor) = TRUE
} 

Python Code 변환 예정