The top documents tagged [mixed monotone property]