/a→b,a→c,b→d,c→d/