//건축물의 구조기준 등에 관한 규칙 51조 (철근을 덮는 두께) 

Check(RSSB_51){
     getResult(RSSB_3_3) = TRUE AND IF CS THEN KS 
}

CS{
   // 철근을 덥는 콘크리트 
}

KS{
   getResult(RSSB_51_0_1)=True
   getResult(RSSB_51_0_2)=True

} 

Python Code 변환 예정