The top documents tagged [class hierarchy constraints]