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