//  소방시설 설치ㆍ유지 및 안전관리에 관한 법률 11조 (소방시설기준 적용의 특례) 4항
Check(IMSFA_11_4){
     IF CS THEN KS
}
CS{
     getResult(IMSFA_11_4_4) = TRUE
}
KS{
     isInstalled(FireFightingFacility) = TRUE OR FALSE
}


//  소방시설 설치ㆍ유지 및 안전관리에 관한 법률 11조 (소방시설기준 적용의 특례) 4항 4호
Check(IMSFA_11_4_4){
     KS
}

KS{
     getResult(SCHSA_19) = true
     isInstalled(FireBrigade, SpecificFireFithtingBuilding) = TRUE
}