Claim: Summertime (George Gershwin song) is an aria composed in 1935 for an opera.
Verdict: REFUTES