Bentor fue, como queda dicho, hijo de Bencomo.