The top documents tagged [type assumption]