// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 2항 2호 Check(NFSC203_7_2_2){ KS } KS{ Corridor myCorridor{ getObjectProperty(Corridor.length) >= 30m } isInstalled(SmokeSensor, myCorridor) = TRUE }
Python Code 변환 예정