The top documents tagged [giventransitive prop]