No type or individual with this identifier: #batting_average.proportionality