Demons has been on Billboard Hot 100.
Imagine Dragons is an American pop rock band. The lead singer of Imagine Dragons is Dan. Dan is also a songwriter. All lead singers are singers. All singers are musicians. Demons is one of the most popular singles of Imagine Dragons. Some singles of Imagine Dragons have been on Billboard Hot 100.
American(imagineDragon) ∧ RockBand(imagineDragon) LeadSinger(imagineDragon, dan) SongWriter(dan) ∀x ∀y (LeadSinger(x, y) → Singer(y)) ∀x (Singer(x) → Musician(x)) PopularSingle(imagineDragon, demons) ∃x (PopularSingle(imagineDragon, x) ∧ BillboardHot100(x))