//	장애인ㆍ노인ㆍ임산부등의편의증진보장에관한법률 7조 (대상시설) 

Check(CDAPA_7){

	IF CS THEN KS

}



CS{

	getResult(CDAPA_7_0_1) = TRUE

	OR getResult(CDAOA_7_0_2) = TRUE

	OR getResult(CDAOA_7_0_3) = TRUE

	OR getResult(CDAOA_7_0_4) = TRUE

}



KS{

	isInstalled(ConvenientFacility) = TRUE

} 

Python Code 변환 예정