The top documents tagged [binary predicate symbol]