Assertion: pitcher | /r/HasProperty | lifted for a pinch hitter
Facets:
Source sentences:
text: Prior to 1973, all pitchers in both major leagues (NL and AL) had to bat unless lifted for a pinch hitter, which always resulted in the pitcher having to leave the game and not come back.