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

KS{
     getBuildingUsage() = "CommunicationFacility"
}



//     장애인ㆍ노인ㆍ임산부등의편의증진보장에관한법률 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

}


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

KS{
     getBuildingUsage() = "Park"
}


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

KS{
     getBuildingUsage() = "PublicFacility"
}


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

KS{
     getBuildingUsage() = "MultiUnitHouse"
}


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

KS{
     getBuildingUsage() = "CommunicationFacility"
}