If "He is working in the university lab.", does it logically follow that "He's in the lab."?
yes