Ranking DNF

Ranking DNF