Assertion: pitcher's era | /r/HasProperty | allowed over the amount of innings
Facets:
Source sentences:
text: ERA for the season is calculated by putting the amount of earned runs a pitcher has allowed over the amount of innings he has pitched, and then cross multiplying that by x/9.