Suppose Thomas Johnson is a professional athlete who plays for a top-tier football team. He has won multiple championships and is known for his exceptional skills on the field.
Can we infer that "Thomas Johnson used to play basketball professionally"? Yes, no, or maybe?