Suppose John Smith is a software engineer at Google, specializing in artificial intelligence. He joined the company in 2015 and has since worked on various projects to improve search algorithms.
Can we infer that "John Smith is a professional athlete."? Yes, no, or maybe?