Classes	8,540
Individuals	18
Properties	320
Maximum depth	38
Maximum number of children	1,666
Average number of children	3
Classes with a single child	1,589
Classes with more than 25 children	64
Classes with no definition	576