Song(showYourLove) ∧ RecordedBy(showYourLove, bToB4u) ∧ SouthKorean(bToB4u) ∧ BoyBand(bToB4u)
ExtendedPlay(inside) ∧ LeadSingleOf(showYourLove, inside)
Contains(showYourLove, hopefulMessage)
Member(hyunsik, btob4u) ∧ Wrote(hyunsik, showYourLove)
Have(showYourLove, musicVideo)
∀x ∀y (Wrote(x, showYourLove) → ¬(BoyBand(y) ∧ MemberOf(x, y)))