The top documents tagged [then1 f x]