what brand of guitar does steve vai play?
(AND (JOIN common.topic.notable_types m.05czz29) (JOIN (R music.guitarist.guitars_played) m.01mxt_))