//건축법 시행령 80조 (건축물이 있는 대지의 분할제한) 

Check(EDBA_80){
     KS
}
KS{
	getResult(EDBA_80_1) = TRUE
	getResult(EDBA_80_2) = TRUE
	getResult(EDBA_80_3) = TRUE
	getResult(EDBA_80_4) = TRUE
	getResult(EDBA_80_5) = TRUE
} 

Python Code 변환 예정