{D,B,A,C} {a,b,c} {D->ABC B->AB B->bB B->' A->AB A->aA A->' C->AB C->cC C->'} D