Suppose Amy Johnson is a renowned British pilot who set many aviation records during her career. Johnson became the first female pilot to fly solo from Britain to Australia in 1930. She ultimately perished during a ferry flight in 1941, but her legacy in aviation continues to this day.
Can we infer that "Amy Johnson was the first female pilot to fly solo across the Atlantic Ocean."? Yes, no, or maybe?