The top documents tagged [propositionsuse of nnn]