Classes	13,337
Individuals	0
Properties	0
Maximum depth	4
Maximum number of children	142
Average number of children	5
Classes with a single child	1,022
Classes with more than 25 children	89
Classes with no definition	13,337