Consequence Ranking Logic