//     소방시설 설치ㆍ유지 및 안전관리에 관한 법률 8조 (주택에 설치하는 소방시설) 1항

Check(IMSFA_8_1){

     IF CS THEN KS

}



CS{

     getResult(IMSFA_8_1_1) = TRUE

     OR getResult(IMSFA_8_1_2) = TRUE

}



KS{

Sensor mySensor{
Sensor.isSelfcontainedTypeFireAlarmDevice = TRUE
}
     isExist(mySensor) = TRUE

     OR isExist(FireExtinguisher) = TRUE

}


//     소방시설 설치ㆍ유지 및 안전관리에 관한 법률 8조 (주택에 설치하는 소방시설) 1항 1호
Check(IMSFA_8_1_1){
     KS
}

KS{
     getBuildingUsage() = "DetachedHouse"
}


//     소방시설 설치ㆍ유지 및 안전관리에 관한 법률 8조 (주택에 설치하는 소방시설) 1항 2호
Check(IMSFA_8_1_2){
     KS
}

KS{
     getBuildingUsage() = "MultiUnitHouse"
     getBuildingUsage() != "ApartmentHouse"
     getBuildingUsage() != "Dormitory"
}