The top documents tagged [maximal tree propositions]