in what format does phil thornalley distribute his musical recordings?
(AND music.media_format (JOIN (R music.release.format) (JOIN (R music.producer.releases_produced) m.01ph83c)))