Conversation so far:
Where was Muhammad Ali born?
Muhammad Ali was born in Louisville, Kentucky.
When was Muhammad Ali born?
Muhammad Ali was born on January 17, 1942.
What did Muhammad Ali's parents do for a living?
Muhammad Ali's father, Cassius Marcellus Clay Sr, was a sign and billboard painter.
Who was Muhammad Ali's mother?
Muhammad Ali's mother, Odessa O'Grady Clay, was a domestic helper.
Where did Muhammad Ali go to school?
Muhammad Ali attended Central High School in Louisville.
How did Muhammad Ali get into boxing?
Ali was first directed toward boxing by Louisville police officer and boxing coach Joe E. Martin.
How did Joe E. Martin get Muhammad Ali into boxing?
Martin encountered Ali fuming over a stolen bicycle, Ali told the officer he was going to whup the thief and Martin told Ali he had better learn how to box first.

Question: Did he end up boxing during this time?
Self-contained rewrite: Did Muhammad Ali end up boxing during this time of meeting Joe E. Martin?