which astronauts belonged to the religion that has the texts of ar-rahman?
(AND spaceflight.astronaut (JOIN people.person.religion (JOIN religion.religion.texts m.04vpfj)))