[이현규]

그러면 AREA("a", CONNECT(STATION "a", AREA("b", STATION "a"))) 에서 STATION "a"는 AREA("b", STATION "a")에도 있고 전체 AREA(얹 a",...)에도 들어 있으니까 AREA("a", CONNECT(STATION "a", AREA("b", STATION "a")))는 제대로 생기지 않은 metro가 된다는 말씀이신가요? 

아니면 AREA 두번째 인자에 있는 metro 안의 STATION들의 이름에 AREA 첫번째 인자에 있는 이름들 밖의 이름들이 나오면 false, 그렇지 않으면 true를 리턴해야 된다는 것인가요?

언제 false를 리턴해야 하고 언제 true를 리턴해야 하는지 정확히 알지 못하겠어서 질문드립니다..

[최민아]