∀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))
SongInFilm(buttsWigglin)