LikeMusic(george) → WantToCompose(george)
AccesstoProgram(george) → CanCompose(george)
(WantToCompose(george) ∧ CanCompose(george)) → WillCompose(george)
(LikeMusic(george) ∧ AccesstoProgram(george)) → WillCompose(george)