//     스프링클러설비의 화재안전기준(NFSC 103) 12조 (전원) 3항 8호
Check(NFSC103_12_3_8){
     KS
}

KS{
     InhousePowerGeneratingStation myInhousePowerGeneratingStation{
          getResult(NFSC103_12_3_8_1) = TRUE
          OR getResult(NFSC103_12_3_8_2) = TRUE
          OR getResult(NFSC103_12_3_8_3) = TRUE
     }
     isInstalled(myInhousePowerGeneratingStation) = TRUE
}