Suppose Beethoven's Symphony No. 9, also known as the 'Choral Symphony', is one of the most famous and well-loved symphonies in the classical music repertoire. It was completed in 1824 and features the famous 'Ode to Joy' choral movement in the final movement.
Can we infer that "Beethoven's Symphony No. 9 has no choral movement."? Yes, no, or maybe?