The top documents tagged [compound proposition]