도 5 a 를 참고 하 면 학습 자 가 SUT 에 대해 질의 ( queries ) 를 보내 고 응답 ( responses ) 를 수신 하 는 것 외 에 도 , " 티처 에 해당 하 는 RSO 가 테스트 용 질의 ( test queries ) 를 보내 고 그 응답 ( responses ) 를 수신 하 여 학습 자 의 질문 에 대해 "" yes "" 또는 반증 ( Counterexample ) 를 응답 하 는 것 을 볼 수 있 다 . "