The top documents tagged [example regular definitions]