Claim: Summertime (George Gershwin song) was composed for the musical Porgy and Bess.
Verdict: SUPPORTS