Original: Tyler's father was John Tyler, Sr., and his mother was Mary Armistead Tyler.
Simplified: Tyler then became president.