The top documents tagged [userdefined assertions]