Task: Fact Verification
Input (English): Leonardo da Vinci invented many machines that are still relevant today.
Leonardo da Vinci's inventions are ahead of his time.
Output (English): True