// 간이스프링클러설비의 화재안전기준(NFSC103a) 4조 (수원) 2항 Check(NFSC503A_4_2){ IF !CS1 AND CS2 THEN KS } CS1{ getResult(NFSC503A_4_2_1) = TRUE OR getResult(NFSC503A_4_2_2) = TRUE } CS2{ isObjectProperty(SimpleSprinklerSystem.Tank.isWaterSource) = TRUE } KS{ isObjectProperty(Tank.isShared) = FALSE }