Suppose Serena Williams is a professional tennis player from the United States. She has won multiple Grand Slam titles throughout her career and is considered one of the greatest female tennis players of all time. Recently, she announced her engagement to Reddit co-founder Alexis Ohanian.
Can we infer that "Serena Williams has retired from professional tennis."? Yes, no, or maybe?