Suppose Ada Lovelace, believed to be the first computer programmer, is known for her work on Charles Babbage's proposed mechanical general-purpose computer, the Analytical Engine.
Can we infer that "Ada Lovelace was a contemporary of Leonardo da Vinci"? Yes, no, or maybe?