mono:        D,F;
not_mono:    A,B,C
exc :        A,E!F;