The top documents tagged [given conditional proposition]