Claim: Summertime (George Gershwin song) was composed by George Gershwin for a musical.
Verdict: SUPPORTS