1) Every concept must have a prefLabel
2) Nothing can have two prefLabels in the same language
3) Every prefLabel must have a non-null language tag
4) Every concept must fall under (via skos:brooader) some concept that is the top concept of some concept scheme
5) No circularity in broader relations