대전에는 etri(이/가) 있다