"Butts Wigglin'" appeared in a film.
If a album is written by a rock band, then the genre of the album is rock. If a band writes a album winning an award, then this band wins this award. Trouble at the Henhouse is an album by The Tragically Hip. The Tragically Hip is a Canadian rock band. The song "Butts Wigglin'" is in Trouble at the Henhouse. Trouble at the Henhouse won the Album of the Year award. A song in Trouble at the Henhouse appeared in a film.
∀x ∀y ∀z (AlbumByBand(x, y) ∧ RockBand(y, z) → Genre(x, rock)) ∀x ∀y ∀z (AlbumByBand(x, y) ∧ AlbumAward(x, z) → RockBandAward(y, z)) AlbumByBand(trouble_at_the_Henhouse, the_Tragically_Hip) RockBand(the_Tragically_Hip, canada) SongInAlbum(butts_Wigglin, trouble_at_the_Henhouse) AlbumAward(trouble_at_the_Henhouse, the_Album_of_the_Year) ∃x (SongInFilm(x) ∧ SongInAlbum(x, trouble_at_the_Henhouse))