Input (grade 9): Although he only played briefly at the major league level, Wistert played five years of professional baseball.
Output (grade 10): Although he only played for a short while in Major League Baseball, Wistert played five years of professional baseball.