//유도등 및 유도표지의 화재안전기준(nfsc 303) 8조 (유도표지 설치기준) 1항 

Check(NFSC303_8_1){
    IF !CS THEN KS
}


CS{
    getResult(NFSC303_8_2)=True
}


KS{
     getResult(NFSC303_8_1_1)=True
     getResult(NFSC303_8_1_2)=True
}


//유도등 및 유도표지의 화재안전기준(nfsc 303) 8조 (유도표지 설치기준) 1항 1호

Check(NFSC303_8_1_1){
       IF ! CS THEN KS
}

CS{
   isInstalled(LeadingSign,Stair)=True
}

KS{
   getObjectDistance(Floor.One.Corridor.Wall, LeadingSign)<=15 m
   getObjectDistance(Floor.One.Corridor.Column, LeadingSign)<=15 m
    getObjectDistance(Floor.One.Passage.Wall, LeadingSign)<=15 m
   getObjectDistance(Floor.One.Passage.Column, LeadingSign)<=15 m
}


//유도등 및 유도표지의 화재안전기준(nfsc 303) 8조 (유도표지 설치기준) 1항 2호

Check(NFSC303_8_1_2){
       KS
}

KS{
    getObjectVerticleDistance(LeadingSign, FloorSlab)<=1 m
}


//유도등 및 유도표지의 화재안전기준(nfsc 303) 8조 (유도표지 설치기준) 2항 

Check(NFSC303_8_2){
   KS
}


KS{
  
  LeadingLight myLeadingLight{
         isObjectProperty(LeadingLight.isForPassage)=True
  }
    
  isExist(myLeadingLight)=True
}