5. 천장과 반자 양쪽이 불연재료로 되어 있는 경우로서 그 사이의 거리 및 구조가 다음 각 목의 어느 하나에 해당하는 부분

//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 5호 가목
Check(NFSC103_15_1_5_1){
     KS
}

KS{
     getObjectDistance(Ceiling, CeilingCovering) < 2m
}

//     스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 5호 나목
Check(NFSC103_15_1_5_2){
     KS
}

KS{
     Wall myWall{
          isConnectedTo(Wall, Ceiling) = TRUE
          isConnectedTo(Wall, CeilingCovering) = TRUE
     }

     isObjectProperty(myWall.Material.nonCombustibility) = TRUE
     getObjectDistance(Ceiling, CeilingCovering) >= 2m
}