Property:Has semantic error count

This is a property of type Has type::Number.