Ramón Ponce y Garsenda tuvieron dos hijos: