Suppose Laura Johnson (born September 20, 1995) is a professional dancer who has won multiple championships in ballroom dancing. She is known for her grace and precision on the dance floor.
Can we infer that "Laura Johnson has competed in the Olympics."? Yes, no, or maybe?